圖靈機
時代:早期理論 · 1930年代—1950年代
阿蘭·圖靈在其開創性論文《論可計算數及其在判定問題中的應用》中提出了圖靈機概念。這是一個抽象的計算模型,能夠模擬任何可計算的數學過程。圖靈機不僅奠定了計算理論的基礎,也為我們理解「計算」本身提供了最本質的框架。
阿蘭·圖靈 (1912—1954)
來源與支持內容
On Computable Numbers, with an Application to the Entscheidungsproblem
London Mathematical Society · 來源類型:paper
Turing’s 1936 paper defines the machine model now called the Turing machine.
發布日期: ·存取日期: