Обсуждение:Удаление eps-правил из грамматики

Приведи в порядок списки (они должны быть нормальные, как везде, а не через жопу). Положи на место звёздочки у «выводится». Выдели жирным определяемые термины в определениях. Короче, приведи статью в порядок, а то так это какой-то трэш. Кирилл Елагин

Учёл замечания. Я понял, что к содержанию статьи вопросов нет, так как мы перешли к оформлению?

Это утверждение не верно =). Кирилл Елагин

Много ненависти

Я не очень понял про выход алгоритма удаления. Насколько я понимаю, там написано, что алгоритм выдаёт грамматику, распознающую такой же язык, кроме слова ε. Соответственно, эээ… не понятно, с чего ты решил, что ε пропадает, и не указано то особенное свойство, которым обладает выходная грамматика, ради которого всё и задумано (отсутствие ε-правил). Соответственно, та же хрень с формулировкой теоремы о корректности (так что доказательство я пока не стал читать, ибо читать доказательство теоремы, формулировку которой я понимаю до конца — это странно).

Я плакал кровавыми слезами, когда увидел «[math]A \Rightarrow^* \varepsilon[/math] за один шаг». Мне хотелось взять топор и пойти убивать.

Меня категорически не устраивает оборот «Обозначим X за Y».

А самое грустное в этой истории то, что, на мой взгляд, теорема про поиск нетерминалов доказывает… эээ… судя по всему, она доказывает определение. Подумай об этом, пожалуйста.

Когда в алгоритме поиска объектов, обладающих свойством X, первая строчка выглядит как «Пусть A — множество объектов, обладающих свойством X», это вызывает у меня лёгкое недоумение. Я, конечно, понимаю, «что хотел сказать автор», но… мм… короче, не дело.

--
Кирилл Елагин