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