Вклад участника
3 июня 2015
10 января 2015
Обсуждение:Теорема Райса-Шапиро
Нет описания правки
+1
Обсуждение:Теорема Райса-Шапиро
Нет описания правки
-1
Обсуждение:Теорема Райса-Шапиро
Нет описания правки
+214
Теорема о рекурсии
Теорема о неподвижной точке
-4
9 января 2015
Разрешимые (рекурсивные) языки
Примеры неразрешимых множества
-2
Разрешимые (рекурсивные) языки
Примеры разрешимых множества
-2
Лемма о разрастании для КС-грамматик
Пример доказательства неконтекстно-свободности языка с использованием леммы
+16
Приведение грамматики к ослабленной нормальной форме Грейбах
Приведение грамматики к ослабленной нормальной форме Грейбах
Устранение левой рекурсии
Пример
+30
16 июня 2014
Матроид Вамоса
Свойства
+265
Определение матроида
Аксиоматическое определение
-2
Определение матроида
Аксиоматическое определение
+206
Матроид Вамоса
Свойства
+46
Матроид Вамоса
Свойства
+34
Матроид Вамоса
Свойства
+4
Матроид Вамоса
Свойства
+1023
Матроид Вамоса
Нет описания правки
Матроид Вамоса
Нет описания правки
+424
Матроид Вамоса
Доказательство матроидной природы
+1
Матроид Вамоса
Доказательство матроидной природы
-6
Матроид Вамоса
Нет описания правки
+1227
Матроид Вамоса
Нет описания правки
+63
Файл:Vamos matroid N.png
Нет описания правки
14 июня 2014
Алгоритм Фараха
Шаг 5: удаление двойных дуг
+33
Алгоритм Фараха
Шаг 4: слияние четного и нечетного дерева
+1
Алгоритм Фараха
Шаг 4: слияние четного и нечетного дерева
+21
Алгоритм Фараха
Шаг 3: построение нечетного по четному
+1
Алгоритм Фараха
Шаг 3: построение нечетного по четному
+10
Алгоритм Фараха
Шаг 2: построение чётного дерева
+22
Алгоритм Фараха
Шаг 1: суффиксное дерево для сжатой строки
+10
Алгоритм Фараха
Шаг 5: удаление двойных дуг
-11
Алгоритм Укконена
Нет описания правки
+58
Алгоритм Фараха
Источники информации
+59
Алгоритм Фараха
Шаг 5: удаление двойных дуг
-44
Алгоритм Фараха
Шаг 5: удаление двойных дуг
+100
Алгоритм Фараха
Шаг 4: слияние четного и нечетного дерева
+132
Алгоритм Фараха
Шаг 3: построение нечетного по четному
+23
Алгоритм Фараха
Шаг 4: слияние четного и нечетного дерева
-1
Алгоритм Фараха
Шаг 3: построение нечетного по четному
+2
Алгоритм Фараха
Нет описания правки
+143
Алгоритм Фараха
Описание алгоритма
-44
Алгоритм Фараха
Нет описания правки
-2
Алгоритм Фараха
Шаг 3: построение нечетного по четному
+77
Алгоритм Фараха
Шаг 5: удаление двойных дуг
+1
Алгоритм Фараха
Шаг 5: удаление двойных дуг
+218
Алгоритм Фараха
Шаг 3: построение нечетного по четному
-618
Алгоритм Фараха
Нет описания правки
+39
Алгоритм Фараха
Шаг 3: построение нечетного по четному
Алгоритм Фараха
Шаг 2: построение чётного дерева
-296