Ya funciona el algoritmo AFD Mínimo

Con paciencia he localizado los errores en el código. Se quedaba bloqueado en un ciclo al calcular los estados distinguibles.

Esta ha sido la evolución con las ER corregidas:

AFNDLT tiempo de carga: 0' 18'' estados: 33455 tiempo de consulta: 10''

AFD primera versión, tiempo de carga: más de 4 horas.

AFD segunda versión, tiempo de carga: más de 1 hora, estados: 17540 compresión: 44,79% tiempo de consulta: inmediato.

AFD tercera versión, tiempo de carga: 40' 21'' estados: 9679 compresión: 71,07% tiempo de consulta: inmediato.

AFD Mínimo, tiempo de carga: 2' 15'' estados: 3407 compresión: 89,82% tiempo de consulta: inmediato.

Me encantan los resultados. De las mejoras que anuncié, he aplicado la primera. Sin embargo la segunda está orientada a la estructura general. Recordar que la estructura general es un AFNDLT que enlaza AFD Mínimos. Cuando se comprima el AFNDLT aplicaré la segunda mejora.
Ahora puedo seguir insertando nuevas ER.