繁體中文
← 返回時間線

圖靈機

時代:早期理論 · 1930年代—1950年代

阿蘭·圖靈在其開創性論文《論可計算數及其在判定問題中的應用》中提出了圖靈機概念。這是一個抽象的計算模型,能夠模擬任何可計算的數學過程。圖靈機不僅奠定了計算理論的基礎,也為我們理解計算本身提供了最本質的框架。

阿蘭·圖靈 (1912—1954)

來源與支持內容

  1. 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.

    發布日期: ·存取日期: