世界通用计算机的计算方面、用途的计算机或计算机语言。到目前为止构建的现实计算机可以在功能上进行分析，就像单带图灵机（对应于它们的内存的“带”）一样； 因此，相关的数学问题可以通过足够抽象的运算来应用。但是，现实计算机的物理资源有限，因此它们仅是线性有界自动机。与之对应的，通用计算机被定义为具有图灵完备的指令集，无限内存和无限可用时间的设备。
正式定义.在计算理论中，有几个密切相关的术语用于描述系统的计算能力。（比如抽象机器或者程序语言。）
预言机.具