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

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

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

Если T = \{(x,y)\colon x \in s(X),y \in s(Y), x \to y \}, то:

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

Варианты ответа
есть исчисление, для которого Т не разрешимо(Верный ответ)
Т - всегда конечно
Т - разрешимо для любого исчисления
Похожие вопросы
Если T = \{(x,y)\colon x \in s(X),y \in s(Y), x \to y \}, то это множество:
Если Y - класс вычислимых одноместных функций, а X \subset Y, то множество \{n\colon U_n \in X\}:
Инструкции "находясь в состоянии s \in S и читая символ x \in X перейти в состояние для всех z \in X,p \in S, напечатать символ y \in X и сдвинуться влево" соответствует:
Если X=[0;3], Y=[3;0], то  f\colon X\to Y будет:
Если X=[-2;5], Y=[0;2], то f\colon X \to Y будет:
Множество X \subset N m-сводится к Y \subset N, если существует:
Для любого перечислимого множества X из декартового квадрата N существует вычислимая f\colon N \to N :
Если X \le_m Y и Y \le_m Z, то:
Элемент \langle C,D \rangle продолжает элемент \langle A,B\rangle, если:
Классы \Sigma_n и \Pi_n: