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