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

Ссылки сюда (1) →

Является ли

• а). перечислимым

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

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

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

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

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