Sin embargo, el problema de minimizar un autómata finito no determinista es NP-completo y PSPACE-completo.