，有几个密切相关的术语用于描述系统的计算能力。（比如抽象机器或者程序语言。）
预言机.具有预言磁带的计算机可能比图灵机更强大：例如，磁带可能包含停机问题或其他一些图灵不可计算问题的解决方案。甚至具有随机预言机也是不可计算的（几乎必然），因为只有可数的计算而无数的预言。 因此，具有随机预言机的计算机可以计算出图灵机无法执行的操作。
数字物理学.所有已知的物理定律都具有可通过数字计算机上的一系列近似值计算的结果。 一种称为数字物理学的假设指出，这并非偶然，因