【基本思想】
预言机(Oracle)与预言机机器(Oracle Machine)是两个相关但不同的概念。简单来说,预言机是一个外部函数或外部接口,它能够对机器提出的查询给出回答;而预言机机器是一种被增强过的计算模型,它在普通图灵机的基础上增加了向预言机提出查询的能力
在计算复杂性理论中,预言机机器(Oracle Machine)最初主要用于刻画不同计算问题之间的归约关系(Reducibility)。也就是说,可以通过给一台机器访问某个外部函数的能力,来研究“如果能够调用某个问题的解答过程,那么是否可以解决另一个问题”