Вклад участника
24 января 2012
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+150
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+155
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
-2
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+572
Теорема о рекурсии
Нет описания правки
+4
Теорема о рекурсии
Нет описания правки
+5
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+687
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+18
Вычислимые функции
Нет описания правки
+83
Существенно неоднозначные языки
Пример:
+2
Лемма Огдена
Нет описания правки
Автоматы с магазинной памятью
Детерминированный автомат с магазинной памятью
-1314
Теорема о рекурсии
Нет описания правки
+1127
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+7
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+6
Теорема о рекурсии
Теорема о рекурсии
-1
Теорема о рекурсии
Теорема о рекурсии
-1
Нормальная форма Хомского
Нет описания правки
-31
Нормальная форма Хомского
ё
Удаление длинных правил из грамматики
Пример работы
Интерпретация булевых формул с кванторами как игр для двух игроков
Никита, ты неправ (Н минус одного квантора)
-2
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+161
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+1
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+1
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
-157
Линейный клеточный автомат, эквивалентность МТ
Эквивалентность линейного клеточного автомата машине Тьюринга
Теорема о рекурсии
Нет описания правки
+462
Линейный клеточный автомат, эквивалентность МТ
Эквивалентность линейного клеточного автомата машине Тьюринга
+50
Линейный клеточный автомат, эквивалентность МТ
Исправлено определение C_L, C_R
-40
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+2
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухсчётчиковой машины трёхсчётчиковой
+5
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
+6
Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Нет описания правки
-2
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+1
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухсчётчиковой машины трёхсчётчиковой
+697
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
-27
Правоконтекстные грамматики, эквивалентность автоматам
Нет описания правки
-1
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
Правоконтекстные грамматики, эквивалентность автоматам
Нет описания правки
-2
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+483
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+3069
Формальные грамматики
Арифметические выражения
+3
Формальные грамматики
Правильные скобочные последовательности
+3
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухстековой машины трёхсчётчикой машине
+1117
Лемма о разрастании для КС-грамматик
Лемма о разрастании для КС-грамматик
+2
Лемма о разрастании для КС-грамматик
Лемма о разрастании для КС-грамматик
+1170
Конкурс для более удачного URL сайта вики-конспектов
Варианты
+95
Теорема о рекурсии
Пример использования
-12
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
+40
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухсчетчиковой машины машине Тьюринга
-3582