MTSolution(a+b)*(a+b)(a+b)*
Se define primero en Gramatika, como:
Haciendo click en el botón AFnD-€, se genera el Automata Finito con transiciones vacías. El mismo se puede ver con el MTEditor. (Vista parcial)
Aplicando el algoritmo de eliminación de transiciones vacias, se obtiene:
Aplicando el algoritmo de pasaje de AFnD a AFD, se obtiene la siguiente tabla:
Eligiendo el botón de Automata se obtiene:
Ahora también se lo podría minimizar, obteniendo la siguiente tabla de particiones
Que nos da el automata finito determinístico para la expresión definida:
Es importante destacar que todos los automatas, incluso el AFnD-€ se pueden ejecutar.