1. 帶你深入理解圖靈機--天才所在的時代
2. 帶你深入理解圖靈機--什么是圖靈機、圖靈完備
什么是機器?
為了方便大家回憶和理解,我們簡單做下回顧希爾伯特提出的第十數學問題:
隨便給一個不確定的方程,是否通過有限的步驟運算,判斷這個方程是否存在整數解?
對于這個問題,大家普遍認為,這樣的一套步驟是不存在的,也就是說我們沒有一種判斷一個數學命題是否為真的通用方法。其實這里最關鍵的問題是:什么叫做“一系列有限的步驟”?
在沒有計算機的時代,人們對“一系列有限的步驟”的體會是模糊。現在大家都很清楚了,其實就是算法,是有讀寫、條件、循環、移動等組成的一個機械過程,對于“讀寫、條件、循環、移動”這幾個詞語還眼熟嗎?沒錯,在圖靈機組成中出現過,圖靈機就是這樣的一個假象的機器,第一次給“機械過程、一系列有限的步驟”一個確定的數學定義。
圖靈機的定義其實很簡單。包含4個部分:
一個無限長的存儲帶
一個讀寫頭,讀寫頭可以在存儲帶上左右移動
內部狀態存儲器
控制程序指令
從上一篇文章介紹的蟲子的舉例中,我們知道通過不同的指令,就可以實現不同的蟲子移動。實際上,通過精心設計不同的指令,我們可以用圖靈機打印斐波那契數列,圓周率等,實際上我們現在用電腦,手機進行文字、語音、視頻交互,看圖片,看電影等等這些所有的功能都是用圖靈機的方式實現的。
當然這些只是理想的圖靈機,因為現實中不存在無限長的存儲帶,更加圖靈的理論這樣的一臺裝置就能模擬人類所能進行的任何計算過程。是不是很神奇?我相信你肯定不相信,不過圖靈是經過嚴格的數學證明,下面我們來看看圖靈機的計算過程。
版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。