WikiDer > Оқиға құрылымы

Жылы математика және Информатика, an оқиға құрылымы білдіреді орнатылды оқиғалар, олардың кейбіреулері тек кейіннен орындалуы мүмкін (а бар тәуелділік оқиғалар арасында) және олардың кейбіреулері бірге орындалмауы мүмкін (бар жанжал оқиғалар арасында).

Ресми анықтама

Ан оқиға құрылымы ${ displaystyle (E, leq, #)}$ тұрады

• жиынтық ${ displaystyle E}$ туралы іс-шаралар
• а ішінара тапсырыс қатынас ${ displaystyle E}$ деп аталады себепті тәуелділік,
• ан рефлексивті симметриялы қатынас ${ displaystyle #}$ деп аталады үйлесімсіздік (немесе жанжал)

осындай

• шектеулі себептер: әр іс-шара үшін ${ displaystyle e in E}$, жиынтық ${ displaystyle [e] = {f in E | f leq e }}$ предшественники ${ displaystyle e}$ жылы ${ displaystyle E}$ ақырлы
• тұқым қуалайтын қақтығыс: барлық оқиғалар үшін ${ displaystyle d, e, f in E}$, егер ${ displaystyle d leq e}$ және ${ displaystyle d #f}$ содан кейін ${ displaystyle e #f}$.

Сондай-ақ қараңыз

• Екілік қатынас
• Математикалық құрылым

Әдебиеттер тізімі

• Винсел, Глинн (1987). «Іс-шаралар құрылымы» (PDF). Petri Nets-тегі жетістіктер. Информатика пәнінен дәрістер. Спрингер.

Бұл математикаға қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. v т e