DEFINICIN

Un autmata finito o mquina de estado finito es un modelo matemtico de un

sistema que recibe una cadena constituida por smbolos de un alfabeto y
determina si esa cadena pertenece al lenguaje que el autmata reconoce.
stos se definen mediante una quntupla (E, Q, f, q0, F ) donde:
E: alfabeto de entrada.
Q: conjunto de estados; es conjunto finito no vaco.
f: funcin de transicin. f(p,a)=q
q0 : (perteneciente a Q) estado inicial.
F : (perteneciente a Q) conjunto de estados finales o de aceptacin.
CLASIFICACIN
Los autmatas se pueden clasificar en:
Deterministas

Cada combinacin (estado, smbolo de entrada) produce un solo estado.

No Deterministas

Cada combinacin (estado, smbolo de entrada) produce varios estados y

adems son posibles las transiciones con .

REPRESENTACIN
Los autmatas se pueden representar mediante tablas de transicin o diagramas
de transicin.
Tablas de transicin:
Filas encabezadas por los estados ( Q )
Columnas encabezadas por los smbolos de entrada ( E)

TABLA

->p

*q

q3

q3
r

r
r

q3

Diagramas de transicin:
Nodos etiquetados por los estados(Q)
Arcos entre nodos etiquetados con ( E)
Q0 se seala con ->
El estado final se seala con * o con doble circulo

Ejemplo: Sea el AFD1 = ({a,b}, {p,q,r}, f, p, {q}) donde f est

definida por:
f(p,a) = q f(p,b) = r
f(q,a) = q f(q,b) = r
f(r,a) = r f(r,b) = r
escribir su tabla de transicin y dibujar su diagrama de transicin.
estados (Q): p, q, r
estado inicial: p
estado final: q
smbolos: a,b
AFD

AFND

http://automatas-finitos.blogspot.mx/