Las máquinas no deterministas se han convertido en un concepto clave en la teoría de la complejidad computacional, particularmente para describir las clases de complejidad P y NP.