Счетчиковый автомат: различия между версиями

Счетчиковый автомат (посмотреть исходный код)

57 байт добавлено , 13 сентября 2011

нет описания правки

4625

правок

@@ Строка 1: / Строка 1: @@
-'''Счетчиковый автомат''' (''[[Counter automation]]'') -
+'''Счетчиковый автомат''' (''[[Counter automation]]'') —
 модификация ''[[машина Минского|машин Минского]]'', связанная с расширением их
 лентой и операторами двух типов: оператора печати символа
@@ Строка 11: / Строка 11: @@
 перечислимый язык может быть порожден некоторым '''счетчиковым автоматом''' .
 ==Литература==
-[Котов]
+* Котов В.Е. Сети Петри. — М.: Наука, 1984.