Обсуждение:Алгоритм Эрли
Оххх... Доказательство абсолютно нечитаемо.
- Начало доказательств в обе стороны надо бы как-то выделить.
- Когда рассматриваются три случая, их стоит обозначить цифрами, а не квадратиками.
- Определение ранга набора посреди теоремы - это как-то не комильфо.
- Незадолго до конца доказательства (чуть выше строчки "а является пустой") все сильно разъехалось, посреди строки большой такой пробел.
На этом фоне всякие мелочи вроде потерянных точек в концах предложений и отсутствия ссылок на используемые понятия кажутся сущими пустяками. Алёна Бережковская
Так, это хоть можно прочесть. Добавь, пожалуйста, ссылку на статью про КС-грамматики в самое первое определение. Алёна Бережковская
И для чего же нужен этот алгоритм? Кирилл Елагин
Определения
Определение списка ситуаций какое-то слишком сложное. Наверняка же, у этого объекта есть какой-то простой и интуитивно понятный смысл, уловить который можно только полностью разобравшись в алгоритме. Было бы неплохо, если бы ты его нашла и записала. Потому что на данный момент это определение взрывает мне мозг.
Если я правильно понял, то ты в определениях используешь как символы конкретного слова . Тут, во-первых, есть некая терминологическая путаница, поскольку ты пишешь «список разбора для входной цепочки w» (т.е. список разбора строится для цепочки), в то же время ты говоришь просто «список ситуаций» (т.е. из этого термина не понятно, что этот список тоже зависит от цепочки w). Во-вторых, в частности из-за «во-первых», не сразу понятно, что эти самые те же, что и в первом определении. Возможно, лучше бы использовать синтаксис с w и квадратными скобками.
