Страницы, ссылающиеся на «Машина Тьюринга»
Следующие страницы ссылаются на «Машина Тьюринга»:
Просмотреть (предыдущие 100 | следующие 100) (20 | 50 | 100 | 250 | 500)- Теорема Махэни (← ссылки | править)
- Иерархия Хомского формальных грамматик (← ссылки | править)
- Стековые машины, эквивалентность двухстековой машины МТ (← ссылки | править)
- Примеры неразрешимых задач: проблема соответствий Поста (← ссылки | править)
- Примеры неразрешимых задач: задача о выводе в полусистеме Туэ (← ссылки | править)
- Примеры неразрешимых задач: задача о замощении (← ссылки | править)
- Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ (← ссылки | править)
- Примитивно рекурсивные функции (← ссылки | править)
- 1я и 2я теоремы Геделя о неполноте арифметики (← ссылки | править)
- Возможность порождения формальной грамматикой произвольного перечислимого языка (← ссылки | править)
- Линейный клеточный автомат, эквивалентность МТ (← ссылки | править)
- Сложностные классы (← ссылки | править)
- Busy beaver (← ссылки | править)
- Частично рекурсивные функции (← ссылки | править)
- Участник:Dgerasimov/Тикеты по конспектам year2011 (← ссылки | править)
- Неразрешимость исчисления предикатов первого порядка (← ссылки | править)
- Участник:Shersh/Теорема о рекурсии (← ссылки | править)
- Участник:Shersh/Тикеты к 5ому терму (← ссылки | править)
- Линейно ограниченный автомат (← ссылки | править)
- Сверхтьюринговые вычисления (гипервычисления) (← ссылки | править)
- Неразрешимость игры Braid (← ссылки | править)
- Тьюринг-полнота (← ссылки | править)
- Теория вычислимости (← ссылки | править)
- Теория вычислимости:Тикеты (← ссылки | править)
- Производящие функции:Тикеты (← ссылки | править)
- Модели клеточных автоматов (← ссылки | править)
