Тьюринг машины и машинные схемы

Question

Артур вмятина, используя технологию космической вековой, еще не доступен на Земле, разработал алгоритм, который определяет, если TM M1 останавливается или нет при запуске на пустой ленте. Но позже он обнаружил, что смысл жизни, вселенную и все 42.

(a) [5] Учитывая TM M2, докажите, что Артур может определить, если M2 останавливаются или нет на вход 42, используя программу, которую он уже разработан, который определяет, если TM M1 останавливается или нет при запуске на пустой ленте. Если вы создаете новый TM в доказательстве, дайте свою схему машины.

(b) [5] Предположим, что есть программа, которая быстрее, чем Arthur, но она отвечает на вопрос о том, останавливается ли TM M2 на входе 42. Объясните, как Arthur может использовать этот алгоритм, чтобы определить, останавливаются, если бы некоторые тм M1 останавливаются при запуске лента. Если вы создаете новый TM в доказательстве, дайте свою схему машины.

(c) [5] Мы доказали в классе, что проблема определения, если Tm M останавливается при запуске на пустой ленте не является разрешенным. Это часть (а) или часть (b), которую можно использовать для доказательства того, что также неразрешимо определить, если TM M останавливается на входе 42?

Может кто-нибудь помочь мне расшифровать, как говорит мой профессор здесь?

Answer 1

Добро пожаловать на некоторые действительно сложные компьютерные науки. Попробуйте начать здесь: http://en.wikipedia.org/wiki/halting_problem.

Google Turing Machine, если вы не знакомы с этим.