База ответов ИНТУИТ

Основы теории вычислимых функций

<<- Назад к вопросам

Если X \le_m Y и Y - разрешимо, то:

(Отметьте один правильный вариант ответа.)

Варианты ответа
Y - m-разрешимо
X - разрешимо(Верный ответ)
X - не разрешимо
Похожие вопросы
Если X \le_m Y и Y - перечислимо, то:
Если X \le_m Y и Y \le_m Z, то:
Если  X \le_m Y и X - эффективно неперечислимо, то:
Если Y \le_m X, то:
Если Y \le_m X, то:
Если X \le_m Y,Y \in \Pi_n, то:
Если  X \le_m Y,Y \in \Sigma_n, то:
Если Y - класс вычислимых одноместных функций, а X \subset Y, то множество \{n\colon U_n \in X\}:
Множество X \subset N m-сводится к Y \subset N, если существует:
Функция m=f(n), m,n \in N вычислима, если существует алгоритм A(f):