Автомат с магазинной памятью: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
(Создана новая страница размером '''Автомат с магазинной памятью''' (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>.


''Языком, определяемым'' (или ''допускаемым'') {\it
''Языком, определяемым'' (или ''допускаемым'') автоматом <math>P</math> (обозначается <math>L(P)</math>), называют множество
автоматом} <math>P</math> (обозначается <math>L(P)</math>), называют множество
цепочек, допускаемых автоматом <math>P</math>.
цепочек, допускаемых автоматом <math>P</math>.


Сравнивая понятия ''конечного'' и магазинного автоматов, можно
Сравнивая понятия [[Конечный автомат|конечного]] и магазинного автоматов, можно
сказать, что МП-автомат получается из конечного автомата
сказать, что МП-автомат получается из конечного автомата
добавлением потенциально бесконечной рабочей
добавлением потенциально бесконечной рабочей
Строка 90: Строка 89:




==Литература==


{[Ахо-Ульман], [Касьянов/95], [Касьянов-Поттосин]}
{[Ахо-Ульман],  
[Касьянов/95],  
[Касьянов-Поттосин]}
 
 
[Категория:Теория автоматов]
Анонимный участник

Навигация