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

Версия 01:27, 5 ноября 2011

1. «задаваемого грамматикой» в доказательстве теоремы выделяется запятыми.
2. «Правила вида [math]$S$ \to \varepsilon[/math]» [math]S[/math] — это конкретный символ.
3. В том же самом месте, что и предыдщее: почему где-то терминалы пишутся [math]S[/math], а где-то — [math]$S$[/math]?
4. «Следовательно такая грамматика…» в последнем доказательстве. После «следовательно» далжна стоять запятая.
5. Последнее предложение. Мне кажется, оно написано не на русском. «Следует» здесь не к месту. Евгений Лукьянец

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