ALan Turing(阿蘭.圖靈)在1937年首次提出了一個通用計算機設備的設想。他設想所有的計算都可能在一種特殊的機器上執行，這就是現在所說的圖靈機.儘管圖靈對這樣一種機器進行了數學上的描述，但他還是更有興趣關注計算的哲學定義，而不是建造一臺真實的機器，他將該模型建立在人們計算過程的行爲上，並將這些行爲抽象到用於計算的機器的模型中，這才真正改變了世界。
所謂的圖靈機就是指一個抽象的機器，它有一條無限長的紙帶，紙帶分成了一個一個的小方格，每個方格有不同的顏色。有一個機器頭在紙帶上移來移去。機器頭有一組內部狀態，還有一些固定的程序。在每個時刻，機器頭都要從當前紙帶上讀入一個方格資訊，然後結合自己的內部狀態查找程序表，根據程序輸出資訊到紙帶方格上，並轉換自己的內部狀態，然後進行移動。
