在计算复杂度理论与可计算性理论中，预言机（），又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子（预言者）的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
定义.一部预言机可以视为是与一个预言者（）相连接的图灵机。所谓预言者的概念，是一个可以回答特定问题集合的一个实体，而且常常使用特定的自然数子集"A"来表示这个问题。我们可以很自然的发现，一部预言