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