AUTOMATA FINITINO NO DETERMINISTA AFN
Un autómata finito no determinista (AFN) es una máquina abstracta que sirve para reconocer lenguajes, como el autómata finito determinista (AFD), pero con una diferencia clave: en un AFN, desde un estado y con un símbolo de entrada, pueden existir varias opciones de a qué estado moverse , o incluso ninguna. En otras palabras, es como si el autómata pudiera "elegir" entre varios caminos posibles.