在计算理论中，oracle（神谕机）是图灵机模型的一个扩展，被赋予一个黑盒，该黑盒能在单步内回答某个特定判定问题。