qu'utiliza una caxa negra que puede calcular una función particular que nun ye calculable con una máquina de Turing. La fuercia de cómputu d'una máquina oráculu vien descrita pol so grau de Turing. La teoría de cómputos reales estudia máquines con precisión absoluta nos númberos reales. Dientro d'esta teoría, ye posible demostrar afirmaciones interesantes, tales como «el complementu d'un conxuntu de Mandelbrot ye solo parcialmente decidible».