抽象機器
外觀
此條目沒有列出任何參考或來源。 (2015年3月30日) 維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。 |
抽象機器(英語:Abstract machine),又稱抽象電腦(abstract computer),利用自動機理論,建立出電腦硬體或軟體的理論模型。把運算過程抽象化,一般來說是採用離散時間模型,可應用於電腦科學或電腦工程。在計算理論中,抽象機器經常被當成是一種思想實驗,用來推論可計算性(computability),或是分析演算法的時間複雜度及空間複雜度。
這是一篇與電腦相關的小作品。您可以透過編輯或修訂擴充其內容。 |