Consultas laboratorio

Buenas, la implementación de AFND_e permite eventualmente tener más de un estado final, si implementan bien el algoritmo debería quedarles solo un final siempre, pero no lo controla la clase, queda como responsabilidad de su implementación.