Ejercicio 3.

Para realizar la minimización del autómata anterior se debe tener en cuenta los estados
aceptadores y no aceptadores.
Δ(A,0) = B Δ(A,1) = C
Δ(B,0) = D Δ(B,1) = -
Δ(C,0) = E Δ(C,1) = -
Δ(D,0) = F Δ(D,1) = D
Δ(E,0) = G Δ(E,1) = -
Δ(F,0) = H Δ(F,1) = O
Δ(G,0) = G Δ(G,1) = J
Δ(H,0) = K Δ(H,1) = I
Δ(I,0) = C Δ(I,1) = J
Δ(J,0) = L Δ(J,1) = I
Δ(K,0) = M Δ(K,1) = D
Δ(L,0) = J Δ(L,1) = I
Δ(M,0) = K Δ(M,1) = D

 Estados aceptadores y no aceptadores.

X = {C, E, F, G, H, K, M}  Estados aceptados
Y = {A, B, D, I, J, L}  Estados no aceptados

Aceptados 0 1
C X -
E X -
F X Y
G X Y
H X Y
K X Y
M X Y
No
0 1
aceptados
A Y X
B Y -
D X Y
I X Y
J Y Y
L Y Y

 Se buscan los estados que son equivalentes en las transiciones de 0 y 1, y se renombran

estos nuevos conjuntos.
q0 = {C, E}
q1 = {F, G, H, K, M}
q2 = {A}
q3 = {B}
q4 = {D, I}
q5 = {J, L}

 Los nuevos conjuntos serán.

q0 = {C, E}  Se puede eliminar E
q1 = {F, G, H, K, M}  Se pueden eliminar G, H, K M
q2 = {A}
q3 = {B}
q4 = {D, I}  Se puede eliminar I
q5 = {J, L}  Se puede eliminar L

 Validar los conjuntos.

q0 0 1
C q0 -
E q1 -

q1 0 1
F q1 q4
G q1 q5
H q1 q4
K q1 q4
M q1 q4

q2 0 1
A q3 q0

q3 0 1
B q4 -

q4 0 1
D q1 q4
I q0 q5

q5 0 1
J q5 q4
L q5 q4

 Nuevamente se buscan los estados que son equivalentes.

a0 = {C}
a1 = {E}
a2 = {F, H, K, M}
a3 = {G}
a4 = {A}
a5 = {B}
a6 = {D}
a7 = {I}
a8 = {J, L}

 Nuevamente se validan los estados que son equivalentes.

a0 0 1
C a1 -

a1 0 1
E a3 -

a2 0 1
F a2 a7
H a2 a7
K a2 a6
M a2 a6

a3 0 1
G a3 a8

a4 0 1
A a5 a0

a5 0 1
B a6 -

a6 0 1
D a2 a6

a7 0 1
I a0 a8

a8 0 1
J a8 a7
L a8 a7

 Nuevamente se buscan los estados que son equivalentes.

b0 = {C}
b1 = {E}
b2 = {F, H}
b3 = {K, M}
b4 = {G}
b5 = {A}
b6 = {B}
b7 = {D}
b8 = {I}
b9 = {J, L}

 Nuevamente se validan los estados que son equivalentes.

b0 0 1
C b1 -

b1 0 1
E a4 -

b2 0 1
F b2 b8
H b3 b8

b3 0 1
K b3 b7
M b3 b7

b4 0 1
G b4 b9

b5 0 1
A b6 b0

b6 0 1
B b7 -

b7 0 1
D b2 b7

b8 0 1
I b0 b9

b9 0 1
J b9 b8
L b9 b8

 Nuevamente se buscan los estados que son equivalentes.

c0 = {C}
c1 = {E}
c2 = {F}
c3 = {H}
c4 = {K, M}
c5 = {G}
c6 = {A}
c7 = {B}
c8 = {D}
c9 = {I}
c10 = {J, L}

 Nuevamente se validan los estados que son equivalentes.

c0 0 1
C c1 -

c1 0 1
E c5 -

c2 0 1
F c3 c9

c3 0 1
H c4 c9

c4 0 1
K c4 c8
M c4 c8

c5 0 1
G c5 c10

c6 0 1
A c7 c0

c7 0 1
B c8 -

c8 0 1
D c2 c8

c9 0 1
I c0 c10

c10 0 1
J c10 c9
L c10 c9

 Tabla de estados del autómata minimizado.

0 1
  A B C
B D -
#C E -
D F D
#E G -
#F H I
#G G J
#H K I
I C J
J J I
#K K D

 Representación gráfica.

Ejercicio 4.
Realizar el autómata a Pila de L = {(a+bn)*}
Para la solución de este ejercicio se inicia del estado q0, en este estado el autómata de pila espera
por un símbolo de entrada, si llega “a” salta al estado q1, en este estado hace la transición al
estado final sin ningún símbolo de entrada y quita de la pila el símbolo Z, pero si posteriormente
entra una nueva “a” coloca en el fondo de la pila el símbolo Z; la otra parte del autómata funciona
de la misma manera, solo que en este caso si recibe una cantidad indeterminada de “b”.
Ejemplos: