Арифметическое множество m-сводимо к множеству всех истинных арифметических формул без параметров:

Правильный ответ:

всегда

только для

только для

• # Всякая частично рекурсивная функция:
• # Образцом является (n - натуральное, x - вещественное число):
• # Если и Y - разрешимо, то:
• # Перечислимое множество m-полно тогда и только тогда, когда его дополнение:
• # Если входной алфавит машины Тьюринга состоит 0, 1 и пробела, то входным будет: