抽象機械（抽象コンピュータとも呼ばれる）は、オートマトンで利用される、コンピュータハードウェアやソフトウェアシステムの理論上モデルである。計算処理の抽象化は、計算機科学と計算機工学の両方の分野で行われ、通常は離散時間パラダイムを仮定している。計算理論において抽象機械は、計算可能性に関してまたはアルゴリズムの複雑さを分析するために（計算複雑性理論を参照すること）、思考実験でよく利用される。典型的な抽象機械は、入力、出力、そして前者を後者にするために利用され許可される操作のセットの観点による定義から構成される。最も良く知られている例としてチューリングマシンがある。より複雑な定義により、完全な命令セット、レジスタ、そしてを伴う抽象機械が作られる。本物の機械とよく似た平易なモデルの一つはであり、それはランダムアクセスによりメモリロケーションを索引付けできるようにする。キャッシュメモリの異なるレベル間のパフォーマンスの差異が肥大するため、外部メモリモデルやキャッシュを気付かせないモデルが重要となってきている。抽象機械はまだハードウェアとして実装されていない（あるいは実装を意図されていない）マイクロプロセッサ設計を指すこともある。ソフトウェアシミュレーションとして、あるいは実在するインタプリタにおいて実装された抽象機械は仮想機械と呼ばれる。抽象機械の利用を通じて、実際のシステムで行うことなしに、個々の操作を実行するために必要な資源（時間、メモリなど）の量を計算することが可能となる。一つのアプローチは、チューリング等価な抽象機械を分類するための、幾分形式的な分類上のアプローチを得るためである。この分類には有限オートマトンは含まれない:科: チューリング等価な (Turing-equivalent, TE) 抽象機械:亜科:亜科 (1)-- "シーケンシャル"TE抽象モデル : 現在使用されているシーケンシャルTE抽象機械の2つの階層（属）がある（例としてvan Emde Boasを参照すること）:属 (1.1) -- テープベースのチューリングマシンモデル これは以下の「種」を含む:属 (1.2)-- レジスタマシンモデル : これには以下の（少なくとも）4つの「種」が含まれる（他のものはvan Emde Boasにより言及される）:

出典:wikipedia