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

参见

编辑