關(guān)于圖靈在計(jì)算機(jī)發(fā)展史上的主要貢獻(xiàn)是圖靈機(jī)和,圖靈在計(jì)算機(jī)發(fā)展史上的主要貢獻(xiàn)這個(gè)問(wèn)題很多朋友還不知道,今天小六來(lái)為大家解答以上的問(wèn)題,現(xiàn)在讓我們一起來(lái)看看吧!
1、它的意義有如下幾點(diǎn):它證明了通用計(jì)算理論,肯定了計(jì)算機(jī)實(shí)現(xiàn)的可能性,同時(shí)它給出了計(jì)算機(jī)應(yīng)有的主要架構(gòu);2、圖靈機(jī)模型引入了讀寫(xiě)與算法與程序語(yǔ)言的概念,極大的突破了過(guò)去的計(jì)算機(jī)器的設(shè)計(jì)理念;3、圖靈機(jī)模型理論是計(jì)算學(xué)科最核心的理論,因?yàn)橛?jì)算機(jī)的極限計(jì)算能力就是通用圖靈機(jī)的計(jì)算能力,很多問(wèn)題可以轉(zhuǎn)化到圖靈機(jī)這個(gè)簡(jiǎn)單的模型來(lái)考慮。
2、通用圖靈機(jī)向人們展示這樣一個(gè)過(guò)程:程序和其輸入可以先保存到存儲(chǔ)帶上,圖靈機(jī)就按程序一步一步運(yùn)行直到給出結(jié)果,結(jié)果也保存在存儲(chǔ)帶上。
3、更重要的是,隱約可以看到現(xiàn)代計(jì)算機(jī)主要構(gòu)成,尤其是馮?諾依曼理論的主要構(gòu)成。
4、擴(kuò)展資料:圖靈機(jī)是中央處理器(CPU)的一般示例,該處理器控制計(jì)算機(jī)完成的所有數(shù)據(jù)操作,而規(guī)范機(jī)則使用順序存儲(chǔ)器來(lái)存儲(chǔ)數(shù)據(jù)。
5、更具體地說(shuō),它是一種能夠枚舉字母表中有效字符串的任意子集的機(jī)器(自動(dòng)機(jī));這些字符串是遞歸枚舉集的一部分。
6、圖靈機(jī)具有無(wú)限長(zhǎng)的磁帶,可以在其上執(zhí)行讀取和寫(xiě)入操作。
7、假設(shè)黑匣子,圖靈機(jī)無(wú)法知道它最終是否會(huì)使用給定程序枚舉子集的任何特定字符串。
8、這是由于無(wú)法解決暫停問(wèn)題,這對(duì)計(jì)算的理論限制具有重大意義。
9、Turing機(jī)器能夠處理不受限制的語(yǔ)法,這進(jìn)一步意味著它能夠以無(wú)數(shù)種方式穩(wěn)健地評(píng)估一階邏輯。
10、通過(guò)lambda演算可以證明這一點(diǎn)。
11、能夠模擬任何其他圖靈機(jī)的圖靈機(jī)稱為通用圖靈機(jī)(UTM,或簡(jiǎn)稱為通用機(jī))。
12、用類似的“通用”性質(zhì)更數(shù)學(xué)導(dǎo)向的定義是由引進(jìn)邱奇,上演算,其工作的正式理論與圖靈的交織在一起計(jì)算被稱為教會(huì)圖靈論題。
13、參考資料:百度百科-圖靈機(jī)。
本文分享完畢,希望對(duì)大家有所幫助。
標(biāo)簽:
免責(zé)聲明:本文由用戶上傳,如有侵權(quán)請(qǐng)聯(lián)系刪除!