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

Материал из DISCOPAL
Версия от 23:29, 23 февраля 2022; Иван Тунёв (обсуждение | вклад) (Новая страница: «Является ли а). перечислимым б). ко-перечислимым множество описаний машин Тюринга, остана…»)

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

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

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

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

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

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