oracle machine

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

oracle machine (plural oracle machines)

  1. (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 Cq(n) stops; []

Translations[edit]

Further reading[edit]