チューリングマシンこれは、1936 年にアラン チューリングによって提案された抽象コンピューティング モデルです。そのより抽象的な定義は数学的論理マシンであり、任意の有限論理数学的プロセスと同等の論理マシンとみなすことができます。

チューリングの基本的なアイデアは、人間が紙とペンを使って数学的演算を実行するプロセスを機械を使ってシミュレートし、このプロセスを次の 2 つのアクションとみなすというものです。

• 紙に記号を書いたり消したりする。
• 紙のある部分から別の部分に注意を移します。

チューリング マシンとコンピューティング理論は、AI 分野、さらにはコンピューター サイエンスの分野全体の理論的基礎であり、現在、ほとんどの計算可能なプロセスはチューリング マシンでシミュレートできます。