fácilmente al lenguaje Prolog. Un autómata finito no determinístico es una máquina
abstracta que recibe como entrada una cadena de símbolos y decide si acepta ó rechaza
dicha entrada. El autómata contiene un cierto número de estados y siempre se encuentra
en alguno de ellos; puede además cambiarse de un estado a otro. Su estructura interna
se puede representar con un grafo de transición
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.
Este modelo está conformado por un alfabeto, un conjunto de estados y un conjunto de transiciones entre dichos estados. 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.
No hay comentarios:
Publicar un comentario