抽象机器

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

参见

• 计算机科学主题
• 计算机程序设计主题

• 抽象机器
• 垃圾进，垃圾出
• 算法导论
• 计算理论
  • 可计算性理论
  • 计算复杂性理论
• 高级综合