无限内存和无限可用时间的设备。
正式定义.在计算理论中，有几个密切相关的术语用于描述系统的计算能力。（比如抽象机器或者程序语言。）
预言机.具有预言磁带的计算机可能比图灵机更强大：例如，磁带可能包含停机问题或其他一些图灵不可计算问题的解决方案。甚至具有随机预言机也是不可计算的（几乎必然），因为只有可数的计算而无数的预言。 因此，具有随机预言机的计算机可以计算出图灵机无法执行的操作。
数字物理学.所有已知的物理定律都具有可通过数字