Cuando se trata de una máquina de Turing no determinista, la clase es llamada NP.