Ejemplo 2

De la siguiente tabla de transiciones dibujar el automata y obtener el lenguaje que acepta el automata

 

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 

Ejemplo 1

Obtener la tabla de transiciones y el lenguaje aceptado  por el siguiente AFN.

 

para la tabla de transiciones vamos llenando la siguiente tabla

	λ	a	b
Q0	------	------	Q1
Q1	------	Q1	Q2
Q2	------	Q3	-----
Q3	------	-------	Q0

 

En donde se coloca ---- donde no hay transición con el símbolo y en caso contrario se escribe el estado(s) destino con ese símbolo.

Para obtener el lenguaje que acepta primero seguimos la ruta segura al estado de aceptación, siguiendo la ruta tenemos la excreción a*b, después concatenamos la siguiente parte que nos lleva de regreso al estado Q0 que en este caso seria ab por le que el lenguaje aceptado por este autómata seria

a*b+ ab