チューリングマシン

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

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

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