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