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

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

Версия 23:31, 5 декабря 2011

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

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

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

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

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

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

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

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

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