История
19 января 2012
18 января 2012
→Пример
-468
Добил доказательство, уф.
+323
→Корректность алгоритма
+27
Быстрофикс по результатам обдумывания во сне
+151
Первая половина доказательства в порядке
+3
Обозначения
Не теряю надежду
-6
Пытаюсь привести в порядок буквы. Испытываю острую потребность УБИВАТЬ.
Теорема о корректности: формулировка и оформление
-56
Алгоритм в читабельном виде
-317
Полезное свойство списка разбора. Скоро будет алгоритм Эрли.
+528
→Определения
-87
→Алгоритм Эрли
-123
3 января 2012
9 декабря 2011
7 декабря 2011
→Определения
+209
Нет описания правки
+8
→Определения
+16
Нет описания правки
+242
→Литература
→Корректность алгоритма
+1
Нет описания правки
+2
→Определения
-91
6 декабря 2011
4 декабря 2011
3 декабря 2011
2 декабря 2011
1 декабря 2011
→Корректность алгоритма
+1636
→Корректность алгоритма
+2090
→Корректность алгоритма
+2455
Нет описания правки
+2894
Нет описания правки
-1490
