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