抽象マシンとは何ですか？

Automataとも呼ばれる抽象機械は、理論的なコンピューターサイエンスの要素です。要約マシンは、数学の関数に似ています。指定されたルールに従って入力を受信し、出力を生成します。抽象マシンは、ハードウェアから完全に独立して機能すると想定されるため、より文字通りのマシンとは異なります。それらは、操作の実行方法や受信できる入力の種類などの特性に基づいてタイプに細分化されます。任意のポイント。抽象的なマシンは、常に1つの方法しか進行しない場合、決定論的と呼ばれます。可能な状態の少なくとも1つにマシンに複数の可能性が存在する場合、それは非決定論です。プッシュダウンオートマトンは、入力のスタックを操作する能力を備えたものであり、それらが表示される順序で1つずつ応答するのではなく、それらに1つずつ応答するのではありません。これらの例の1つは、Conways Game of Lifeです。これは、他のいずれかの構成しか出現できないため、決定論的な抽象的なマシンです。このゲームは、各ボックスまたはセルが国家を生きているか死んでいるかのいずれかを持つことができるグリッドを使用します。グリッド全体の状態は、前の状態に基づいて決定されます。生細胞が正確に2つまたは3つの他の生細胞に触れると、それは生き続けます。1つ、2つ、または3つ以上の隣人（可能な8つまで）がある場合、それは死にます。ちょうど3人の隣人を持つ死んだ細胞が生き返ります。そうでなければ、それは死んでいるままです。チューリングマシンは、無制限のサイズのテープ＆mdash;一連のシンボルとmdash;で操作を実行します。これには、シンボルを変更することと、それが動作しているシンボルを変更するための指示が含まれています。シンプルなチューリングマシンは、命令変換記号のみを1にしてから、右に移動する場合があります。このマシンは、1秒の文字列以外に出力されません。このシンプルなチューリングマシンは決定論的ですが、同じ入力を考慮していくつかの異なる操作を実行できる非決定的なチューリングマシンを構築することもできます。それらは楽しい理論的なおもちゃになることができますが、実際のコンピューターシステムのモデルとしても機能することもあります。抽象マシンは、コンピューターサイエンスの中心にあります。