1. Automatas finitos
DEFINICION DE AUTOMATA FINITO
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.
Formalmente, un autómata finito es una 5-tupla <Q, Σ, q0, δ,
F> donde:
Q es un conjunto finito de estados;
Σ es un alfabeto finito de símbolos terminales;
q0 es el estado inicial en Q;
δ es la relación de transiciones de la
forma <qi,x,qj> con qi y qj como estados de Q y x, símbolo
de Σ ó puede ser también la cadena vacía;
2. F es el conjunto de estados finales o de aceptación y
(evidentemente) subconjunto de Q.
CLASIFICACION DE AUTOMATAS
Existen dos tipos de autómatas que son:
Finitos deterministas
finitos no deterministas
Finitos deterministas: son aquellos que tienen una
cantidad de procesos limitados, sus elementos son:
*Q: Estados funcionales u operaciones.
*∑: Alfabeto empleado.
*S: Estado inicial.
*d: Reglas de la operación o transición.
Finitos no deterministas: no tienen fin, la tabla tiene 2 o
mas valores o estados., sus elementos son:
*Q: Estados funcionales u operaciones.
*∑: Alfabeto empleado.
*S: Estado inicial.
*d: Reglas de la operación o transición.