Обсуждение:Алгоритм Эрли

Оххх... Доказательство абсолютно нечитаемо.

• Начало доказательств в обе стороны надо бы как-то выделить.
• Когда рассматриваются три случая, их стоит обозначить цифрами, а не квадратиками.
• Определение ранга набора посреди теоремы - это как-то не комильфо.
• Незадолго до конца доказательства (чуть выше строчки "а является пустой") все сильно разъехалось, посреди строки большой такой пробел.

На этом фоне всякие мелочи вроде потерянных точек в концах предложений и отсутствия ссылок на используемые понятия кажутся сущими пустяками. Алёна Бережковская

Так, это хоть можно прочесть. Добавь, пожалуйста, ссылку на статью про КС-грамматики в самое первое определение. Алёна Бережковская