Curso 2008-2009
Prácticas Tema 4
AUTÓMATAS FINITOS
1.- Construir autómatas finitos deterministas que reconozcan los siguientes lenguajes:
L4 = { x ∈ {a,b}* ⏐ x acaba en a }
2.- Construir un AFD mínimo que reconozca las palabras sobre el alfabeto Σ = {a,b,c,d} que
contienen un número par (eventualmente cero) de apariciones de la subcadena bcd.
4.- Construir un AFD mínimo que reconozca el conjunto de los números positivos múltiplos de 3:
a) 003 y 000 son válidas.
b) No son palabras del lenguaje las que tienen ceros no significativos a la izquierda.
Ap
0
1
p1 p3 p5 p7
1 1
0 1 0
0 0 1
p2 p4 p6 p8
1 0 1
0,1
Aq
1
1
1 1
q1 q3 q5 q7
1
0 0 0
1 1 1
0
q2 q4 q6 q8
0
0
0
0
At
1
1 1
1 t6 t7
t1 t4
0
1
1 1 0
0
t2 t3 t5
0
0 0
Ar
0 0
1
0 t
r s x
1
0
1 0
0
1
u w y
1 1
0,1
q1 q3 q6
0 0
0
1 0
q’0 0 q’1
A’
1 1 0
q’3 1 q’2
0
c) Una parte del teorema de minimización consiste en probar que el autómata mínimo es
único salvo isomorfismo. Para ello, si A es un afd, Â el autómata cociente y A’ otro afd
equivalente a A con el mismo número de estados que  , hay que probar que A’ y  son
isomorfos. La función que interviene en este isomorfismo es:
ϕ : Q’ Q/E
q’ ϕ (q’) = [f(qo,x)]
*
∃ x ∈ ∑ ⏐ f ’(q’o,x) = q’
c-1) Describir explícitamente la función ϕ para los autómatas A’ y  de los apartados b) y a).
c-2) Demostrar la parte antes citada del teorema de minimización, i.e. la unicidad del
autómata mínimo, es decir, que la aplicación ϕ es un isomorfismo.
2.- Ver si los siguientes autómatas definidos por su función de transición son o no isomorfos
q0 q1 q2 q3 q4 q5 q6
0 q1 q1 q3 q1 q5 q5 q3
1 q4 q2 q4 q2 q4 q6 q4
p0 p1 p2 p3 p4 p5 p6
0 p6 p2 p2 p5 p5 p6 p6
1 p1 p1 p4 p1 p1 p3 p3
a) Aplicando la definición
b) Minimizando cada uno de los autómatas, y comprobando que los autómatas mínimos son
equivalentes.
(Examen junio 2007)
q0 λ q2 λ q4
a b
a b c d
q1 q3 q5
λ λ
Calcular el autómata finito determinista equivalente.
a d
λ λ λ
q0 q1 q2 q3
λ λ
λ
q4
c b
q5