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

В алфавите X слово P выводимо из слова Q, если:

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

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

$\exists P_1,P_2, \ldots , P_n \in S(X) \colon P \to P_1 \to P_2 \to \ldots \to P_n \to Q$ (Верный ответ)

$\exists T \in X \colon P \to X \to Q$

$\forall P_1,P_2, \ldots , P_n \in S(X) \colon P \to P_1 \to P_2 \to \ldots \to P_n \to Q$

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

Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:

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

Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x:

Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:

Инструкция "находясь в состоянии s и читая символ x, перейти в состояние p, напечатать символ y и сдвинуться вправо" порождает правило:

Множество X - эффективно бесконечное, если алгоритм конструирования по любому n различных элементов из X:

Функции, получаемые с помощью операций подстановки и рекурсии из константы 0, операции прибавления единицы k штук k-местных функций $(x_1,x_2, \ldots ,x_n) \to x_i$ называют:

Существуют ли Паскаль-программы А и В, печатающие, соответственно, тексты В и А?

Если функция f дает по номеру m функции другой номер s этой функции, то: