「チューリングマシン」を編集中


'''チューリングマシン'''（Turing machine）とは、1936年にイギリスの数学者アラン・チューリング（Alan M. Turing）が考案した「計算を行う自動機械の数学的なモデル（設計図）」です。この機械は計算可能性の理論を議論するために設計されました。なお、アラン・チューリングは実際の物理的なチューリングマシンは作成しませんでした。

チューリングマシンは世界初の[[コンピューター]]と言われる「[[解析機関]]」よりも現代的なのが特徴で、このモデルは現代の[[コンピューター]]」の基本的な動作原理を示しており、「すべての計算を実行することができる最も単純化された[[コンピューター]]と[[プログラミング言語]]（[[機械語]]）」として知られています。

後世の人々はあらゆるプログラミング言語で「チューリングマシンのエミュレーター」を実装しまくっています。ちなみにチューリングマシンのエミュレーターを作ることができたプログラミング言語は「[[チューリング完全]]」という称号が与えられています。

[[category: コンピューター]]
[[category: プログラミング]]