1. ¿Cuál es la importancia de los autómatas?

El autómata finito es un modelo formal de un sistema que trabaja con entradas y

salidas discretas. Modela una de las familias de lenguajes de la jerarquía de
Chomsky, lenguajes regulares. Las razones más importantes de su implementación
es el análisis léxico de un compilador que por lo regular se utiliza la simulación de un
autómata finito. El poder de estas máquinas en el contexto de resolución de
problemas es el reconocimiento de patrones.

2. ¿Cuáles son sus aplicaciones?

La teoría de autómatas finitos es basta usada en el diseño de eficientes

procesadores de cadenas. Un ejemplo es la utilización del uso de un autómata finito
para resolver un problema de encontrar una ocurrencia de una cadena en otra, el
analizador léxico analiza los símbolos de un programa fuente para localizar las
cadenas de caracteres que corresponden a identificadores, constantes numéricos,
palabras reservadas, etc. Para esto solo se necesita una cantidad finita de
información. Ejemplo: se supone una fase de construcción del analizador
lexicográfico de un compilador para el lenguaje de programación Pascal. El
autómata acepta aquellas cadenas de entrada que representan un nombre de
variable correcto en dicho lenguaje de programación. Una vez diseñados los AFD es
sencillo escribir un programa que reconozca este tipo de cadenas y las clasifique.

*Bibliografía: