История
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
→Схема алгоритма удаления ε-правил из грамматики
м+19
→Поиск ε-порождающих нетерминалов
м+1
→Доказательство корректности алгоритма
-388
→Доказательство корректности алгоритма
м-72
→Поиск ε-порождающих нетерминалов
м+47
→Основные определения
м+11
→Схема алгоритма удаления ε-правил из грамматики
м+641
→Доказательство корректности алгоритма
+280
→Схема алгоритма удаления ε-правил из грамматики
м-57
→Схема алгоритма удаления ε-правил из грамматики
м-16
→Бла-бла
-455
→Поиск ε-порождающих нетерминалов
м+35
→Поиск ε-порождающих нетерминалов
м+717
→Поиск ε-порождающих нетерминалов
м+699
→Алгоритм удаления ε-правил
м+631
→Основные определения
м-80
Нет описания правки
м+47