Una máquina de Turing con una cinta de oracle extra y tres Estados adicionales q _?, q _y q _n. De lo contrario el control va a estado q _n cuando la máquina entra en q _?, control va al estado q _y si el contenido de la cinta de oracle es en el conjunto de oracle;