黑书《数据结构与算法分析》对递归不可判定的举例解释

我自己看的时候没看懂，网上一搜都是“停机问题”，所以了解完“停机问题”又回来看这个例子，有了些思路记录下来，不知道是否正确

一、问题（原书P263）

实现编译器对无限循环（“死循环”）的检查，是一个递归不可判定问题。 

二、证明过程

1.假设存在方法检测死循环程序，那么可以设计程序LOOP如下：

//LOOP程序
void Loop(Program P){
    if(P != loop){
        //LOOP进入死循环
    }
    else{
    //否则终止LOOP
    }
}

2. 将上述程序的P替换为LOOP程序自身，这里输入的LOOP就是当前的整个程序。

void Loop(Program Loop){
    if(Loop != loop){
        //进入死循环
    }
    else{
        //终止
    }
}

3. 矛盾之处在于，LOOP为死循环时，LOOP程序会终止；LOOP程序能终止时，LOOP程序为死循环。导致LOOP程序永远不可能正确。

 

后记：证明思路——若能实现程序判定死循环，那么就会存在这样一种无法确定是否会死循环的程序，故，不存在程序判定死循环的能力。但其实我觉得书上写复杂了，不知道为啥要多加一层P？