Бюрократы, editor, Администраторы
422
правки
Изменения
Нет описания правки
: Учёл замечания. Я понял, что к содержанию статьи вопросов нет, так как мы перешли к оформлению?
:: Это утверждение не верно =). [[Участник:Kirelagin|Кирилл Елагин]]
== Много ненависти ==
Я не очень понял про выход алгоритма удаления. Насколько я понимаю, там написано, что алгоритм выдаёт грамматику, распознающую такой же язык, кроме слова ε. Соответственно, эээ… не понятно, с чего ты решил, что ε пропадает, и не указано то особенное свойство, которым обладает выходная грамматика, ради которого всё и задумано (отсутствие ε-правил). Соответственно, та же хрень с формулировкой теоремы о корректности (так что доказательство я пока не стал читать, ибо читать доказательство теоремы, формулировку которой я понимаю до конца — это странно).
Я плакал кровавыми слезами, когда увидел «<tex>A \Rightarrow^* \varepsilon</tex> за один шаг». Мне хотелось взять топор и пойти убивать.
Меня категорически не устраивает оборот «Обозначим X за Y».
А самое грустное в этой истории то, что, на мой взгляд, теорема про поиск нетерминалов доказывает… эээ… судя по всему, она доказывает определение. Подумай об этом, пожалуйста.
Когда в алгоритме поиска объектов, обладающих свойством X, первая строчка выглядит как «Пусть A — множество объектов, обладающих свойством X», это вызывает у меня лёгкое недоумение. Я, конечно, понимаю, «что хотел сказать автор», но… мм… короче, не дело.
--<br/>
[[Участник:Kirelagin|Кирилл Елагин]]
