摘要： V神在白皮書中描繪了以太坊的愿景，要打造一個(gè)新的圖靈完備的區(qū)塊鏈平臺(tái)，讓所有的開發(fā)者都能在這個(gè)平臺(tái)上開發(fā)自己的區(qū)塊鏈應(yīng)用程序。那什么是圖靈完備呢？今天貝數(shù)區(qū)塊鏈就和大家一起聊聊圖靈完備。大家對(duì)于區(qū)塊鏈行業(yè)有什么想要了解的知識(shí)點(diǎn)，歡迎留言參與討論！

大家好，我是柯南，在之前介紹以太坊的視頻中提到，V神在白皮書中描繪了以太坊的愿景，要打造一個(gè)新的圖靈完備的區(qū)塊鏈平臺(tái)，讓所有的開發(fā)者都能在這個(gè)平臺(tái)上開發(fā)自己的區(qū)塊鏈應(yīng)用程序。做個(gè)類比，比特幣就像是諾基亞，是功能機(jī)；而以太坊就像是IPhone，是智能機(jī)，可以在上面開發(fā)各種各樣的應(yīng)用。

那說到圖靈完備這個(gè)詞，可能有些朋友要懵逼了。說的簡單些，能進(jìn)行各種復(fù)雜編程計(jì)算的平臺(tái)就是圖靈完備的。說到這里，也少不了說一個(gè)人，沒錯(cuò)，就是偉大的數(shù)學(xué)家、邏輯學(xué)家圖靈。

圖靈，1912年生于英國倫敦。二戰(zhàn)爆發(fā)前夕，德國人采用了新式的密碼機(jī)，這讓英國人很頭痛。那是一個(gè)動(dòng)蕩的年代，圖靈決定為國服役，破譯密碼機(jī)。這么做不是因?yàn)樗卸鄲蹏?，作為一個(gè)徹頭徹尾地自由主義者，他一點(diǎn)不覺得哪個(gè)政府值得自己獻(xiàn)身。他想的是，謀到一個(gè)好差事，不至于到戰(zhàn)壕里當(dāng)炮灰。由于破譯工作的需要，他參與了世界上最早的電子計(jì)算機(jī)的研制工作，后協(xié)助軍方破解了德國新式的密碼機(jī)，幫助盟軍取得了二戰(zhàn)的勝利。因此，他也被稱為計(jì)算機(jī)科學(xué)之父，人工智能之父。

這一期視頻就和大家深度聊一聊圖靈完備。

圖靈完備，在可計(jì)算性理論中，編程語言或任意其他的邏輯系統(tǒng)如果具有等用于通用圖靈機(jī)的計(jì)算能力。也就是說，如果一系列操作數(shù)據(jù)的規(guī)則（如指令集、編程語言、細(xì)胞自動(dòng)機(jī)等）可以用來模擬單帶圖靈機(jī)，那么它就是圖靈完備的。雖然圖靈機(jī)會(huì)受到存儲(chǔ)能力的物理限制，圖靈完全性通常指具有無限存儲(chǔ)能力的通用物理機(jī)器或編程語言。簡單來說，一切可計(jì)算的問題都能計(jì)算，這樣的虛擬機(jī)或者編程語言就叫圖靈完備的。當(dāng)然，圖靈完備也可能因?yàn)橄萑胨姥h(huán)而導(dǎo)致程序崩潰。因?yàn)閳D靈完備保證的是計(jì)算的可行性，但并不保證計(jì)算的效率及代碼的可理解性、可維護(hù)性。

一個(gè)圖靈完備系統(tǒng)意味著在這個(gè)系統(tǒng)中寫程序能夠找到解決方法(盡管不保證運(yùn)行時(shí)和內(nèi)存)。在某些場(chǎng)景中圖靈完備需要限制語言，有循環(huán)執(zhí)行語句，判斷分支語句等。因此，如果有人說，我的新東西是圖靈完備的，意思是在原則上(盡管不是經(jīng)常在實(shí)踐上)它能夠用來解決任何計(jì)算性的問題。這里舉個(gè)例子，比如有人講，我的東西是圖靈完備的，也就是意味著在理論上這個(gè)東西能夠用來解決任何計(jì)算性的問題。

與圖靈完備相反的就是圖靈不完備，圖靈不完備指不允許或限制循環(huán)。也就是可以保證每段程序都不會(huì)死循環(huán)，都有運(yùn)行完的時(shí)候。

那圖靈完備和圖靈不完備各有其優(yōu)勢(shì)，圖靈不完備會(huì)更安全些，圖靈完備會(huì)更智能些。為什么這么說呢？

循環(huán)或遞歸受限、無法實(shí)現(xiàn)數(shù)組或更復(fù)雜的數(shù)據(jù)結(jié)構(gòu)等都會(huì)影響圖靈完備的實(shí)現(xiàn)。圖靈完備的智能合約有較強(qiáng)的適應(yīng)性，可以對(duì)邏輯較復(fù)雜的業(yè)務(wù)操作進(jìn)行編程，也就是更加智能，但卻有陷入死循環(huán)的可能。相較之下，圖靈不完備的智能合約雖然不能進(jìn)行復(fù)雜的邏輯操作，但更加簡單、高效、和安全。

價(jià)值可編程是分布式總賬技術(shù)的一個(gè)重要的本質(zhì)屬性，直接決定平臺(tái)對(duì)業(yè)務(wù)邏輯的表達(dá)能力，具體體現(xiàn)在“智能合約”上面。比特幣BTC的內(nèi)置腳本表達(dá)能力是極為有限的，所以比特幣的腳本系統(tǒng)是圖靈不完備的。瑞波XRP目前不支持智能合約。比特股的智能合約在運(yùn)用上有很多限制，并不能自定義，因此仍然是圖靈不完備的。而以太坊支持智能合約且達(dá)到“圖靈完備”程度。夸張點(diǎn)的話，我們可以歸納為大部分擁有智能合約的Token，系統(tǒng)都是圖靈完備的。

大家是否已經(jīng)理解了這個(gè)概念呢？如果還不理解的小伙伴可以再翻看之前以太坊的視頻結(jié)合起來多多學(xué)習(xí)。

聲明：本文所發(fā)表資訊不代表本公司任何投資暗示，亦不構(gòu)成任何投資意見或建議，圖片來源網(wǎng)絡(luò)，若存在侵權(quán)行為，請(qǐng)聯(lián)系我們刪除。

（作者：貝數(shù)區(qū)塊鏈，內(nèi)容來自鏈得得內(nèi)容開放平臺(tái)“得得號(hào)”；本文僅代表作者觀點(diǎn)，不代表鏈得得官方立場(chǎng)）