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

An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in automata theory. Abstraction of computing processes is used in both the computer science and computer engineering disciplines and usually assumes a discrete time paradigm.