In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems.
В теории вычислений и теории сложности машиной с оракулом называют абстрактную машину, предназначенную для решения какой-либо проблемы разрешимости.