A Turing machine with an extra oracle tape and three extra states q_?, q_y, q_n. When the machine enters q_?, control goes to state q_y if the oracle tape content is in the oracle set; otherwise control goes to state q_n.