預言機維基百科,自由的 encyclopedia 在計算複雜度理論與可計算性理論中,預言機(英語:Oracle Machine),又稱諭示機,是一種抽象電腦,用來研究決定型問題。可以被視為具備在一次運算之內解答特定問題的黑盒子(又稱為預言者)的圖靈機;該問題可以是任何複雜度類,甚至可以是不可判定問題,像是停機問題。
在計算複雜度理論與可計算性理論中,預言機(英語:Oracle Machine),又稱諭示機,是一種抽象電腦,用來研究決定型問題。可以被視為具備在一次運算之內解答特定問題的黑盒子(又稱為預言者)的圖靈機;該問題可以是任何複雜度類,甚至可以是不可判定問題,像是停機問題。