Вклад участника
19 марта 2012
СНМ (списки с весовой эвристикой)
Проблема наивной реализации
+5
СНМ (списки с весовой эвристикой)
Определение
+1
Теорема Понтрягина-Куратовского
Нет описания правки
-4
Теорема Понтрягина-Куратовского
Нет описания правки
-869
18 марта 2012
Предикат "левый поворот"
Нет описания правки
+250
СНМ (списки с весовой эвристикой)
Нет описания правки
+15
СНМ (списки с весовой эвристикой)
Новая страница: «== Определение == {{Определение| definition = '''Весовая эвристика'''(weighted-union heuristic) {{ --- }} улучшени...»
Дискретная математика, алгоритмы и структуры данных
Система непересекающихся множеств
+1
СНМ(списки с весовой эвристикой)
Нет описания правки
+150
СНМ(списки с весовой эвристикой)
Определение
+8
СНМ(списки с весовой эвристикой)
Проблема наивной реализации
+2
СНМ(списки с весовой эвристикой)
Доказательство оценки времени выполнения
-66
СНМ(списки с весовой эвристикой)
Источники
+143
СНМ(списки с весовой эвристикой)
Нет описания правки
+2
17 марта 2012
СНМ(списки с весовой эвристикой)
Нет описания правки
+74
СНМ(списки с весовой эвристикой)
Нет описания правки
+181
14 марта 2012
10 марта 2012
Связь вершинного покрытия и независимого множества
Нет описания правки
+95
Связь максимального паросочетания и минимального вершинного покрытия в двудольных графах
Нет описания правки
+313
6 марта 2012
2 марта 2012
Теорема о существовании простого цикла в случае существования цикла
Нет описания правки
+93
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
-45
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
-52
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
-142
Теорема о существовании простого пути в случае существования пути
Определения
-144
Существенно неоднозначные языки
Нет описания правки
+157
Лемма Огдена
Нет описания правки
+157
Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами
Нет описания правки
+157
Детерминированные автоматы с магазинной памятью, допуск по пустому стеку
Нет описания правки
+157
Детерминированные автоматы с магазинной памятью
Нет описания правки
+157
Совпадение множества языков МП-автоматов и контекстно-свободных языков
Нет описания правки
+157
МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность
Нет описания правки
+157
Автоматы с магазинной памятью
Нет описания правки
+157
Лемма о разрастании для КС-грамматик
Нет описания правки
+157
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
+157
Алгоритм Эрли
Нет описания правки
+157
Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики
Нет описания правки
+157
Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ
Нет описания правки
+156
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+157
Устранение левой рекурсии
Нет описания правки
+157
Нормальная форма Хомского
Нет описания правки
+157
Удаление длинных правил из грамматики
Нет описания правки
+157
Удаление цепных правил из грамматики
Нет описания правки
+157
Удаление eps-правил из грамматики
Нет описания правки
+85
Удаление бесполезных символов из грамматики
Нет описания правки
+157
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
+157
Правоконтекстные грамматики, эквивалентность автоматам
Нет описания правки
+157
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
+157
Категория:Контекстно-свободные грамматики
Новая страница: «Категория: Теория формальных языков»
Иерархия Хомского формальных грамматик
Нет описания правки
+157