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

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

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

В теореме Роджерса утверждается, что трансляторы, сводящие главные нумерации друг к другу выбираемы:

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

Варианты ответа
независимо друг от друга
взаимно обратным образом(Верный ответ)
взаимно противоположным образом
Похожие вопросы
В теореме Успенского - Райса утверждается, что в главной нумерации:
Любые две нумерации перечислимых множеств: