オラクルマシンは、オラクルに接続されたチューリングマシンとして考案できます。この文脈では、Oracleは何らかの問題を解決できるエンティティであり、たとえば決定の問題や関数の問題である可能性があります。問題は計算可能である必要はありません。Oracleは、チューリングマシンまたはコンピュータープログラムであるとは想定されていません。Oracleは、特定の計算上の問題のあらゆるインスタンスのソリューションを作成できる「ブラックボックス」です。

正確な複雑さのゲインは、特定のアルゴリズムとタスクに依存します。
An oracle machine can be conceived as a Turing machine connected to an oracle. The oracle, in this context, is an entity capable of solving some problem, which for example may be a decision problem or a function problem. The problem does not have to be computable; the oracle is not assumed to be a Turing machine or computer program. The oracle is simply a "black box" that is able to produce a solution for any instance of a given computational problem.

The exact complexity gain depends on a specific algorithm and task.