抽象的機器

抽象的機器（英語：Abstract machine）， 閣稱抽象電腦（abstract computer）， 利用自動機理論，建立出電腦硬體抑是軟體理論模型。算過程抽象化，一般來講是用離散的時間模型，會當應用佇電腦科學抑是電腦工程。佇計算理論內底，抽象彼个機器當做是一種思想實驗，用來推論可計算性（computability）， 抑是分析演算法的複雜度。

參見

• 抽象的機器
• 糞埽進，糞埽出
• 演算法導論
• 計算理論
• 可計算性理論
• 計算複雜性理論
• 進階綜合