Язык терминальный: различия между версиями
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: | ||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
[[Категория:Граф-модели]] | |||
Версия от 19:27, 5 ноября 2024
Во многих приложениях бывает удобно или необходимо рассматривать не свободный язык сети Петри [math]\displaystyle{ N }[/math], включающий все ее последовательности срабатываний, а некоторое подмножество терминальных последовательностей [math]\displaystyle{ L(N, M_f) }[/math], которое определяется некоторой фиксированной терминальной разметкой [math]\displaystyle{ M_f }[/math] и состоит из всех последовательностей, ведущих от начальной разметки [math]\displaystyle{ M_0 }[/math] к разметке [math]\displaystyle{ M_f }[/math], т. е. [math]\displaystyle{ L(N,M_f) = \{\tau \in T^* : M_0 }[/math][[math]\displaystyle{ \tau }[/math]> [math]\displaystyle{ M_f \} }[/math].
Множество [math]\displaystyle{ L(N, M_f) }[/math] образует свободный терминальный язык сети [math]\displaystyle{ N }[/math] (относительно заданной терминальной разметки [math]\displaystyle{ M_f }[/math]).
Соответственно, множество [math]\displaystyle{ \{G(\tau ) : \tau \in L(N, M_f)\} }[/math] образует терминальный язык помеченной сети Петри [math]\displaystyle{ (N,G) }[/math] (относительно заданной терминальной разметки [math]\displaystyle{ M_f }[/math]).
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.