檢視抽象的機器的原始碼

'''抽象的機器'''（英語：Abstract machine）， 閣稱'''抽象電腦'''（abstract computer）， 利用自動機理論，建立出電腦硬體抑是軟體理論模型。算過程抽象化，一般來講是用離散的時間模型，會當應用佇電腦科學抑是電腦工程。佇計算理論內底，抽象彼个機器當做是一種思想實驗，用來推論可計算性（computability）， 抑是分析演算法的複雜度。

==參見==

* 抽象的機器
* 糞埽進，糞埽出
* 演算法導論
* 計算理論
* 可計算性理論
* 計算複雜性理論
* 進階綜合

[[分類: 待校正]]