Automatas Finitos Deterministas (AFD)

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Catedr
atico: Ing. Luis Carlos Qui
nonez Baca
Alumno: Eduardo L
opez Guevara

Viernes 5 de septiembre

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Que es un automata?
Un automata es un modelo matematico para una maquina de estados finitos, donde esta toma una entrada para luego saltar a una
serie de estados bajo las ordenes de una funci
on de transicion, la
cual indica a que estado cambiar en funci
on de la entrada.

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Para que sirve un automata?

Si un automata analiza un lenguaje este cambia a diferentes sucesiones de estados para determinar si se aceptan o se rechazan las
cadenas de dicho lenguaje, en donde a las cadenas que permite de
le denomina como el lenguaje valido para dicho automata.

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Automata finito determinista

Sea un lenguaje regular E representado por c (aU bc ) y una cadena

w en donde para confirmar que pertenece al lenguaje debe analizarse
tanto los smbolos como la posici
on de estos.
Para determinar si una cadena esta o no en E se elabora un diagrama
que nos arroje los distintos miembros del lenguaje, este diagrama
recibe el nombre de diagrama de transici
on el cual es muy parecido
a un grafo dirigido

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Diagrama de transicion
Representan los posibles estados que puede tomar y la posicion de
la cadena que se esta analizando, las transiciones de estado estas
estan asociadas a un smbolo del alfabeto que se esta manejando.

Si el siguiente smbolo esta ligado a una transici

on se pasa al estado
a donde nos lleve dicha transici
on y as subsecuentemente hasta
analizar toda la cadena para luego emitir un juicio sobre esta en
donde se acepta o se rechaza.

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Para emitir dicho juicio deben existir estados de aceptacion o estados

finales, es aqu en donde se determina la aceptacion de la cadena,
este estado se identifica con un crculo alrededor del estado y en
caso contrario el estado inicial se identifica con una flecha sin origen
hacia el estado inicial. Ejemplo: El diagrama para n n
umero de as
para n 0 y una u
nica b

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Ahora analicemos la expresi

on regular (ab)+ en esta cadena no contiene a la cadena vaca por lo que debe contener cuando menos una
cadena ab, dicho lo anterior el estado inicial no puede ser de aceptacion, una vez dicho esto existen dos transiciones a partir del estado
inicial una para cada smbolo del alfabeto, entonces la cadena nos
llevara por las transiciones hasta que esta se termine.

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Considerando el caso anterior pero en vez de cerradura positiva sera

cerradura de Kleene

Para representar el diagrama anterior es conveniente identificar los

estados de transicion de la siguiente manera:

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

La tabla producto del grafo plantea que para cada estado actual
y smbolo de entrada, se puede determinar cual sera el siguiente
estado. Esta tabla representa el proceder una maquina que pasa por
estados diferentes, esta maquina recibe el nombre de automata finito
en donde este puede ser determinista o no determinista en funcion
de como se cambia de estado.
Estado/Entrada
q0
q1
q2

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

a
q1
q2
q2

b
q2
q0
q2

Aut
omatas Finitos Deterministas (AFD)

Componentes que definen a un AFD

1.- Un alfabeto de entrada .

2.- Una coleccion finita de estados Q.
3.- Un estado inicial s.
4.- Una colecion F de estados finales o de aceptacion.
5.- Una funcion : Q Q .
Usaremos M=(Q,,s,F , ) definir las caracteristicas del AFD.

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Ejemplo
Sea un AFD que tiene las siguentes caracteristicas:
Q = q0 , q1 , q2
= a, b
s = q0
F = q0

a
b
q0 q1 q2
q1 q2 q0
q2 q2 q2
La funcion se define para todos lo pares de (qi ,) de Q por
lo que siempre habra un u
nico estado siguiente, esto porque esta
completamente definida por (qi ,).
UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Para crear un diagrama de transici

on a partir de la definicion de AFD,
primero creamos y etiquetamos cada nodo, trazamos una arista para
cada qi a qj . Finalmente, se marca el nodo s con una flecha y los
estados de aceptacion con un crculo. Sea M=(Q,,s,F , ), donde:
Q = q0 , q1
= a, b
s = q0
F = q0

a
b
q0 q0 q1
q1 q1 q0

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Ejemplo
Considerando otro ejemplo, el AFD M=(Q,,s,F , ) representado
por:
Q = q0 , q1 , q2 , q3
= a, b
s = q0 , q1 , q2
F = q0

a
b
q0 q0 q1
q1 q0 q2
q2 q0 q3
q3 q3 q3

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)

Broma

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

Aut
omatas Finitos Deterministas (AFD)