26
правок
Изменения
изменены определения
{{Определение
|definition =
* <tex>Q</tex>: конечное множество состояний.
* <tex>\Sigmas</tex>: конечное множество входных символовначальное состояние.
* <tex>\Gamma</tex>: конечный магазинный алфавит {{---}} множество символов, которые можно помещать в магазин.
* <tex>Z_0</tex>: начальный магазинный символ (маркер дна). Находится в магазине в начале работы автомата.
* <tex>T</tex>: множество допускающих состояний.
* <tex>\delta</tex>: функция переходов. <tex>\delta (q,a,X)=(p,\gamma)</tex>, где
** <tex>q</tex>: текущее состояние из Q.
** <tex>p</tex>: новое состояние из Q.
** <tex>\gamma</tex>: цепочка магазинных символов, <i>замещающих</i> <tex>X</tex> на вершине магазина.
}}
{{Определение
|definition =
#Если <tex>\delta (q,a,X)</tex> непусто для некоторого <tex>a \in \Sigma</tex>, то <tex>\delta (q,\epsilon,X)</tex> должно быть пустым.
}}
==Пример==
Автомат <tex>PA=(\{q0,p1\},\{0q,1p\},q,\{Z_0,X\},\delta,q,Z_0,\{p\}, \delta)</tex> с функией перехода <tex>\delta</tex>:
# <tex>\delta(q,0,Z_0)=(q,XZ_0)</tex>
# <tex>\delta(q,0,X)=(q,XX)</tex>
