Страницы, ссылающиеся на «Примеры неразрешимых задач: проблема соответствий Поста»
Следующие страницы ссылаются на «Примеры неразрешимых задач: проблема соответствий Поста»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Примеры неразрешимых задач: однозначность грамматики (← ссылки | править)
- Примеры неразрешимых задач: задача о выводе в полусистеме Туэ (← ссылки | править)
- Примеры неразрешимых задач: задача о замощении (← ссылки | править)
- M-сводимость (← ссылки | править)
- Теорема Райса-Шапиро (← ссылки | править)
- Участник:Dgerasimov/Тикеты по конспектам year2011 (← ссылки | править)
- Неразрешимость исчисления предикатов первого порядка (← ссылки | править)
- Неразрешимость задачи об эквивалентности КС-грамматик (← ссылки | править)
- Участник:Shersh/Тикеты к 5ому терму (← ссылки | править)
- Сверхтьюринговые вычисления (гипервычисления) (← ссылки | править)
- Обсуждение участницы:Анна (← ссылки | править)
- Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик (← ссылки | править)
- Неразрешимость задачи вывода типов в языке с зависимыми типами (← ссылки | править)
- Теория вычислимости (← ссылки | править)
- Теория вычислимости:Тикеты (← ссылки | править)
- Производящие функции:Тикеты (← ссылки | править)