Изменения
→Недетерминированный автомат с магазинной памятью
*<tex>\Gamma</tex> --- стековый алфавит;
*<tex>Q</tex> --- множество состояний автомата;
*<tex>s</tex> --- стартовое состояние автомата;==
*<tex>T</tex> --- множество допускающих состояний автомата;
*<tex>z_0</tex> --- маркер дна стека;
*<tex>\delta</tex> --- функция переходов.
}}
==Диаграммы переходов==
<div class="tleft" style="clear:none">[[Файл:Transition1.png|thumb|Рис. 2. Переход: с - символ, прочитанный с ленты; A - символ, вынутый из стека; <tex>\alpha</tex> - строка, помещаемая в стек]]</div>