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