AFN Y AFD EJERCICIOS DE MINIMIZACION

Resolución de ejercicios




Minimización del primer autómata:

πo = { pqr , stuv}
a
p → r
q → q
r → p

b
p → t
q → v
r → u

c
p → q
q → p
r → r

a
s* → q
t → t
u → t
v → u

b
s→t
t→v
u→t
v→u

c
s → u
t→ u
u→ v
v→ t

π1 = {pqr , s, tuv} ya no hay más posibilidades de subdividir los estados, entonces la tabla de
transición es:

, Q\Σ a b c
→pqr = A A B A
*s A B B
*tuv=B B B B

Minimización del segundo autómata:
πo = { pq , rst}
a
p → s
q → t

b
p → q
q → p

c
p → p
q → q

a
r* → q
s → s
t → t

b
r→ t
s→t
t→s

c
r→ s
s → s
t→ s

π1 = { pq , r , st} no se puede seguir dividiendo, entonces el autómata mínimo queda:


Q\Σ a b c
→pq = A B A A
*r A B B
*st=B B B B


Minimizar el siguiente autómata: