Вклад участника
5 ноября 2011
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Нет описания правки
+2748
Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний
Новая страница: «==Определения== {{Определение |definition = Состояния <tex>u</tex> и <tex>v</tex> различимы строкой <tex>s</tex> е...»
Вершинная, рёберная связность, связь между ними и минимальной степенью вершины
Определения
+50
K-связность
Нет описания правки
-301
K-связность
Нет описания правки
-297
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
-36
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
-28
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
+2
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
+24
Иерархия Хомского формальных грамматик
Нет описания правки
+11
4 ноября 2011
Регулярные языки: два определения и их эквивалентность
fixed
-10
Регулярные языки: два определения и их эквивалентность
изменено доказательство теоремы
-617
3 ноября 2011
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
Неукорачивающие и контекстно-зависимые грамматики, эквивалентность
Нет описания правки
-57
K-связность
Нет описания правки
K-связность
Нет описания правки
+46
K-связность
Нет описания правки
+575
Иерархия Хомского формальных грамматик
Нет описания правки
+201
Иерархия Хомского формальных грамматик
Резюме
+1075
K-связность
Нет описания правки
+20
Иерархия Хомского формальных грамматик
Нет описания правки
+245
K-связность
Нет описания правки
+300
Иерархия Хомского формальных грамматик
Класс 3
+36
Иерархия Хомского формальных грамматик
Класс 2
+168
Иерархия Хомского формальных грамматик
Класс 1
+20
Иерархия Хомского формальных грамматик
Класс 1
+823
Иерархия Хомского формальных грамматик
Класс 0
+6
Иерархия Хомского формальных грамматик
Нет описания правки
+67
K-связность
Нет описания правки
+39
K-связность
Нет описания правки
+105
K-связность
Нет описания правки
-15
K-связность
Нет описания правки
+962
K-связность
Нет описания правки
-708
2 ноября 2011
Антисимметричное отношение
Поправил размер буквы
-8
Циклическое пространство графа
Определение
Циклическое пространство графа
Нет описания правки
+26
Циклическое пространство графа
Литература
+39
Циклическое пространство графа
Размерность линейного пространства обобщенных циклов
+1
Циклическое пространство графа
Размерность линейного пространства обобщенных циклов
+12
Циклическое пространство графа
Размерность линейного пространства обобщенных циклов
-7
Циклическое пространство графа
Размерность линейного пространства обобщенных циклов
+11
Циклическое пространство графа
Размерность линейного пространства обобщенных циклов
-8
Циклическое пространство графа
Определение
-19
Циклическое пространство графа
Определение
-20
Циклическое пространство графа
Определение
+23
Циклическое пространство графа
Размерность линейного пространства обобщенных циклов
+9
Циклическое пространство графа
Размерность линейного пространства обобщенных циклов
+1267
Cумматор
Полный сумматор
+18
Циклическое пространство графа
Теорема о существовании простого пути в случае существования пути
-127
Циклическое пространство графа
Определение
-2
