Oracle-machine meaning

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