oracle machine

English

oracle machine (plural oracle machines)

(computing theory) In computability theory, a form of theoretical Turing machine, able to solve even undecidable decision problems in a single operation.
- 1994, Roger Penrose, “Quantum theory and the brain”, in Shadows of the Mind, Oxford University Press, →ISBN, page 380:
  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; […]

theoretical machine