圖靈停機問題
圖靈機根據機器的程式處理初始格局。有的初始格局可能導致停機,有的則導致無限的格局序列。停機問題是:是否存在一個演算法,對於任意給定的圖靈機都能判定任意的初始格局是否會導致停機。已經證明,這樣的演算法是不存在的,即停機問題是不可判定的。
停機問題是研究許多不可判定問題的基礎,人們往往把一個問題的判定歸結為停機問題:“如果問題 A可判定,則停機問題可判定。”從而證明問題 A的不可判定性。停機問題有多種不同的敘述方式和證明方法,它們分別適用於具有不同特徵的問題。
相關文章
- 停機問題
- 從計算機CPU設計談P\NP問題(2),圖靈機計算機圖靈
- 圖靈社群的幾個小問題圖靈
- 帶你深入理解圖靈機--什麼是圖靈機、圖靈完備圖靈
- 圖靈社群是否存在賬戶安全問題?圖靈
- 2292 圖靈機遊戲圖靈遊戲
- 丘奇-圖靈論題圖靈
- 《圖靈的祕密》作者Charles Petzold訪談問題徵集圖靈
- 《圖靈的祕密》作者Charles Petzold:我眼中的圖靈機和Windows(圖靈訪談)圖靈Windows
- AI數學基礎之:確定圖靈機和非確定圖靈機AI圖靈
- 圖靈機真的是計算機嗎?圖靈計算機
- 【資料結構】停車場問題資料結構
- 顧森講解圖靈機圖靈
- 阮一峰訪談問題有獎徵集(圖靈訪談)圖靈
- 再訪Thomas Kyte,圖靈訪談問題有獎徵集圖靈
- 【計算理論】圖靈機 ( 多個帶子的圖靈機 | 計算能力對比 | 證明過程 | 一個帶子圖靈機 )圖靈
- 《演算法圖解》作者Adit Bhargava訪談問題徵集(圖靈訪談)演算法圖解圖靈
- 圖靈社群問題反饋貼(2011年8月)圖靈
- 圖靈社群問題反饋帖(2011年9月)圖靈
- 《機器學習》作者Peter Flach訪談問題有獎徵集(圖靈訪談)機器學習圖靈
- 圖靈社群問題反饋帖(2011年11月)圖靈
- 圖靈社群問題反饋帖(2011年10月)圖靈
- 圖靈社群問題反饋帖(2012年1月)圖靈
- 圖靈社群問題反饋帖(2011年12月)圖靈
- 神經圖靈機深度講解:從圖靈機基本概念到可微分神經計算機圖靈計算機
- 圖靈機與計算理論圖靈
- 走近計算機大神:艾倫·圖靈計算機圖靈
- 圖靈社群MongoDB專題交流會圖靈MongoDB
- 【問題】圖靈數學系列目前還有哪些書正在準備再版?圖靈
- 360前端月影(吳亮)訪談問題有獎徵集(圖靈訪談)前端圖靈
- C++之父Bjarne Stroustrup訪談問題有獎徵集(圖靈訪談)C++JAR圖靈
- 《特斯拉》作者卡爾森教授訪談問題有獎徵集(圖靈訪談)圖靈
- 《釋出!》作者Michael Nygard訪談問題有獎徵集(圖靈訪談)圖靈
- [LintCode] Parking Lot 停車場問題
- 《演算法問題實戰策略》作者具宗萬訪談問題有獎徵集(圖靈訪談)演算法圖靈
- 來到圖靈,喜歡圖靈圖靈
- 圖靈機:萬物皆演算法?圖靈演算法
- 圖靈機器人 python 試玩圖靈機器人Python