Обсуждение:Детерминированные автоматы с магазинной памятью, допуск по пустому стеку

А вот тут придираться буду, хоть и по мелочам. В формулировке теоремы "тогда и только тогда" лучше написать словами. Имхо. Доказательство в обратную сторону, наверно, стоит начать со слова "пусть". Опять же имхо. И в той же строчке надо правильно написать слово "какой-то". Алёна Бережковская