Связанные определения/теоремы/следствия/утверждения: Распознаваемость слов автоматами с магазинной памятью при пустом стеке Детерменированный автомат с магазинной памятью
