Hola.
Todos los test nos funcionan bien excepto por el 6. Viendo nuestro resultado y comparando con la solución esperada se da porque nosotros empezamos por el primer "or" y la solución por el último.
Entonces nuestro resultado es:
"""
Test 6: expresión = a|b|c
🔎 Entrada determinada como VÁLIDA
AFND generado:
Estado inicial: s46
Estados finales: {'s47'}
Transiciones:
s42 --c--> s43
s40 --b--> s41
s44 --e--> s42
s44 --e--> s40
s43 --e--> s45
s41 --e--> s45
s38 --a--> s39
s46 --e--> s44
s46 --e--> s38
s45 --e--> s47
s39 --e--> s47
Resultado: ❌ ERROR
"""
Hicimos un dibujo del automata para comparar con la solución esperada y son equivalentes. Puede ser que haya un error en la función son isomorfos?
Muchas gracias.