El lenguaje de un AFN

Definición propia: 

Un Autómata Finito No Determinista (AFN) acepta una a medida que lees los caracteres puedes elegir cualquier camino posible entre los estados. Lo importante es que puedas llegar desde el estado inicial hasta uno de los estados de aceptación. No importa si hay otras opciones se usan los mismos caracteres. Lo que cuenta es que haya al menos un camino que lleve a un estado de aceptación para que sea aceptado por el AFN.

Definición Original:

Como hemos sugerido, un AFN acepta una cadena w si es posible elegir cualquier secuencia de opciones del estado siguiente, a medida que se leen los caracteres de w, y se pasa del estado inicial a cualquier estado de aceptación. El hecho de que otras opciones que empleen los símbolos de entrada de w lleven a un estado de no aceptación, o no lleven a ningún estado en absoluto (es decir, la secuencia de estados “muertos”), no impide que w sea aceptada por el AFN como un todo.

$\mathrm{<o:p></o:p>}$