Просмотр исходного текста страницы Обсуждение:Неукорачивающие и контекстно-зависимые грамматики, эквивалентность

*# «задаваемого грамматикой» в доказательстве теоремы выделяется запятыми.
*# «Правила вида <tex>$S$  \to \varepsilon</tex>». <tex>S</tex> {{---}} это конкретный символ.
*# В том же самом месте, что и предыдщее: почему где-то терминалы пишутся <tex>S</tex>, а где-то {{---}} <tex>$S$</tex>?
*# «Следовательно такая грамматика…» в последнем доказательстве. После «следовательно» далжна стоять запятая.
*# Последнее предложение. Мне кажется, оно написано не на русском. «Следует» здесь не к месту. [[Участник:Leugenea|Евгений Лукьянец]]