抽象機器

抽象機器（），又稱抽象電腦（），利用自動機理論，建立出電腦硬體或軟體的理論模型。把運算過程抽象化，一般來說是採用離散時間模型，可應用於電腦科學或電腦工程。在計算理論中，抽象機器經常被當成是一種思想實驗，用來推論可計算性（），或是分析演算法的時間複雜度及空间复杂度。

参见

• 抽象機器
• 垃圾进，垃圾出
• 算法导论
• 计算理论

** 可计算性理论
** 計算複雜性理論

• 高级综合