抽象机器（），又称抽象电脑（），利用自动机理论，建立出电脑硬体或软体的理论模型。把运算过程抽象化，一般来说是採用离散时间模型，可应用于电脑科学或电脑工程。在计算理论中，抽象机器经常被当成是一种思想实验，用来推论可计算性（），或是分析演算法的复杂度。