An oracle Turing machine is a hypothetical device which, in addition to performing the actions of a regular Turing machine, is able to ask questions of an oracle, which is a particular set of natural numbers.
O mașină Turing cu oracol este un dispozitiv ipotetic care, în plus față de efectuarea acțiunilor unei mașini Turing obișnuite, este capabilă să pună întrebări unui oracol, care este o anumită mulțime de numere naturale.