Введение в теорию вычислимости/Задачи/Перечислимость описаний — различия между версиями
Материал из DISCOPAL
(Новая страница: «Является ли а). перечислимым б). ко-перечислимым множество описаний машин Тюринга, остана…») |
(нет различий)
|
Версия 23:29, 23 февраля 2022
Является ли а). перечислимым б). ко-перечислимым множество описаний машин Тюринга, останавливающихся на пустом входе? Ответ обосновать.