MTSolutionExpresión regular a partir de un Autómata Finito
En MTEditor se puede obtener la expresión regular equivalente de un Automata Finito, a través de un método paso a paso que aplica el algoritmo sucesores y predecesores.
Autómata
El método consiste en eliminar en una primer etapa, todos los estados que no son ni inicial, ni finales.
De esta forma queda un automata con el estado inicial y uno o mas estados finales. En ese momento se debe elegir un estado final para el cual calcular la expresión regular, entonces los demas estados se convierten en no finales y se inicia el ciclo anterior nuevamente.
Cuando solo queda un estado final, se debe elegir el método para la generación de la expresión para ese estado final. Luego se continuará con otros estados finales a medidad que se acumula el resultado final.
Al calcular la expresión para el último estado final, queda la expresión final. Se puede navegar todo el proceso, aunque no está disponible la posibilidad de generar nuevas alternativas. Para ello se debe iniciar nuevamente todo el proceso.
