一台计算机中的正式的抽象定义。使用一个模型可以更轻松地分析的内在执行时间或内存空间的一种算法而忽略了很多的执行问题。有许多的计算模型在计算能力不同 （就是一些模型可以执行计算不可能为其他模型） 和各项业务的成本。