4625
правок
Счетчиковый автомат: различия между версиями
Материал из WikiGrapp
нет описания правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Счетчиковый автомат''' (''Counter automation'') - модификация ''машин Минского'', связа...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Счетчиковый автомат''' (''Counter automation'') - | '''Счетчиковый автомат''' (''[[Counter automation]]'') - | ||
модификация ''машин Минского'', связанная с расширением их | модификация ''[[машина Минского|машин Минского]]'', связанная с расширением их | ||
лентой и операторами двух типов: оператора печати символа | лентой и операторами двух типов: оператора печати символа | ||
на ленту и | на ленту и | ||
оператора недетерминированного перехода. | оператора недетерминированного перехода. | ||
Если автомат достигает заключительной вершины, он | Если автомат достигает заключительной [[вершина|вершины]], он | ||
останавливается, и результатом его работы является | останавливается, и результатом его работы является | ||
напечатанное им слово на ленте. Если автомат зацикливается | напечатанное им слово на ленте. Если автомат зацикливается | ||
при любом возможном варианте выполнения его программы, то он | при любом возможном варианте выполнения его программы, то он | ||
порождает пустой язык. Известно, что любой рекурсивно | порождает пустой язык. Известно, что любой рекурсивно | ||
перечислимый язык может быть порожден некоторым ''' | перечислимый язык может быть порожден некоторым '''счетчиковым автоматом''' . | ||
==Литература== | ==Литература== | ||
[Котов] | [Котов] | ||
