Вклад участника
5 января 2017
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Алгоритм
+887
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Источники информации
+132
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
+24
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Доказательство эквивалентности
+7
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Алгоритм
+13
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
+502
4 января 2017
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
+1081
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Алгоритм
+388
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Время работы для однозначной грамматики
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
+5
Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики
Нет описания правки
+67
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Обычный вариант
+685
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример
+555
Лемма Огдена
Пример не КС-языка, для которого выполняется лемма
+5
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Обычный вариант
+6
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Система уравнений
+367
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример
+666
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Нет описания правки
+227
3 января 2017
Лемма Огдена
Нет описания правки
+17
Лемма Огдена
Нет описания правки
+141
Лемма Огдена
Нет описания правки
+1439
Лемма Огдена
Нет описания правки
+324
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример
+81
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример
+3556
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Источники информации
+312
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Пример
+229
Файл:At least one zero.png
Нет описания правки
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Источники информации
+1
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Источники информации
+105
Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)
Нет описания правки
+162
7 декабря 2016
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
-325
Приведение грамматики к ослабленной нормальной форме Грейбах
Приведение грамматики к ослабленной нормальной форме Грейбах
+126
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+4
Детерминированные автоматы с магазинной памятью, допуск по пустому стеку
Нет описания правки
+71
Детерминированные автоматы с магазинной памятью, допуск по пустому стеку
Нет описания правки
+21
Детерминированные автоматы с магазинной памятью
Нет описания правки
Автоматы с магазинной памятью
Нет описания правки
+131
Приведение грамматики к ослабленной нормальной форме Грейбах
Применение
+1
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+42
Приведение грамматики к ослабленной нормальной форме Грейбах
Применение
+114
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+452
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+80
Приведение грамматики к ослабленной нормальной форме Грейбах
Приведение грамматики к ослабленной нормальной форме Грейбах
+6
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+61
6 декабря 2016
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+392
Приведение грамматики к ослабленной нормальной форме Грейбах
Пример
+24
Автоматы с магазинной памятью
Нет описания правки
-7
Файл:PDAsmall.jpg
Нет описания правки
Приведение грамматики к ослабленной нормальной форме Грейбах
Нет описания правки
+102