圖靈機的發明

圖靈機，又稱圖靈計算、圖靈計算機，是由數學家阿蘭·麥席森·圖靈提出的一種抽象計算模型，即將人們使用紙筆進行數學運算的過程進行抽象，由一個虛擬的機器替代人們進行數學運算。

所謂的圖靈機就是指一個抽象的機器，它有一條無限長的紙帶，紙帶分成了一個一個的小方格，每個方格有不同的顏色。有一個機器頭在紙帶上移來移去。機器頭有一組內部狀態，還有一些固定的程式。在每個時刻，機器頭都要從當前紙帶上讀入一個方格資訊，然後結合自己的內部狀態查詢程式表，根據程式輸出資訊到紙帶方格上，並轉換自己的內部狀態，然後進