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

Определению главной универсальной функции адекватно утверждение:

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

Варианты ответа

существует транслятор с языка, для которого есть интерпретатор(Верный ответ)

существует интерпретатор с любого компилятора

не существует транслятора с языка, у которого есть интерпретатор

Похожие вопросы

Нумерация, соответствующая главной универсальной функции называется:

Область определения универсальной функции будет:

Утверждение "Всякое исчисление, порождающее формулы арифметики либо не адекватно, либо неполно" - это:

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

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

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

В теореме Успенского - Райса утверждается, что в главной нумерации:

Процедура замены вычислимых функции на функции, вычислимые относительно всюду определенной функции называется:

Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение: