此条目没有列出任何参考或来源。 (2015年3月30日) 维基百科所有的内容都应该可供查证。请协助补充可靠来源以改善这篇条目。无法查证的内容可能会因为异议提出而移除。 |
抽象机器(英语:Abstract machine),又称抽象电脑(abstract computer),利用自动机理论,创建出电脑硬件或软件的理论模型。把运算过程抽象化,一般来说是采用离散时间模型,可应用于计算机科学或电脑工程。在计算理论中,抽象机器经常被当成是一种思想实验,用来推论可计算性(computability),或是分析算法的复杂度。
参见