圖靈機與計算理論

前言 圖靈機和計算理論是人工智能乃至整個計算機科學的理論基礎，邱奇-圖靈論題告訴我們一切可計算過程都可以用圖靈機模擬。 圖靈機 圖靈機，又稱圖靈計算、圖靈計算機，是由數學家艾倫·麥席森·圖靈（1912～1954）提出的一種抽象計算模型，即將人們使用紙筆進行數學運算的過程進行抽象，由一個虛擬的機器替代人們進行數學運算。 圖靈機指一個抽象的機器，它有一條無限長的紙帶，紙帶分成了一個一個的小方格，每個方

>>阅读原文<<