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