История
4 сентября 2022
1 сентября 2022
23 мая 2019
14 мая 2019
→Псевдокод: Исправил псевдокод
-182
→Корректность алгоритма
+36
Нет описания правки
+3
→Алгоритм Эрли
+14
18 января 2016
2 марта 2012
24 января 2012
20 января 2012
19 января 2012
Отмена правки 17349 участника Kirelagin (обсуждение)
-82
Отмена правки 17355 участника Kirelagin (обсуждение)
+1
Это я, конечно, погорячился =(
-1
А вот и нет
-2
Нет описания правки
м+14
Заоптимизировал алгоритм (критично для однозначных грамматик), ничего не сломав с точки зрения доказательств
+82
Нет описания правки
м-70
→Пример
+6
→Корректность алгоритма
+2
Косяк с именами переменных
18 января 2012
→Пример
-468
Добил доказательство, уф.
+323
→Корректность алгоритма
+27
Быстрофикс по результатам обдумывания во сне
+151
Первая половина доказательства в порядке
+3
Обозначения
Не теряю надежду
-6
Пытаюсь привести в порядок буквы. Испытываю острую потребность УБИВАТЬ.
Теорема о корректности: формулировка и оформление
-56
Алгоритм в читабельном виде
-317
Полезное свойство списка разбора. Скоро будет алгоритм Эрли.
+528
→Определения
-87
→Алгоритм Эрли
-123
