Бюрократы, editor, Администраторы
422
правки
Изменения
Нет описания правки
Короче, если тебе интересно моё мнение, то я бы удалил нахрен целиком это доказательство и написал его с нуля, тщательно перед этим подумав.
--<br/>
[[Участник:Kirelagin|Кирилл Елагин]]
== Теорема про удаление ==
«Первое использованное правило должно быть построено по правилу».
Последовательность из терминалов и нетерминалов обозначается греческими буквами из начала алфавита. И называть её ''цепочкой'', вообще-то, слегка некорректно, имхо.
В первом абзаце перехода какая-то херня. Откуда там возьмётся перемежение эпсилон-порождающими нетерминалами? Мы же, вроде как, ещё в G' сидим. Дальше доказательство в эту сторону я читать не стал, потому что, по-моему, это уже не имеет смысла.
Мне кажется, тебе надо определиться, у тебя индукция по длине порождения в G или в G'. По-моему, она у тебя то там, то тут, в зависимости от того, что удобнее. Я не уверен, что длины порождений в этих грамматиках совпадают, а если они и совпадают, то это надо явно указать. В связи с этим доказательство в обратную сторону читать я тоже не стал.
Я очень сильно недоволен. Если будет продолжаться в том же духе, ты эту статью никогда не сдашь.
--<br/>
[[Участник:Kirelagin|Кирилл Елагин]]
