Вклад участника
24 апреля 2012
Схемная сложность и класс P/poly
Определения
-1
Схемная сложность и класс P/poly
Теоремы
-6
Схемная сложность и класс P/poly
Определения
+1
Схемная сложность и класс P/poly
Определения
+28
14 апреля 2012
Схемная сложность и класс P/poly
Теоремы
+11
Схемная сложность и класс P/poly
Теоремы
+1
Схемная сложность и класс P/poly
Теоремы
-44
Схемная сложность и класс P/poly
Теоремы
Схемная сложность и класс P/poly
Нет описания правки
+26
Схемная сложность и класс P/poly
Теоремы
+507
Схемная сложность и класс P/poly
Теоремы
+60
Схемная сложность и класс P/poly
Теоремы
+53
Схемная сложность и класс P/poly
Нет описания правки
-78
Схемная сложность и класс P/poly
Теоремы
+115
Схемная сложность и класс P/poly
Теоремы
+124
Схемная сложность и класс P/poly
Теоремы
+237
Схемная сложность и класс P/poly
Определения
+47
Схемная сложность и класс P/poly
Определения
-120
Схемная сложность и класс P/poly
Определения
+212
Схемная сложность и класс P/poly
Нет описания правки
+533
Схемная сложность и класс P/poly
Новая страница: «{{Определение |definition= <tex>P/poly=\{L | \forall n </tex> существует логическая схема <tex> C_n </tex> с <tex> n </tex> ...»
24 января 2012
Линейный клеточный автомат, эквивалентность МТ
Эквивалентность линейного клеточного автомата машине Тьюринга
Линейный клеточный автомат, эквивалентность МТ
Эквивалентность линейного клеточного автомата машине Тьюринга
+6
Линейный клеточный автомат, эквивалентность МТ
Другое определение линейного клеточного автомата
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность двухсчётчиковой машины МТ
-42
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
+6
Нормальная форма Хомского
Нет описания правки
+6
Теорема о рекурсии
Нет описания правки
+1
Теорема о рекурсии
Нет описания правки
+3
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
+9
Стековые машины, эквивалентность двухстековой машины МТ
Нет описания правки
+135
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+1
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Возможность порождения формальной грамматикой произвольного перечислимого языка
Построение грамматики по МТ
+33
Возможность порождения формальной грамматикой произвольного перечислимого языка
Построение грамматики по МТ
+2
Возможность порождения формальной грамматикой произвольного перечислимого языка
Теорема
+1
Возможность порождения формальной грамматикой произвольного перечислимого языка
Нет описания правки
+1
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+70
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+52
Теорема Райса-Шапиро
Теорема Райса-Шапиро
-12
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+9
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Лемма о перечислимости свойства перечислимого множества образцов
+10
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+8
Теорема Райса-Шапиро
Лемма о перечислимости свойства образца
-7
Стековые машины, эквивалентность двухстековой машины МТ
Нет описания правки
+24
Нормальная форма Хомского
Нет описания правки
+328
Нормальная форма Хомского
Нет описания правки
-14