圖靈機(jī)工作模式是存儲(chǔ)程序、順序控制。所謂的圖靈機(jī)就是指一個(gè)抽象的機(jī)器,它有一條無(wú)限長(zhǎng)的紙帶,紙帶分成了一個(gè)一個(gè)的小方格,每個(gè)方格有不同的顏色。有一個(gè)機(jī)器頭在紙帶上移來(lái)移去。機(jī)器頭有一組內(nèi)部狀態(tài),還有一些固定的程序。
1936年,英國(guó)數(shù)學(xué)家阿蘭?麥席森?圖靈(1912―-1954年)提出了一種抽象的計(jì)算模型——圖靈機(jī)( Turing machine)。圖靈機(jī),又稱圖靈計(jì)算機(jī),即將人們使用紙筆進(jìn)行數(shù)學(xué)運(yùn)算的過(guò)程進(jìn)行抽象,由一個(gè)虛擬的機(jī)器替代人類進(jìn)行數(shù)學(xué)運(yùn)算。圖靈機(jī)有很多變種,但可以證明這些變種的計(jì)算能力都是等價(jià)的,即它們識(shí)別同樣的語(yǔ)言類。證明兩個(gè)計(jì)算模型A和B的計(jì)算能力等價(jià)的基本思想是:用A和B相互模擬,若A可模擬B且B可模擬A,則它們的計(jì)算能力等價(jià)。注意這里我們暫時(shí)不考慮計(jì)算的效率,只考慮計(jì)算的理論“可行性”。
聲明:本網(wǎng)頁(yè)內(nèi)容旨在傳播知識(shí),若有侵權(quán)等問(wèn)題請(qǐng)及時(shí)與本網(wǎng)聯(lián)系,我們將在第一時(shí)間刪除處理。TEL:177 7030 7066 E-MAIL:11247931@qq.com