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

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

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

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