維基百科解釋:
可圖靈指在可計算性理論中,編程語言或任意其他的邏輯系統如具有等用于通用圖靈機的計算能力。換言之,此系統可與通用圖靈機互相模擬。
上面的解釋比較抽象,通過上面的例子理解了什么是圖靈機,圖靈完備其實就很很簡單理解了。
簡單來說,能夠抽象成圖靈機的系統或編程語言就是圖靈完備的;一切可計算的問題圖靈機都能計算,因此滿足這樣要求的邏輯系統、裝置或者編程語言就叫圖靈完備的。
因此可見,二維蟲子是圖靈完備的。
Bitcoin的腳本由于沒有條件分支,循環等控制指令,回到上面的蟲子的例子,蟲子就不能根據當前狀態,判斷選擇移動還是吃食物等一系列的動作,因此不滿足圖靈機的模型,不是圖靈完備的。
版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。