m-полное множество относительно m-сводимости - это множество:

вопрос

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

Оставить комментарий

Отправить

• # Программу А со свойством "никакая программа В не является доказуемо различной с А":
• # Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x:
• # Множество m-сводится к , если существует:
• # Неверно для произвольных множеств:
• # Инструкция "находясь в состоянии s и читая символ x, перейти в состояние p, напечатать символ y и сдвинуться вправо" порождает правило: