的问题是由较为局限的运算集得出的，实践中可使用的运算集可能更加广泛而强大，因而一些算法的实际性能，可能比高度抽象的计算模型得出的结果要好。
分类.计算模型有很多，它们在各自容许的运算集和计算成本方面不同。它们可以被分为几大类：抽象机器和与其等同的模型（例如Λ演算相当于图灵机），用于可计算性、算法计算复杂性上限的证明；还有，用于证明算法问题计算复杂度的下限。