Turing machine
Un problema de decisión pertenece a NP si puede ser resuelto por una Máquina de Turing indeterminista en tiempo polinómico.