チューリングマシン
時代:初期理論 · 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.
公開日: ·確認日: