una máquina oráculo que utiliza una caja negra que puede calcular una función particular que no es calculable con una máquina de Turing.