神託機械（しんたくきかい、英:oraclemachine）または預言機械（よげんきかい）は、計算複雑性理論や計算可能性理論における抽象機械の一種であり、決定問題の研究で使われる。
在计算复杂度理论与可计算性理论中，预言机（英语：oraclemachine），又称谕示机，是一种抽象电脑，用来研究决定型问题。