图灵机停机问题的不可判定性

Turing Machine Halting Problem

停机问题：指判断任意一个程序是否能在有限的时间之内结束运行的问题。图灵机停机问题是不可判定的，意思即是不存在一个图灵机能够判定任意图灵机对于任意输入是否停机。

证明一：

参考链接：Turing Machine Halting Problem

为了证明这个问题的不可判定性，我们将基于莱斯定理(Rice’s Theorem)将其规约成另外的问题来判定某个图灵机是否能在给定的输入上，在有限步数内给出确定的是或者不是的答案。
图灵机的停机问题可以描述为以下模式：
输入：一个图灵机$M$， 和一个输入字符串$w$
问题：所给定的图灵机$M$是否能在有限步数内结束对字符串$w$进行运算并给出接受或拒绝的确定答案。
证明：首先，我们将假定确实是存在一个图灵机解决这样的问题，接着我们将描述这个假定是如何与它本身相违背的。我们将称这种图灵机为可停机机器(HM)——能在有限时间内停机并且给出’yes’或者’no’的答案，即当HM能在有限时间内停机时，我们所构建的图灵机HM