Una forma de dibujar el grafo seria el siguiente
Cualquier grafo que cumpla con la tabla de trancisiones es valido .
para obtener el lenjuaje aceptado por el automata tenemos que observar primero el camino que nos lleve directo al estado de acptacion, en esta caso es la cadena conformada por ab el cual no lleva al estado q2 que es de aceptacion,despues al obserber tenemos que hay un 2 ciclos en q0 uno con a y otro con b esta exprecion se representa como (a+b)* por lo que nuestro lenguaje final quedaria de la siguiente manera
(a+b)*ab
No hay comentarios:
Publicar un comentario