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

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

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