圖靈停機問題

夢神發表於2015-12-18
      圖靈機根據機器的程式處理初始格局。有的初始格局可能導致停機,有的則導致無限的格局序列。停機問題是:是否存在一個演算法,對於任意給定的圖靈機都能判定任意的初始格局是否會導致停機。已經證明,這樣的演算法是不存在的,即停機問題是不可判定的。 

停機問題是研究許多不可判定問題的基礎,人們往往把一個問題的判定歸結為停機問題:“如果問題 A可判定,則停機問題可判定。”從而證明問題 A的不可判定性。停機問題有多種不同的敘述方式和證明方法,它們分別適用於具有不同特徵的問題。

相關文章