La notación A^B también significa la clase de problemas que resolver por el algoritmo en clase A con un oráculo para el lenguaje B.