Формально об алгоритмах. Вычислительные модели/Задачи/ex-exists-enumeration-of-halts — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
 
Строка 1: Строка 1:
* [[Формально об алгоритмах. Вычислительные модели/Задачи/ex-exists-enumeration-of-halts]]
 
----
 
 
Существует ли алгоритм, который выписывает одну за
 
Существует ли алгоритм, который выписывает одну за
 
другой все машины Тьюринга, которые останавливаются, будучи
 
другой все машины Тьюринга, которые останавливаются, будучи
 
запущенными на пустой ленте?
 
запущенными на пустой ленте?
 
 
<!--Вообще-то, решения уже есть-->
 
  
 
[[Категория:Решенные задачи]]
 
[[Категория:Решенные задачи]]

Текущая версия на 11:58, 11 октября 2020

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