Professional Documents
Culture Documents
(Parte A)
INDICE
a a a b b
Cabeza lectora
Control
Autmata finito
Estado: Inicial
a a a b b
Cabeza lectora
Control
Autmata finito
a a a b b
Cabeza lectora
Control
Autmata finito
Estado: Siguiente a
a a a b b
Cabeza lectora
Control
Autmata finito
Estado: Aceptado
q0 qi1 qin- qF
1
EJEMPLO
EJEMPLO
EJEMPLO (1)
z Construir un AFD para reconocer las cadenas binarias que
tengan un nmero impar de unos.
{Alfabeto de entrada ser: = {0,1}
{Los estados tienen que representar las posibles situaciones:
zLa subcadena leda hasta ahora tiene nmero par de unos q0
zLa subcadena leda hasta ahora tiene nmero impar de unos q1
1
0
q0 q1
0
1
Teora de Autmatas y Lenguajes Formales 27
TEMA 4: AUTMATAS FINITOS
EJEMPLO (1)
z Construir un AFD para reconocer las cadenas binarias que
tengan un nmero impar de unos.
{Alfabeto de entrada ser: = {0,1}
{Los estados tienen que representar las posibles situaciones:
zLa subcadena leda hasta ahora tiene nmero par de unos q0
zLa subcadena leda hasta ahora tiene nmero impar de unos q1
1
0
q0 q1
0
1
Teora de Autmatas y Lenguajes Formales 28
TEMA 4: AUTMATAS FINITOS
EJEMPLO (2)
b
q0 q1
b a
a,b
a,b q2 q3
PROBLEMAS
1 a b c 2 a b c
A A B A A B A A
B B B B B B B B
PROBLEMAS
EJEMPLO
EJEMPLO
1
> q0 q1
0 0 1
0,1 q3 q2 1
0
0 1
1 q0 Q01 Q00
> q0 q1
Q00 q1 Q01 Q00
q2 Q01 Q00
0 0 1 Q01 q3 Q01 Q01
EJEMPLO (2)
Calcular las clases de equivalencia Q/E del AFD:
0
> q0 q1
0
1 1
q2 q3
1 0
0 1
0 q5 0,1
q4
1
EJEMPLO
Minimizar el siguiente AFD:
0
> q0 q1
0
1 1
q2 q3
1 0
0 1
0 q5 0,1
q4
1