抽象機械

抽象機械(ちゅうしょうきかい、Abstract machine)

参考

抽象機械とは、コンピュータシステムがどのように機能するかを詳細かつ正確に分析することを可能にするコンピュータ科学の理論モデルである。 入力を受けて、定義済みの規則に基づいて出力を生成するという点において、数学の関数に類似したものである。抽象機械は、ハードウェアとは無関係に正しく動作することが期待されるという点で、文字通りの機械とは異なる。抽象機械は、プログラムの段階的な実行を可能にするので「機械」であり、実際の（ハードウェア）機械の多くの側面を無視するので「抽象」である 典型的な抽象機械は、入力、出力および前者を後者に変えるために用いられる一連の許容操作の観点から定義されるものである。計算理論においては、計算可能性に関する思考実験やアルゴリズムの複雑性を分析するために抽象機械がしばしば用いられる。この抽象機械の使用は、有限状態機械、ミーリー機械、プッシュダウンオートマトン、チューリング機械などの計算複雑性理論の分野と関連している。

www.DeepL.com/Translator（無料版）で翻訳しました。

関連

テープベース