История
7 декабря 2011
6 декабря 2011
Нет описания правки
м→Доказательство корректности
+5
→Доказательство корректности
-22
→Алгоритм поиска ε-порождающих нетерминалов
+6
→Алгоритм поиска ε-порождающих нетерминалов
-556
→Доказательство корректности
-75
→Доказательство корректности
+434
→Доказательство корректности
-151
→Алгоритм удаления ε-правил из грамматики
м+217
→Алгоритм удаления ε-правил из грамматики
м+78
5 декабря 2011
1 декабря 2011
→Схема алгоритма удаления ε-правил из грамматики
+52
→Схема алгоритма удаления ε-правил из грамматики
-174
→Поиск ε-порождающих нетерминалов
+33
→Поиск ε-порождающих нетерминалов
+253
23 ноября 2011
Нет описания правки
м+366
→Поиск ε-порождающих нетерминалов
м+2
→Поиск ε-порождающих нетерминалов
м-372
→Поиск ε-порождающих нетерминалов
м+2
→Поиск ε-порождающих нетерминалов
+99
22 ноября 2011
→Поиск ε-порождающих нетерминалов
-2
→Поиск ε-порождающих нетерминалов
+582
→Поиск ε-порождающих нетерминалов
+227
→Схема алгоритма удаления ε-правил из грамматики
→Поиск ε-порождающих нетерминалов
-428
→Основные определения
-699
→Схема алгоритма удаления ε-правил из грамматики
+78
→Схема алгоритма удаления ε-правил из грамматики
-37
18 ноября 2011
→Доказательство корректности алгоритма
-2
→Основные определения
+5
→Доказательство корректности алгоритма
-231
→Поиск ε-порождающих нетерминалов
-8
→Схема алгоритма удаления ε-правил из грамматики
-6
→Схема алгоритма удаления ε-правил из грамматики
+32
→Поиск ε-порождающих нетерминалов
-48
→Поиск ε-порождающих нетерминалов
+203
→Схема алгоритма удаления ε-правил из грамматики
+28
→Основные определения
+139
→Литература
+118
16 ноября 2011
Нет описания правки
→Доказательство корректности алгоритма
+2
→Доказательство корректности алгоритма
-11
→Схема алгоритма удаления ε-правил из грамматики
15 ноября 2011
→Доказательство корректности алгоритма
м+1
→Литература
м+1
→Литература
м-75
→Доказательство корректности алгоритма
м+4
