3.1.

4 AFD y AFND: definiciones formales 

viernes, 29 de julio de 2022  03:34 p. m. 

Autómatas finitos deterministas (AFD) 

 
Son autómatas finitos que tienen una y sólo una acción por símbolo leído de la cadena de entrada (o
flujo de entrada) bajo análisis. Cada uno de estos símbolos pertenece al alfabeto definido, y el examen
de los mismos se realiza en orden y de manera secuencial, un símbolo a la vez. 
 
El procedimiento de reconocimiento determina la lectura del símbolo del flujo de entrada y el
consecuente cambio de estado (uno entre una cantidad finita de ellos) o permanecer en el estado
actual: no hay cabida para la ambigüedad, ya que sólo se puede tomar un estado. A este proceso se le
llama transición y, como ya se comentó, el cambio o permanencia del estado dependerá del estado
actual y el símbolo leído, llamado mecanismo de control de la máquina. 
 
Al final de la cadena, el resultado del análisis puede desembocar en dos resultados: si se llega a una
estado de aceptación, significa que la cadena cumple con las condiciones estipuladas; si se alcanza a un
estado de error, significa que no es así. 
 
Los autómatas finitos deterministas estás compuestos por cinco elementos Q, Σ, δ, q0 y F. 
 

 
En el diagrama de transiciones de la siguiente figura se observa que en cada estado existe una salida
para cada uno de los símbolos del alfabeto. 
 

 
Ahora bien, de acuerdo con la tabla siguiente, no todas las cadenas que recorra el AFD se aceptan: 
 
 
 
Como vemos, cada transición proporciona sólo un estado a seguir. En otras palabras, para cada para
estado-símbolo existe únicamente un valor; en consecuencia, a cada estado le daremos la notación q
seguida del número del estado. 
 
Para que el autómata de los identificadores válidos sea determinista, en cada estado debe existir una
transición para cada símbolo del alfabeto. Si ésta no coincide con el patrón o lexema definido para este
autómata, se genera un estado de error. Como se observa en la siguiente figura, se agrega otro estado
de "error" a donde llegan las transiciones de cada símbolo del alfabeto que no cumple con el lexema. 
 

 
En el diagrama de transiciones de la siguiente figura se observa que en los diversos estados no están
representadas las transiciones que deben ocurrir para cada símbolo del alfabeto, así que es imposible
definir el autómata finito como determinista. La razón es que no se visualizan adecuadamente los
elementos que describen el autómata, que en este caso son: 
 

 
Autómatas finitos no deterministas (AFND) 
 
Con una estructura similar a los AFD, los AFND tienen dos características particulares. La primera es la
ambigüedad, ya que la transición entre un símbolo leído de la cadena de entrada y el siguiente existen
diferentes caminos a elegir. La segunda característica es que se omite hacia qué estado dirigir el control
del flujo de datos cuando se lee el carácter de entrada. 
 
Así pues, a semejanza de los AFD, los autómatas finitos no deterministas están compuestos por una
quíntupla de elementos (Q, Σ, δ, q0, F). La diferencia estriba en la función de transición. 
 

 
En la tabla se termina la secuencia de recorrido en AFND para algunas cadenas: 
 

 
Y los elementos que componen el autómata finito determinista. 
 

 
Con base en la información anterior, calculemos las siguientes transiciones: 

 
Resultado: