存的“带”）一样； 因此，相关的数学问题可以通过足够抽象的运算来应用。但是，现实计算机的物理资源有限，因此它们仅是线性有界自动机。与之对应的，通用计算机被定义为具有图灵完备的指令集，无限内存和无限可用时间的设备。
正式定义.在计算理论中，有几个密切相关的术语用于描述系统的计算能力。（比如抽象机器或者程序语言。）
预言机.具有预言磁带的计算机可能比图灵机更强大：例如，磁带可能包含停机问题或其他一些图灵不可计算问题的解决方案。甚至具有随机预言机也是不可计算的