317
правок
Изменения
Нет описания правки
Определим <b>детерминированный автомат с магазинной памятью, допускающий по пустому стеку</b>, как [[Детерминированные_автоматы_с_магазинной_памятью|детерминированный автомат с магазинной памятью]], у которого нет множества <tex>T</tex> допускающих состояний. Автомат заканчивает свою работу как только стек становится пустым.
}}
Определим для него множество допускающих слов <tex>N = \{\omega | \mid (q_0,a_0,Z_0)\vdash^* (p,\epsilon,\epsilon)\}</tex>, где <tex>p</tex> {{---}} произвольное состояние.
{{Определение
|definition =
