Oracle Turing machine