圖靈機是什么 圖靈機相關(guān)常識值得了解下

圖靈機是什么?可能對于不少人來說，并不是很清楚圖靈機是什么，在此，小編就為大家好好解釋一下圖靈機是什么。

圖靈機是一種抽象的機器，一種抽象的計算模型。它有一條無限長的紙帶，紙帶分成了一個一個的小方格，每個方格有不同的顏色。有一個機器頭在紙帶上移來移去。機器頭有一組內(nèi)部狀態(tài)，還有一些固定的程序。在每個時刻，機器頭都要從當(dāng)前紙帶上讀入一個方格信息，然后結(jié)合自己的內(nèi)部狀態(tài)查找程序表，根據(jù)程序輸出信息到紙帶方格上，并轉(zhuǎn)換自己的內(nèi)部狀態(tài)，然后進(jìn)行移動。

1936年，英國數(shù)學(xué)家阿蘭?麥席森?圖靈(1912―-1954年)提出了一種抽象的計算模型——圖靈機( Turing machine)。圖靈機，又稱圖靈計算機，即將人們使用紙筆進(jìn)行數(shù)學(xué)運算的過程進(jìn)行抽象，由一個虛擬的機器替代人類進(jìn)行數(shù)學(xué)運算。

通用圖靈機向人們展示這樣一個過程:程序和其輸入可以先保存到存儲帶上，圖靈機就按程序一步一步運行直到給出結(jié)果，結(jié)果也保存在存儲帶上。更重要的是，隱約可以看到現(xiàn)代計算機主要構(gòu)成，尤其是馮?諾依曼理論的主要構(gòu)成。

圖靈機證明了通用計算理論，肯定了計算機實現(xiàn)的可能性，同時它給出了計算機應(yīng)有的主要架構(gòu)，但是“圖靈機”只是假象的“計算機”，完全沒有考慮硬件狀態(tài)，考慮的焦點是邏輯結(jié)構(gòu)，而計算機已經(jīng)存在實體。