Вклад участника
10 марта 2019
Неразрешимость задачи об эквивалентности КС-грамматик
Нет описания правки
+160
Возможность порождения формальной грамматикой произвольного перечислимого языка
Нет описания правки
-3
Возможность порождения формальной грамматикой произвольного перечислимого языка
Нет описания правки
+121
Возможность порождения формальной грамматикой произвольного перечислимого языка
Построение грамматики по МТ
-1
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Эквивалентность k-счётчиковой машины двухсчётчиковой
+4
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
+24
Лямбда-исчисление
Проверка на простоту
+11
Лямбда-исчисление
+1
+11
Вычислимые числа
Нет описания правки
+24
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
-2
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
+12
Перечислимые языки
Основные определения
+3
Перечислимые языки
Примеры перечислимых языков
+8
Перечислимые языки
Примеры коперечислимых языков
+3
Перечислимые языки
Отмена правки 70281, сделанной Nursan (обсуждение)
+5
Перечислимые языки
Примеры коперечислимых языков
-5
Перечислимые языки
Отмена правки 70279, сделанной Nursan (обсуждение)
+5
Перечислимые языки
Нет описания правки
-5
Неразрешимость задачи об эквивалентности КС-грамматик
Нет описания правки
+513
Неразрешимость задачи об эквивалентности КС-грамматик
Нет описания правки
+71
Сверхтьюринговые вычисления (гипервычисления)
Предполагаемые способы сверхтьюринговых вычислений:
+21
Линейный клеточный автомат, эквивалентность МТ
Нет описания правки
+122
Возможность порождения формальной грамматикой произвольного перечислимого языка
Нет описания правки
+139
Возможность порождения формальной грамматикой произвольного перечислимого языка
Нет описания правки
+11
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
+170
Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
Нет описания правки
+8
Стековые машины, эквивалентность двухстековой машины МТ
См. также
Стековые машины, эквивалентность двухстековой машины МТ
Нет описания правки
+294
Примитивно рекурсивные функции
Строительные блоки рекурсивных функций
+1
Примитивно рекурсивные функции
Строительные блоки рекурсивных функций
+3
Примитивно рекурсивные функции
Нет описания правки
+76
Вычислимые функции
Нет описания правки
+48
Вычислимые функции
Нет описания правки
+107
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
-6
Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
Нет описания правки
+2
Перечислимые языки
Нет описания правки
+299