【发布时间】：2011-05-21 08:56:37
【问题描述】：
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上停止也是不可判定的？
谁能帮我解读一下我的教授在说什么？
【问题讨论】：
-
是的，你的教授或导师应该可以在这里帮助你:-)
-
你参加过（c）中提到的课程吗？
标签： state-machine turing-machines decidable