En l'àmbit de la teoria de la complexitat computacional, concretament en l'estudi de les màquines d'estats finits, el concepte de no determinisme juga un paper important. Les màquines d'estats finits no deterministes (NFSM) són models teòrics que permeten prendre múltiples camins acceptables en qualsevol estat donat. Tanmateix, davant d'aquesta situació, sorgeix la pregunta: quin