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

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