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