Noun
(plural oracle machines)
- (computing theory) In computability theory, a form of theoretical Turing machine, able to decide certain decision problems in a single operation.