Автомат с магазинной памятью: различия между версиями
Материал из WEGA
Автомат с магазинной памятью (посмотреть исходный код)
Версия от 20:55, 16 апреля 2009
, 16 апреля 2009нет описания правки
KVN (обсуждение | вклад) (Создана новая страница размером '''Автомат с магазинной памятью''' (Pushdown automation) --- тип [[Распознаватель|распо...) |
Нет описания правки |
||
Строка 57: | Строка 57: | ||
<math>(q_0,\omega,Z_0)\vdash_P^*(q,e,e)</math> для некоторого <math>q\in F</math>. | <math>(q_0,\omega,Z_0)\vdash_P^*(q,e,e)</math> для некоторого <math>q\in F</math>. | ||
''Языком, определяемым'' (или ''допускаемым'') | ''Языком, определяемым'' (или ''допускаемым'') автоматом <math>P</math> (обозначается <math>L(P)</math>), называют множество | ||
автоматом | |||
цепочек, допускаемых автоматом <math>P</math>. | цепочек, допускаемых автоматом <math>P</math>. | ||
Сравнивая понятия | Сравнивая понятия [[Конечный автомат|конечного]] и магазинного автоматов, можно | ||
сказать, что МП-автомат получается из конечного автомата | сказать, что МП-автомат получается из конечного автомата | ||
добавлением потенциально бесконечной рабочей | добавлением потенциально бесконечной рабочей | ||
Строка 90: | Строка 89: | ||
==Литература== | |||
{[Ахо-Ульман], [Касьянов/95], [Касьянов-Поттосин]} | {[Ахо-Ульман], | ||
[Касьянов/95], | |||
[Касьянов-Поттосин]} | |||
[Категория:Теория автоматов] |