English Dictionary

oracle machine

名詞

(computing theory) In computability theory, a form of theoretical Turing machine, able to solve even undecidable decision problems in a single operation.

日本語の意味

（計算理論）解の決定不可能な問題に対して、あらかじめ解答を提供する「オラクル」を備えた理論上のチューリングマシン。 / （計算可能性理論における概念）通常のチューリングマシンでは解けない決定問題を、オラクルの助けにより単一の操作で解決できるマシン。

In theory, an oracle machine can decide the halting status of any Turing machine in a single operation.

理論上、オラクルを備えたチューリング機械は任意のチューリング機械の停止状態を一回の操作で決定できる。

意味（1）

(computing theory) In computability theory, a form of theoretical Turing machine, able to solve even undecidable decision problems in a single operation.

Thus, an oracle machine (which enacts an oracle algorithm) would be like an ordinary Turing machine, except that adjoined to its ordinary computational operations would be another operation: ‘Call in the oracle and ask it whether C_q(n) stops; […]

oracle machines （ plural ）