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

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

Текущая версия на 08:16, 20 января 2012

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

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

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