El programa funciona bien, reconoce las ER. El problema es que cuando genera la tabla de transiciones del AFD inserta muchas transiciones a -1 que es el estado error. Inserta el estado final en un paso recursivo tarde. El resultado es que por ejemplo un AFD de 3 estados se convierta en uno de 15 con más de 100 transiciones.
Es necesario corregir este fallo antes de implementar el AFDMinimo.
No hay comentarios:
Publicar un comentario