抽象機器

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