Эквивалентность автоматов с магазинной памятью доказывается с помощью
Теорема о детерминизации для конечных автоматов и аналогичная теорема для автоматов с магазинной памятью
Для изображения автоматов с магазинной памятью используют
Понятие однозначности контекстно-свободной грамматики
Проблема однозначности контекстно-свободной грамматики
Изображение автоматов с магазинной памятью посредство диаграмм состояний
Определить однозначность грамматики по произвольной контекстно-свободной грамматике
Приведение контекстно-свободной грамматики к нормальной форме Грейбах
Применение теоремы о детерминизации для конечных автоматов к автоматам с магазинной памятью
Автоматы с магазинной памятью можно изображать с помощью