图灵机和机器模式

Question

使用太空时代技术的Arthur Dent开发出一种算法，用于确定在空白磁带上启动时TM M1是否停止。但后来，他发现生命，宇宙和一切的意义都是42。

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

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

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

任何人都可以帮我解读我的教授在这里谈论的内容吗？

Answer 1

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

谷歌图灵机也是如此，如果你不熟悉它。