コトバンクはYahoo!辞書と技術提携しています。

テューリング機械 テューリングきかいTuring machine

翻訳|Turing machine

ブリタニカ国際大百科事典 小項目事典の解説

テューリング機械
テューリングきかい
Turing machine

A.テューリングが計算可能性を数学的に定義するために 1936年につくり上げた,人間が行なっている計算のプロセスの厳密なモデルをいう。これは有限の記憶素子,有限の動作指令表をもつ中央処理装置にあたる部分と,左右に無限の長さの読み書きのできるテープから成るもので,計算や論理的プロセスをすべて実現できる。この機械によって「計算可能な」関数は帰納的関数 recursive functionと同一であり,あらゆる情報処理機械の計算能力はこの機械のそれをこえることはない。さらにユニバーサルテューリング機械を考えたが,これは任意のテューリング機械をシミュレートできるものである。これがコンピュータの理論的基礎の一つとなっている。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

テューリング機械の関連キーワードアルゴリズム計算の理論論理式

今日のキーワード

スカジャン

神奈川県横須賀市発祥のジャンパー。おもに化繊の生地の、スタジアムジャンパー風のデザインのジャンパーの背中に、虎や龍、富士山など和風のモチーフの刺繍を施したもの。第2次世界大戦後、横須賀基地に駐留したア...

続きを読む

コトバンク for iPhone

コトバンク for Android