圖靈完備是什麼？

脈衝資本

後互聯網時代財富永動機

關注

圖靈完備（Turing Complete），圖靈完備是指機器執行任何其他可編程計算機能夠執行計算的能力。

圖靈完備也意味着你的語言可以做到能夠用圖靈機能做到的所有事情，可以解決所有的可計算問題。

簡單來講，一切可計算的問題都能計算，這樣的虛擬機或者編程語言就叫圖靈完備的。當然圖靈完備也可能因爲陷入死循環而導致程序崩潰。

在某些場景中圖靈完備需要限制語言，有循環執行語句，判斷分支語句等。舉個例子，如果有人說，我的東西是圖靈完備的，也就意味着理論上它能夠用來解決任何計算性的問題。此外，圖靈完全性通常指具有無限存儲能力的通用物理機器或編程語言。

與圖靈完備相反的是圖靈不完備，圖靈不完備應該是不允許或限制循環。可以保證，每段程序都不會死循環，都有運行完的時候。比特幣的腳本系統是圖靈不完備的，而一些 Token 的智能合約系統是圖靈完備的。

圖靈完備和圖靈不完備各有其優勢，圖靈不完備會更安全些，圖靈完備會更智能些。

類似以太坊類似的圖靈完備的腳本語言，包括了循環的邏輯。然而爲了保持網絡穩定性，一些項目會對最大的循環次數做出一定限制。根據通用圖靈機的概念，圖靈完備就是現代編程語言所能擁有的，可以達到的馮諾伊曼體系結構所能達到的最高計算力。

一般來說，除了一部分腳本語言（如比特幣自帶的腳本語言）以外，大部分的計算機語言都是圖靈完備的。使用圖靈完備的腳本語言，可以在邏輯上做到和其他編程語言兼容，並在理論上能夠實現任何其他語言所能實現的邏輯，以及最大限度的複製現實的商業邏輯。

脈衝資本

共同見證區塊鏈改變世界

長按掃碼關注我們