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