![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Teor%25C3%25ADa_de_aut%25C3%25B3matas.svg/langes-640px-Teor%25C3%25ADa_de_aut%25C3%25B3matas.svg.png&w=640&q=50)
Autómata finito
De Wikipedia, la enciclopedia encyclopedia
Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Teor%C3%ADa_de_aut%C3%B3matas.svg/300px-Teor%C3%ADa_de_aut%C3%B3matas.svg.png)
Este modelo está conformado por un alfabeto, un conjunto de estados finito, una función de transición, un estado inicial y un conjunto de estados finales. Su funcionamiento se basa en una función de transición, que recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptación, que representa la salida.
La finalidad de los autómatas finitos es la de reconocer lenguajes regulares, que corresponden a los lenguajes formales más simples según la Jerarquía de Chomsky.