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

Текущая версия на 06:50, 4 мая 2023

Является ли

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

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

Версия 16:26, 25 мая 2022 (просмотреть исходный код) StasFomin (обсуждение \| вклад) ← Предыдущая правка		Текущая версия на 06:50, 4 мая 2023 (просмотреть исходный код) StasFomin (обсуждение \| вклад) (Массовая правка: добавление Категория:Теоретические задачи)
Строка 10:		Строка 10:

	[[Категория:Решенные задачи]]		[[Категория:Решенные задачи]]
		+	[[Категория:Теоретические задачи]]