Вклад участника

Перейти к: навигация, поиск

Vincent

14 апреля 2012

Схемная сложность и класс P/poly
‎Теоремы
17:51
+507
Схемная сложность и класс P/poly
‎Теоремы
17:32
+60
Схемная сложность и класс P/poly
‎Теоремы
17:25
+53
Схемная сложность и класс P/poly
Нет описания правки
17:24
-78
Схемная сложность и класс P/poly
‎Теоремы
17:20
+115
Схемная сложность и класс P/poly
‎Теоремы
17:12
+124
Схемная сложность и класс P/poly
‎Теоремы
17:10
+237
Схемная сложность и класс P/poly
‎Определения
16:42
+47
Схемная сложность и класс P/poly
‎Определения
16:35
-120
Схемная сложность и класс P/poly
‎Определения
16:32
+212
Схемная сложность и класс P/poly
Нет описания правки
16:21
+533
Схемная сложность и класс P/poly
Новая страница: «{{Определение |definition= <tex>P/poly=\{L | \forall n </tex> существует логическая схема <tex> C_n </tex> с <tex> n </tex> ...»
16:12

24 января 2012

Линейный клеточный автомат, эквивалентность МТ
‎Эквивалентность линейного клеточного автомата машине Тьюринга
11:37
Линейный клеточный автомат, эквивалентность МТ
‎Эквивалентность линейного клеточного автомата машине Тьюринга
11:33
+6
Линейный клеточный автомат, эквивалентность МТ
‎Другое определение линейного клеточного автомата
11:27
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
‎Эквивалентность двухсчётчиковой машины МТ
10:59
-42
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
10:54
+6
Нормальная форма Хомского
Нет описания правки
08:32
+6
Теорема о рекурсии
Нет описания правки
07:10
+1
Теорема о рекурсии
Нет описания правки
07:10
+3
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
06:27
+9
Стековые машины, эквивалентность двухстековой машины МТ
Нет описания правки
06:24
+135
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
05:18
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
05:16
+1
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
05:13
Возможность порождения формальной грамматикой произвольного перечислимого языка
‎Построение грамматики по МТ
04:33
+33
Возможность порождения формальной грамматикой произвольного перечислимого языка
‎Построение грамматики по МТ
04:32
+2
Возможность порождения формальной грамматикой произвольного перечислимого языка
‎Теорема
04:31
+1
Возможность порождения формальной грамматикой произвольного перечислимого языка
Нет описания правки
04:25
+1
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
04:20
+70
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
04:12
+52
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
04:05
-12
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
04:01
+9
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
03:59
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
03:58
Теорема Райса-Шапиро
‎Лемма о перечислимости свойства перечислимого множества образцов
03:52
+10
Теорема Райса-Шапиро
‎Теорема Райса-Шапиро
02:49
+8
Теорема Райса-Шапиро
‎Лемма о перечислимости свойства образца
02:42
-7
Стековые машины, эквивалентность двухстековой машины МТ
Нет описания правки
02:38
+24
Нормальная форма Хомского
Нет описания правки
00:49
+328
Нормальная форма Хомского
Нет описания правки
00:10
-14
Теорема о рекурсии
Нет описания правки
00:05
+2
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
00:02
+45

23 января 2012

Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
23:57
+67
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
23:30
+2
Удаление цепных правил из грамматики
Нет описания правки
23:10
-2
Иммунные и простые множества
Нет описания правки
05:24
-73
Теорема о рекурсии
Нет описания правки
05:07
-27
Теорема о рекурсии
Нет описания правки
05:01
+2
Теорема о рекурсии
Нет описания правки
04:56
+1

50 более старых

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Вклад/Vincent»

Вклад участника

Vincent

14 апреля 2012

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

Схемная сложность и класс P/poly

24 января 2012

Линейный клеточный автомат, эквивалентность МТ

Линейный клеточный автомат, эквивалентность МТ

Линейный клеточный автомат, эквивалентность МТ

Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ

Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ

Нормальная форма Хомского

Теорема о рекурсии

Теорема о рекурсии

Примеры неразрешимых задач: однозначность грамматики

Стековые машины, эквивалентность двухстековой машины МТ

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Возможность порождения формальной грамматикой произвольного перечислимого языка

Возможность порождения формальной грамматикой произвольного перечислимого языка

Возможность порождения формальной грамматикой произвольного перечислимого языка

Возможность порождения формальной грамматикой произвольного перечислимого языка

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Теорема Райса-Шапиро

Стековые машины, эквивалентность двухстековой машины МТ

Нормальная форма Хомского

Нормальная форма Хомского

Теорема о рекурсии

Примеры неразрешимых задач: проблема соответствий Поста

23 января 2012

Примеры неразрешимых задач: проблема соответствий Поста

Примеры неразрешимых задач: проблема соответствий Поста

Удаление цепных правил из грамматики

Иммунные и простые множества

Теорема о рекурсии

Теорема о рекурсии

Теорема о рекурсии

Навигация

Поиск