抽象機器

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

參見

• 電腦科學主題
• 電腦程式設計主題

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