計算理論において抽象機械は、計算可能性に関してまたはアルゴリズムの複雑さを分析するために（計算複雑性理論を参照すること）、思考実験でよく利用される。
在计算理论中，抽象机器经常被当成是一种思想实验，用来推论可计算性（computability），或是分析算法的复杂度。