Вклад участника
27 ноября 2011
Лемма о разрастании для КС-грамматик
Нет описания правки
+864
Устранение левой рекурсии
Нет описания правки
+2
Устранение левой рекурсии
Нет описания правки
-10
Устранение левой рекурсии
Нет описания правки
-3
Устранение левой рекурсии
Нет описания правки
+24
Устранение левой рекурсии
Нет описания правки
+1
Устранение левой рекурсии
Нет описания правки
+122
Дерево, эквивалентные определения
Доказательство эквивалентности
+451
Дерево, эквивалентные определения
Доказательство эквивалентности
+1659
Устранение левой рекурсии
Нет описания правки
+213
Дерево, эквивалентные определения
Определения
+4
Дерево, эквивалентные определения
Определения
+27
Дерево, эквивалентные определения
Доказательство эквивалентности
+295
Дерево, эквивалентные определения
Определения
+45
Дерево, эквивалентные определения
Доказательство эквивалентности
+453
Дерево, эквивалентные определения
Доказательство эквивалентности
Дерево, эквивалентные определения
Определения
Дерево, эквивалентные определения
Определения
+1
Дерево, эквивалентные определения
Доказательство эквивалентности
+1
Дерево, эквивалентные определения
Доказательство эквивалентности
+1235
Устранение левой рекурсии
Нет описания правки
+18
Устранение левой рекурсии
Нет описания правки
+349
Существенно неоднозначные языки
Существенно неоднозначные языки
+40
Существенно неоднозначные языки
Существенно неоднозначные языки
-1
Существенно неоднозначные языки
Существенно неоднозначные языки
+22
Существенно неоднозначные языки
Существенно неоднозначные языки
Существенно неоднозначные языки
Нет описания правки
+47
Существенно неоднозначные языки
Неоднозначные грамматики
-1
Существенно неоднозначные языки
Неоднозначные грамматики
+49
26 ноября 2011
Композиция отношений
Свойства
+84
Умножение перестановок, обратная перестановка, группа перестановок
Источники и литература
+35
Умножение перестановок, обратная перестановка, группа перестановок
Источники и литература
+444
Умножение перестановок, обратная перестановка, группа перестановок
Группа перестановок
-55
Умножение перестановок, обратная перестановка, группа перестановок
Группа перестановок
+177
Умножение перестановок, обратная перестановка, группа перестановок
Обратная перестановка
+176
Умножение перестановок, обратная перестановка, группа перестановок
Обратная перестановка
+233
Умножение перестановок, обратная перестановка, группа перестановок
Обратная перестановка
+1
Умножение перестановок, обратная перестановка, группа перестановок
доказательство рекуррентной формулы инволюций
+935
Умножение перестановок, обратная перестановка, группа перестановок
доказательство рекуррентной формулы инволюций
+191
24 ноября 2011
Дерево, эквивалентные определения
Доказательство эквивалентности
+602
Дерево, эквивалентные определения
Доказательство эквивалентности
+874
Дерево, эквивалентные определения
Определения
+88
Дерево, эквивалентные определения
Определения
+99
Дерево, эквивалентные определения
Доказательство эквивалентности
+123
Дерево, эквивалентные определения
Доказательство эквивалентности
+214
Дерево, эквивалентные определения
Доказательство эквивалентности
+168
Дерево, эквивалентные определения
Доказательство эквивалентности
-2015
Дерево, эквивалентные определения
Определения
+10
Дерево, эквивалентные определения
Определения
+487
Дерево, эквивалентные определения
Нет описания правки
-218
