黑书《数据结构与算法分析》对递归不可判定的举例解释
我自己看的时候没看懂,网上一搜都是“停机问题”,所以了解完“停机问题”又回来看这个例子,有了些思路记录下来,不知道是否正确一、问题(原书P263)实现编译器对无限循环(“死循环”)的检查,是一个递归不可判定问题。二、证明过程1.假设存在方法检测死循环程序,那么可以设计程序LOOP如下://LOOP程序void Loop(Program P){ if(P != loop){ //LOOP进入死循环 } else{ //否则终止LOO..
原创
2021-03-24 21:52:19 ·
581 阅读 ·
0 评论