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