Язык свободный: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 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>.

Версия от 18:58, 5 ноября 2024

Язык свободный (Free language) сети Петри [math]\displaystyle{ N }[/math] — это множество [math]\displaystyle{ L(N) }[/math] всех последовательностей срабатываний, ведущих от начальной разметки [math]\displaystyle{ M_0 }[/math] к каждой достижимой в сети [math]\displaystyle{ N }[/math] разметке, т. е. [math]\displaystyle{ L(N) = \{ \tau \in T^* }[/math]: существует такая разметка [math]\displaystyle{ M \in R(N) }[/math], что [math]\displaystyle{ M_0 }[/math][[math]\displaystyle{ \tau }[/math]> [math]\displaystyle{ M\} }[/math].


Литература

  • Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
  • Котов В.Е. Сети Петри. — М.: Наука, 1984.