預言機 在计算复杂度理论与可计算性理论中预言机英語Oracle Machine又称谕示机是一种抽象电脑用来研究决定型问题可以被视为具備在一次运算之內解答特定问题的黑盒子又稱為预言者的图灵机該问题可以是任何复杂度类甚至可以是不可判定问题像是停机问题