图灵机和机器架构

Question

亚瑟·登特（Arthur Dent）使用地球上尚未使用的太空年龄技术开发了一种算法，该算法确定TM M1在启动时是否停止在空白胶带上。但是后来，他发现生命，宇宙的含义是42。

（a）[5]给定TM M2，证明Arthur可以使用他已经开发的程序确定输入42上的M2是否停止，这些程序确定TM M1在启动时是否停止在空白胶带上。如果您在证明中创建新的TM，请提供其机器模式。

（b）[5]假设有一个程序比亚瑟的程序快，但它回答了一个问题，即TM M2是否停止输入42.解释Arthur如何使用该算法来确定在空白上启动时某些TM M1是否停止胶带。如果您在证明中创建新的TM，请提供其机器模式。

（c）[5]我们在课堂上证明，确定在空白胶带上启动时是否停止TM M的问题是无法决定的。是否可以使用部分（a）或（b）部分来证明确定输入42上的TM M是否停止也是不可决定的吗？

谁能帮我解读我的教授在这里谈论什么？

Answer 1

欢迎来到一些非常复杂的计算机科学理论。尝试从这里开始： http://en.wikipedia.org/wiki/halting_problem

Google Turing Machine也不熟悉。