抽象机器

抽象机器是一个计算机系统（被认为是硬件或软件）的模型，其构造允许对计算机如何进行详细和精确的分析系统工作正常。这种模型通常由输入、输出和操作组成可以执行（操作集），因此可以将其视为处理器。图灵机器是最著名的抽象机器，但也有许多其他机器，例如蜂窝式的自动机.

对软件建模的抽象机器通常被认为具有非常高级的操作。例如，为银行系统建模的抽象机器可以具有“存款”、“取款”、“转账”等操作。

用软件实现的抽象机器称为事实上的机器，其中一个在硬件中实现的被简单地称为“机器."