不可判定問題

不可判定問題是可計算性理論和計算複雜性理論中定義的一類決定性問題 ， 此類問題無法總是用單一算法得出正確的是 / 否的答案 。 停機問題是這類問題的一個代表 ： 對於停機問題 ， 沒有算法能夠正確判定任意程序是否會終止運行 。