Вклад участника
4 июня 2015
Атрибутные транслирующие грамматики
Нет описания правки
-10
Атрибутные транслирующие грамматики
Нет описания правки
+361
Атрибутные транслирующие грамматики
Нет описания правки
+76
Атрибутные транслирующие грамматики
Нет описания правки
+45
Атрибутные транслирующие грамматики
Нет описания правки
+259
Атрибутные транслирующие грамматики
Нет описания правки
+2391
3 июня 2015
Атрибутные транслирующие грамматики
Нет описания правки
+2437
Атрибутные транслирующие грамматики
Нет описания правки
+2846
Атрибутные транслирующие грамматики
Нет описания правки
+3528
Атрибутные транслирующие грамматики
Нет описания правки
+1943
Атрибутные транслирующие грамматики
Новая страница: «<wikitex>Часто, осуществляя разбор, мы хотим извлечь какие-то данные или что-то сделать, а не ...»
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