1183
правки
Язык терминальный: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) (Новая страница: «'''Язык терминальный''' --- (Terminal language). Во многих приложениях бывает удобно или необходим…») |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'' | Во многих приложениях бывает удобно или необходимо рассматривать не [[свободный язык]] [[Сеть Петри|сети Петри]] <math>N</math>, включающий все ее последовательности срабатываний, а некоторое подмножество терминальных последовательностей <math>L(N, M_f)</math>, которое определяется некоторой фиксированной ''[[Терминальная разметка|терминальной разметкой]]'' <math>M_f</math> и состоит из всех последовательностей, ведущих от начальной разметки <math>M_0</math> к разметке <math>M_f</math>, т. е. <math>L(N,M_f) = \{\tau \in T^* : M_0</math>[<math>\tau</math>> <math>M_f \}</math>. | ||
Множество <math>L(N, M_f)</math> образует ''[[свободный терминальный язык]]'' сети <math>N</math> (относительно заданной терминальной разметки <math>M_f</math>). | |||
Множество <math>L(N, M_f)</math> образует ''свободный терминальный язык'' сети <math>N</math> (относительно терминальной разметки <math>M_f</math>). Соответственно, множество | |||
<math>\{G(\tau ) : \tau \in L(N, M_f)\}</math> образует ''терминальный язык'' [[Сеть Петри помеченная|помеченной сети Петри]] <math>(N,G)</math> (относительно терминальной разметки <math>M_f</math>). | Соответственно, множество | ||
<math>\{G(\tau ) : \tau \in L(N, M_f)\}</math> образует '''терминальный язык''' [[Сеть Петри помеченная|помеченной сети Петри]] <math>(N,G)</math> (относительно заданной терминальной разметки <math>M_f</math>). | |||
==Литература== | ==Литература== | ||
| Строка 13: | Строка 14: | ||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
[[Категория:Граф-модели]] | |||