Просмотр кода страницы Счетчиковый автомат

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

[[Категория:Теория автоматов]]