Конечную последовательность конфигураций автомата с магазинной памятью, каждая из которых получается из предыдущей одним тактом работы автомата, называют
Два конечных автомата, распознающих один и тот же язык, называются
Если автомат с магазинной памятью имеет ровно одно начальное состояние и все переходы этого автомата попарно несовместны, то его называют
Слово различает состояния полного детерминированного конечного автомата, если
Состояния полного детерминированного конечного автомата называются различными, если существует слово, которое их
Однозначной называют контекстно-свободную грамматику, если отсутствует слово, имеющее
Неоднозначной называют контекстно-свободную грамматику, если есть слово, имеющее
Проблема эквивалентности конечных автоматов
Для практического применения теории конечных автоматов
Применение теоремы о детерминизации для конечных автоматов к автоматам с магазинной памятью