Primero observé que habían expresiones regulares mal formuladas, por ejemplo natural estaba expresado como (dígito)* eso significa 0 o infinito dígitos uno tras otro. No puede ser 0. La nueva ER queda (dígito)(dígito)* esto obliga a que por lo menos exista un dígito.
Tras las modificaciones de las ER el ANDLT final pasaba a tener 33516 estados.
Con la corrección en el algoritmo para pasar a AFD a pasado a tener 9679 estados y el cálculo lo ha terminado en 33 minutos, siendo el 71,12% menos.
Estoy muy contento. Ahora toca obtener el AFD Mínimo.
No hay comentarios:
Publicar un comentario