預言機

在計算複雜度理論與可計算性理論中 ， 預言機  ， 又稱諭示機 ， 是一種抽象電腦 ， 用來研究決定型問題 。 可以被視爲具備在一次運算之內解答特定問題的黑盒子 （ 又稱爲預言者 ） 的圖靈機 ； 該問題可以是任何複雜度類 ， 甚至可以是不可判定問題 ， 像是停機問題 。