抽象機器 此條目没有列出任何参考或来源。 (2015年3月30日)維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 抽象機器(英語:Abstract machine),又稱抽象電腦(abstract computer),利用自動機理論,建立出電腦硬體或軟體的理論模型。把運算過程抽象化,一般來說是採用離散時間模型,可應用於電腦科學或電腦工程。在計算理論中,抽象機器經常被當成是一種思想實驗,用來推論可計算性(computability),或是分析演算法的時間複雜度及空间复杂度。 参见[编辑] 计算机科学主题 计算机程序设计主题 抽象機器 垃圾进,垃圾出 算法导论 计算理论 可计算性理论 計算複雜性理論 高级综合 这是一篇與计算机相關的小作品。您可以通过编辑或修订扩充其内容。查论编