Команды (переходы) МП-автомата удобно записывать в виде таблицы: Связанные определения/теоремы/следствия/утверждения: Детерменированный автомат с магазинной памятью
