Введение в теорию вычислимости/Задачи/Перечислимость описаний

Материал из DISCOPAL
Версия от 06:50, 4 мая 2023; StasFomin (обсуждение | вклад) (Массовая правка: добавление Категория:Теоретические задачи)

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


Является ли

  • а). перечислимым
  • б). ко-перечислимым множество описаний машин Тюринга, останавливающихся на пустом входе?

Ответ обосновать.

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.

Источник — «https://discopal.ispras.ru/index.php?title=Введение_в_теорию_вычислимости/Задачи/Перечислимость_описаний&oldid=25723»