圖靈完備布近,圖靈完全性通常指具有無(wú)限存儲(chǔ)能力的通用物理機(jī)器或編程語(yǔ)言举塔。
圖靈完備意味著你的語(yǔ)言可以做到能夠用圖靈機(jī)能做到的所有事情僚稿,可以解決所有的可計(jì)算問(wèn)題矿咕。
圖靈不完備也不是沒(méi)有意義, 有些場(chǎng)景我們需要限制語(yǔ)言本身. 如限制循環(huán)和遞歸, 可以保證該語(yǔ)言能寫(xiě)的程序一定是終止的沪伙。
理解一下名挥,就是說(shuō)圖靈完備的語(yǔ)言疟羹,有循環(huán)執(zhí)行語(yǔ)句,判斷分支語(yǔ)句等禀倔。理論上能解決任何算法榄融。但有可能進(jìn)入死循環(huán)而程序崩潰。
圖靈不完備救湖,應(yīng)該是不允許或限制循環(huán)愧杯。可以保證鞋既,每段程序都不會(huì)死循環(huán)力九,都有運(yùn)行完的時(shí)候。
以下是Stackoverflow回答:
以下是一個(gè)簡(jiǎn)短的解釋邑闺。
一個(gè)圖靈完備系統(tǒng)意味著在這個(gè)系統(tǒng)中寫(xiě)程序能夠找到解決方法(盡管不保證運(yùn)行時(shí)和內(nèi)存)跌前。
因此,如果有人說(shuō)陡舅,我的新東西是圖靈完備的抵乓,意思是在原則上(盡管不是經(jīng)常在實(shí)踐上)它能夠用來(lái)解決任何計(jì)算性的問(wèn)題。
有時(shí),它是一個(gè)笑話(huà)灾炭,有人在vi上寫(xiě)了一個(gè)圖靈模擬器章鲤,因此可以說(shuō)vi是有史以來(lái)唯一需要的計(jì)算引擎。以下是維基百科解釋?zhuān)?br> 可圖靈指在可計(jì)算性理論中咆贬,編程語(yǔ)言或任意其他的邏輯系統(tǒng)如具有等用于通用圖靈機(jī)的計(jì)算能力败徊。換言之,此系統(tǒng)可與通用圖靈機(jī)互相模擬掏缎。這個(gè)詞源于引入圖靈機(jī)概念的數(shù)學(xué)家艾倫·圖靈(Alan Turing)皱蹦。
雖然圖靈機(jī)會(huì)受到存儲(chǔ)能力的物理限制,圖靈完全性通常指具有無(wú)限存儲(chǔ)能力的通用物理機(jī)器或編程語(yǔ)言眷蜈。簡(jiǎn)單來(lái)說(shuō)沪哺,一切可計(jì)算的問(wèn)題都能計(jì)算,這樣的虛擬機(jī)或者編程語(yǔ)言就叫圖靈完備的酌儒。
比特幣的腳本系統(tǒng)是圖靈不完備的辜妓,而一些競(jìng)爭(zhēng)幣的智能合約系統(tǒng)是圖靈完備的,比如以太坊忌怎。各有優(yōu)缺點(diǎn)籍滴,圖靈不完備會(huì)更安全些,圖靈完備會(huì)更智能些榴啸。
a孽惰、順便一提,圖靈機(jī)是我們已知能實(shí)現(xiàn)的最強(qiáng)的計(jì)算模型鸥印。最近媒體經(jīng)常報(bào)道的量子計(jì)算機(jī)仍然是圖靈機(jī)勋功,只是特定算法快一些。
b库说、順便二提狂鞋,根據(jù)Kleene正規(guī)型定理,任意偏遞歸函數(shù)都可以由原始遞歸函數(shù)經(jīng)過(guò)一次極小化得來(lái)潜的,所以寫(xiě)程序的時(shí)候如果發(fā)現(xiàn)兩層以上的無(wú)限循環(huán)要格外小心骚揍,很可能邏輯是錯(cuò)的。
參考
1夏块、什么是“圖靈完備”疏咐?
2、以太坊“圖靈完備”是什么意思脐供?
3、什么是圖靈完備借跪?