Обсуждение:Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «В доказательстве второй леммы ЛПП. ~~~»)
 
Строка 1: Строка 1:
 
В доказательстве второй леммы ЛПП. [[Участник:Kirelagin|Кирилл Елагин]]
 
В доказательстве второй леммы ЛПП. [[Участник:Kirelagin|Кирилл Елагин]]
 +
: В первой части доказательства я не понял, откуда внезапно появляются какие-то утверждения про вывод всей цепочки от 1 до n. Во второй части всё сводится к тому, что какую-то часть слова можно вывести несколькими способами и возникает естественный вопрос «ну и что?». Единственность грамматики про то, что ''всё'' слово можно вывести единственным способом — ну вот какую-то часть слова мы вывели двумя способами, но ведь, вроде бы, может так оказаться, что оставшаяся часть выведется только в одном из этих двух случаев? [[Участник:Kirelagin|Кирилл Елагин]]

Версия 02:41, 19 января 2012

В доказательстве второй леммы ЛПП. Кирилл Елагин

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