57
правок
Изменения
Нет описания правки
}}
==Диаграмма переходов==
По соглашению маркер дна всегда находится на дне (за исключением случая, когда автомат является автоматом с допуском по пустому стеку).==ОбозначенияОсновные определения==
*'''Мгновенное описание:''' <tex>\langle q, \alpha, \gamma \rangle</tex>, где <tex>q</tex> --- текущее состояние, <tex>\alpha</tex> --- остаток строки, <tex>\gamma</tex> --- содержимое стека.
*'''Переход за один шаг:''' обозначается как <tex>\langle q, \alpha, \gamma \rangle \vdash\langle r, \beta, \xi \rangle</tex> и означает, что если <tex>\alpha = c\beta</tex> (возможно,<tex>c=\varepsilon</tex>), <tex>\gamma = \chi\gamma', \xi = \eta\gamma'</tex>, то <tex>\langle r, \eta \rangle \in \delta(q, c, \chi)</tex>
*'''Переход за ноль или более шагов:''' <tex>\vdash^*</tex>
{{Определение
