Вклад участника
2 марта 2012
Теорема о существовании простого пути в случае существования пути
Теорема о существовании простого пути в случае существования пути
-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
Формальные грамматики
Нет описания правки
+157
29 февраля 2012
Задача о порядке перемножения матриц
Оптимизации динамическим программированием
-72
Задача о порядке перемножения матриц
Нет описания правки
+69
Задача о порядке перемножения матриц
Перебор всех вариантов
+9
Неравенство Макмиллана
Неравенство Макмиллана
-63
28 февраля 2012
Обсуждение:Алгоритм Хаффмана
Нет описания правки
+13
Алгоритм Хаффмана
Корректность алгоритма Хаффмана
+16
Алгоритм Хаффмана
Пример
+12
27 февраля 2012
Теорема Понтрягина-Куратовского
Нет описания правки
Теорема Понтрягина-Куратовского
Нет описания правки
-2
Теорема Понтрягина-Куратовского
Нет описания правки
+58
Теорема Понтрягина-Куратовского
Литература
-237
Теорема Понтрягина-Куратовского
Нет описания правки
+1
Теорема Понтрягина-Куратовского
Нет описания правки
-32
Теорема Понтрягина-Куратовского
Нет описания правки
-63
Вычислительная геометрия
Требования к презентациям
+170
26 февраля 2012
Теорема Понтрягина-Куратовского
Нет описания правки
+155
Теорема Понтрягина-Куратовского
Нет описания правки
Теорема Понтрягина-Куратовского
Нет описания правки
+164
Теорема Понтрягина-Куратовского
Нет описания правки
+1
Теорема Понтрягина-Куратовского
Нет описания правки
+466
