日本語
← タイムラインに戻る

チューリングマシン

時代:初期理論 · 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.

    公開日: ·確認日: