Вклад участника
- 23:34, 10 марта 2019 (разн. | история) . . (+160) . . Неразрешимость задачи об эквивалентности КС-грамматик
- 23:29, 10 марта 2019 (разн. | история) . . (-3) . . Возможность порождения формальной грамматикой произвольного перечислимого языка
- 23:28, 10 марта 2019 (разн. | история) . . (+121) . . Возможность порождения формальной грамматикой произвольного перечислимого языка
- 23:22, 10 марта 2019 (разн. | история) . . (-1) . . Возможность порождения формальной грамматикой произвольного перечислимого языка (→Построение грамматики по МТ)
- 23:21, 10 марта 2019 (разн. | история) . . (+4) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (→Эквивалентность k-счётчиковой машины двухсчётчиковой)
- 23:21, 10 марта 2019 (разн. | история) . . (+24) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 23:13, 10 марта 2019 (разн. | история) . . (+11) . . Лямбда-исчисление (→Проверка на простоту)
- 23:12, 10 марта 2019 (разн. | история) . . (+11) . . Лямбда-исчисление (→+1)
- 23:10, 10 марта 2019 (разн. | история) . . (+24) . . Вычислимые числа
- 23:06, 10 марта 2019 (разн. | история) . . (-2) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 23:05, 10 марта 2019 (разн. | история) . . (+12) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 23:03, 10 марта 2019 (разн. | история) . . (+3) . . Перечислимые языки (→Основные определения)
- 23:02, 10 марта 2019 (разн. | история) . . (+8) . . Перечислимые языки (→Примеры перечислимых языков)
- 23:02, 10 марта 2019 (разн. | история) . . (+3) . . Перечислимые языки (→Примеры коперечислимых языков)
- 22:59, 10 марта 2019 (разн. | история) . . (+5) . . Перечислимые языки (Отмена правки 70281, сделанной Nursan (обсуждение))
- 22:55, 10 марта 2019 (разн. | история) . . (-5) . . Перечислимые языки (→Примеры коперечислимых языков)
- 22:54, 10 марта 2019 (разн. | история) . . (+5) . . Перечислимые языки (Отмена правки 70279, сделанной Nursan (обсуждение))
- 22:54, 10 марта 2019 (разн. | история) . . (-5) . . Перечислимые языки
- 20:03, 10 марта 2019 (разн. | история) . . (+513) . . Неразрешимость задачи об эквивалентности КС-грамматик
- 20:01, 10 марта 2019 (разн. | история) . . (+71) . . Неразрешимость задачи об эквивалентности КС-грамматик
- 19:57, 10 марта 2019 (разн. | история) . . (+21) . . Сверхтьюринговые вычисления (гипервычисления) (→Предполагаемые способы сверхтьюринговых вычислений:)
- 19:51, 10 марта 2019 (разн. | история) . . (+122) . . Линейный клеточный автомат, эквивалентность МТ
- 19:48, 10 марта 2019 (разн. | история) . . (+139) . . Возможность порождения формальной грамматикой произвольного перечислимого языка
- 19:46, 10 марта 2019 (разн. | история) . . (+11) . . Возможность порождения формальной грамматикой произвольного перечислимого языка
- 19:40, 10 марта 2019 (разн. | история) . . (+170) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 19:38, 10 марта 2019 (разн. | история) . . (+8) . . Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ
- 19:36, 10 марта 2019 (разн. | история) . . (0) . . Стековые машины, эквивалентность двухстековой машины МТ (→См. также)
- 19:35, 10 марта 2019 (разн. | история) . . (+294) . . Стековые машины, эквивалентность двухстековой машины МТ
- 19:31, 10 марта 2019 (разн. | история) . . (+1) . . Примитивно рекурсивные функции (→Строительные блоки рекурсивных функций)
- 19:29, 10 марта 2019 (разн. | история) . . (+3) . . Примитивно рекурсивные функции (→Строительные блоки рекурсивных функций)
- 19:27, 10 марта 2019 (разн. | история) . . (+76) . . Примитивно рекурсивные функции
- 19:10, 10 марта 2019 (разн. | история) . . (+48) . . Вычислимые функции
- 19:08, 10 марта 2019 (разн. | история) . . (+107) . . Вычислимые функции
- 19:01, 10 марта 2019 (разн. | история) . . (-6) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 18:59, 10 марта 2019 (разн. | история) . . (+2) . . Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций
- 18:56, 10 марта 2019 (разн. | история) . . (+299) . . Перечислимые языки
