En teoría de la complejidad y en la teoría de la computabilidad, una máquina oráculo es una máquina abstracta usada para estudiar problemas de decisión.
1
Ninguna máquina oráculo es capaz de resolver su propia detención
2
Es lo que Turing denominaba una " máquina oráculo".
portugués
inglés
catalán