En el ámbito de la teoría de la complejidad computacional, específicamente en el estudio de máquinas de estados finitos, el concepto de no determinismo juega un papel importante. Las máquinas de estados finitos no deterministas (NFSM) son modelos teóricos que permiten tomar múltiples caminos aceptables en cualquier estado dado. Sin embargo, ante tal situación surge la pregunta: ¿cuál