002

　　圖靈機(jī)并不是特指某一個(gè)或某一類機(jī)器，而是一種用數(shù)學(xué)的語(yǔ)言所定義出來(lái)的概念，是為了解答20世紀(jì)數(shù)學(xué)家對(duì)數(shù)學(xué)的終極追問(wèn)而發(fā)明的一種工具。它的目的是為了對(duì)人類頭腦內(nèi)復(fù)雜數(shù)學(xué)活動(dòng)的抽象和簡(jiǎn)化。

　　定義圖靈機(jī)需要七個(gè)集合。其中最重要的兩個(gè)分別是“有限的非空狀態(tài)（State）的集合”與“有限的非空符號(hào)（Symbol）的集合”。前者代表著“這臺(tái)機(jī)器能夠在紙帶上讀取和寫入的符號(hào)種類”，也被稱作“色...