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

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

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

Для \alpha - всюду определенной функции, \alpha-вычислимая функция двух аргументов являющаяся универсальной:

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

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