關(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ī)稱(chēng)為通用圖靈機(jī)（UTM，或簡(jiǎn)稱(chēng)為通用機(jī)）。
12、用類(lèi)似的“通用”性質(zhì)更數(shù)學(xué)導(dǎo)向的定義是由引進(jìn)邱奇，上演算，其工作的正式理論與圖靈的交織在一起計(jì)算被稱(chēng)為教會(huì)圖靈論題。
13、參考資料：百度百科-圖靈機(jī)。
本文分享完畢，希望對(duì)大家有所幫助。
標(biāo)簽：
免責(zé)聲明：本文由用戶(hù)上傳，如有侵權(quán)請(qǐng)聯(lián)系刪除！