1303
правки
Язык свободный: различия между версиями
Материал из WikiGrapp
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показана 1 промежуточная версия этого же участника) | |||
| Строка 1: | Строка 1: | ||
'''Язык свободный''' ([[Free language]]) [[Сеть Петри|сети Петри]] <math>N</math> — это множество <math>L(N)</math> всех последовательностей срабатываний, ведущих от <math>M_0</math> к каждой достижимой в <math>N</math> разметке, т. е. | '''Язык свободный''' ([[Free language]]) [[Сеть Петри|сети Петри]] <math>N</math> — это множество <math>L(N)</math> всех последовательностей срабатываний, ведущих от [[Начальная разметка|начальной разметки]] <math>M_0</math> к каждой [[Достижимая разметка|достижимой]] в сети <math>N</math> разметке, т. е. | ||
<math>L(N) = \{ \tau \in T^*</math>: существует такая разметка | <math>L(N) = \{ \tau \in T^*</math>: существует такая разметка | ||
<math>M \in R(N)</math>, что <math>M_0</math>[<math>\tau</math>> <math>M\}</math>. | <math>M \in R(N)</math>, что <math>M_0</math>[<math>\tau</math>> <math>M\}</math>. | ||
| Строка 5: | Строка 5: | ||
==Литература== | ==Литература== | ||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | * Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | ||
* Котов В.Е. Сети Петри. — М.: Наука, 1984. | * Котов В.Е. Сети Петри. — М.: Наука, 1984. | ||
[[Категория:Сети Петри]] | |||
[[Категория:Граф-модели]] | |||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
