不可判定问题 不可判定问题是可计算性理论和计算复杂性理论中定义的一类决定性问题此类问题无法总是用单一算法得出正确的是否的答案停机问题是这类问题的一个代表对于停机问题没有算法能够正确判定任意程序是否会终止运行