Участник:Rechique

Материал из DISCOPAL

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Короткая ссылка: User:Rechique

Формально_об_алгоритмах._Вычислительные_модели/Задачи/ex-exists-enumeration-of-halts: На проверку

Задача:

Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые останавливаются, будучи запущенными на пустой ленте?

Решение:

Источник — «https://discopal.ispras.ru/index.php?title=Участник:Rechique&oldid=8442»