Язык префиксный
Перейти к навигации
Перейти к поиску
Префиксным языком (Prefix language) помеченной сети Петри [math]\displaystyle{ (N, G) }[/math] называется множество [math]\displaystyle{ \{G(\tau ) : \tau \in L(N)\} }[/math], где [math]\displaystyle{ L(N) }[/math] --- свободный язык непомеченной сети Петри [math]\displaystyle{ N }[/math].
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.