MTSolution(1+2+3+4+5+6+7+8+9)(0+1+2+3+4+5+6+7+8+9)*
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 la siguiente vista parcial:
Como este autómata es deterministico, solo podemos minimizarlo. Aplicando el algoritmo aparece lasiguiente distribución de particiones:
Eligiendo el botón de Automata se obtiene:
Lo 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.