Вклад участника
24 января 2012
Примеры неразрешимых задач: однозначность грамматики
Нет описания правки
+9
Стековые машины, эквивалентность двухстековой машины МТ
Нет описания правки
+135
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+1
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Возможность порождения формальной грамматикой произвольного перечислимого языка
Построение грамматики по МТ
+33
Возможность порождения формальной грамматикой произвольного перечислимого языка
Построение грамматики по МТ
+2
Возможность порождения формальной грамматикой произвольного перечислимого языка
Теорема
+1
Возможность порождения формальной грамматикой произвольного перечислимого языка
Нет описания правки
+1
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+70
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+52
Теорема Райса-Шапиро
Теорема Райса-Шапиро
-12
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+9
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Теорема Райса-Шапиро
Лемма о перечислимости свойства перечислимого множества образцов
+10
Теорема Райса-Шапиро
Теорема Райса-Шапиро
+8
Теорема Райса-Шапиро
Лемма о перечислимости свойства образца
-7
Стековые машины, эквивалентность двухстековой машины МТ
Нет описания правки
+24
Нормальная форма Хомского
Нет описания правки
+328
Нормальная форма Хомского
Нет описания правки
-14
Теорема о рекурсии
Нет описания правки
+2
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
+45
23 января 2012
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
+67
Примеры неразрешимых задач: проблема соответствий Поста
Нет описания правки
+2
Удаление цепных правил из грамматики
Нет описания правки
-2
Иммунные и простые множества
Нет описания правки
-73
Теорема о рекурсии
Нет описания правки
-27
Теорема о рекурсии
Нет описания правки
+2
Теорема о рекурсии
Нет описания правки
+1
Теорема о рекурсии
Нет описания правки
+45
Теорема о рекурсии
Нет описания правки
+15
Теорема о рекурсии
Нет описания правки
Теорема о рекурсии
Нет описания правки
+19
Теорема о рекурсии
Нет описания правки
+135
Обсуждение:Теорема о рекурсии
Нет описания правки
+89
Вычислимые функции
Нет описания правки
+7183
Вычислимые функции
Нет описания правки
-7129
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
Свойства перечислимых языков. Теорема Успенского-Райса
Теорема Успенского-Райса
+14
3 января 2012
2 января 2012
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
+6
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
+178
Свойства перечислимых языков. Теорема Успенского-Райса
Нет описания правки
+177
25 декабря 2011
Характеристика перечислимых множеств через вычислимые функции
Нет описания правки
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
-12
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
Перечислимые языки
Нет описания правки
Разрешимые (рекурсивные) языки
Нет описания правки
Характеристика перечислимых множеств через вычислимые функции
Нет описания правки
+4
