Características Ventajas
AFD’s  Un AFD tiene un único
estado inicial desde el cual
comienza a procesar la
entrada.
 Están diseñados para
procesar cadenas finitas de
símbolos del alfabeto de
entrada.
 En cualquier punto del
procesamiento, para un
estado dado y un símbolo
de entrada dado, hay una
única transición posible a
otro estado.
 Existe un conjunto finito de
símbolos llamado alfabeto
de entrada que el AFD
utiliza para procesar la
entrada. Cada símbolo de
entrada es reconocido por
el autómata.
AFND’s  En un estado y con un
símbolo de entrada
otorgado, el autómata
puede tener múltiples
opciones para la transición,
o incluso puede tomar
transiciones no definidas
para ciertos símbolos.
 Al igual que en un AFD, un
AFND tiene un estado inicial
desde el cual comienza a
procesar la entrada.
 La función de transición de
un AFND no es
necesariamente
determinista.
 El conjunto de estados en
un AFND es finito, muy
similar al de un AFD.
Desventajas
 Se utilizan en análisis
estático de código para
verificar la sintaxis de
programas, identificar
patrones específicos o
realizar análisis léxicos
 Son más fáciles de probar y
depurar en comparación con
autómatas no deterministas
o modelos más complejos de
computación.
 Son especialmente útiles en
el reconocimiento de
lenguajes regulares, que
tienen una estructura
relativamente simple y
pueden ser descritos por
expresiones regulares.
 Son modelos de
computación simples y
fáciles de entender.
 Son más expresivos que los
AFD debido a su capacidad
para tener múltiples
transiciones posibles
 Permiten una mayor
flexibilidad en el diseño de
algoritmos y sistemas.
 Pueden ser convertidos en
expresiones regulares y
viceversa, lo que facilita la
manipulación y
transformación de lenguajes
regulares.
 El no determinismo puede
permitir explorar múltiples
soluciones posibles de
manera simultánea
 Pueden no ser adecuados
para problemas de
búsqueda y optimización
que requieren la exploración
de múltiples soluciones
posibles de manera
simultánea.
 Tienen limitaciones en el
manejo de gramáticas
contextuales más complejas.
 Son menos expresivos que
los autómatas finitos no
deterministas
 Algunos resultan más
complicados debido a la
necesidad de especificar una
transición para cada
combinación de estado y
símbolo de entrada.
 Su comportamiento muchas
veces resulta menos
predecible en comparación
con los AFD.
 Requieren un mayor
consumo de recursos
computacionales y de
memoria
 Dificultad en la comprensión
precisa del funcionamiento
del autómata y la
interpretación de los
resultados.
 Necesitan de un análisis más
detallado y un mayor
esfuerzo de
implementación.
Conclusión:
Tanto los autómatas finitos deterministas como los no deterministas, tienden
a tener cierta ventaja a la hora de su flexibilidad y la forma en que se
expresan, pero, también ambos tienen sus desventajas, mas que nada
cuando ambos tienen que ser precisos para generar un resultado lo mejor
posible, esto hace que la comprensión a la hora de realizarlos necesite de una
evaluación que si bien, a veces suele ser extensa, como puede ser realizada
de forma breve, es importante determinar (valga la redundancia), las
limitaciones que estos métodos ofrecen en base al trabajo que queremos
realizar o bien, un problema en específico.

Referencias:
 https://www.cs.buap.mx/~iolmos/propeLogica/4_Automatas1.pdf

 https://fastercapital.com/es/contenido/NFA-vs--DFA--desentranar-las-
diferencias-en-los-modelos-de-automata-finitos.html

 http://ri.uaemex.mx/bitstream/handle/20.500.11799/79998/Tesis-
Version-Final-1.pdf?sequence=1&isAllowed=y