Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:
(Отметьте один правильный вариант ответа.)
Варианты ответа
существует функция - образец из Y(Верный ответ)
не существует функции - образца из Y
все вычислимые суперпозиции Y имеют образцы