Minimización de autómatas AFD que reconoce L = (a|b)*abb P1:= G1{Q5} + G2{Q1,Q2,Q3,Q4} P := {Q5} y (Q1, Q2, Q3) x b G2 y Q4 x b G1 P2 := G1{Q5} + G2{Q1, Q2, Q3} + G3{Q} si Pn ≠ P entonces P :≠ Pn y repite el proceso P := {Q5} + {Q4} y {Q1, Q3} x b G2 y Q2 x b G3 P3 := G1{Q5} + G2{Q4} + G3{Q1, Q3} + G4{Q2} Luego P :≠ Pn, pero Pn ≠ P entonces Pfinal := P y se elige Q1 representa G3 Est a b >Q1 Q2 Q3 Q2 Q3 Q4 *Q5 Est a b >Q1 Q2 Q3 Q4 *Q5 Est a b >Q1 Q2 Q3 Q2 Q3 Q4 *Q5 Est a b >Q1 Q2 Q3 Q4 *Q5 Est a b >Q1 Q2 Q3 Q4 *Q5 Est a b >Q1 Q2 Q3 Q2 Q2 Q4 Q3 Q2 Q3 Q4 Q2 Q5 *Q5 Q2 Q3
Minimizacin de autmatasAFD que reconoce L = (a|b)*abbP1:= G1{Q5}
+ G2{Q1,Q2,Q3,Q4}P := {Q5} y (Q1, Q2, Q3) x b G2 y Q4 x b G1P2 :=
G1{Q5} + G2{Q1, Q2, Q3} + G3{Q}si Pn P entonces P := Pn y repite el
procesoP := {Q5} + {Q4} y {Q1, Q3} x b G2 y Q2 x b G3P3 := G1{Q5} +
G2{Q4} + G3{Q1, Q3} + G4{Q2}Luego P := Pn, pero Pn = P entonces
Pfinal := P y se elige Q1 representa
G3Estab>Q1Q2Q3Q2Q2Q4Q3Q2Q3Q4Q2Q5*Q5Q2Q3Estab>Q1Q2Q3Q2Q2Q4Q3Q2Q3Q4Q2Q5*Q5Q2Q3Estab>Q1Q2Q3Q2Q2Q4Q3Q2Q3Q4Q2Q5*Q5Q2Q3Estab>Q1Q2Q3Q2Q2Q4Q3Q2Q3Q4Q2Q5*Q5Q2Q3Estab>Q1Q2Q3Q2Q2Q4Q3Q2Q3Q4Q2Q5*Q5Q2Q3Estab>Q1Q2Q3Q2Q2Q4Q3Q2Q3Q4Q2Q5*Q5Q2Q3
1Minimizacin de autmatasQ1Q2Q4Q5Q3abbbbbaaaaP1:= {Q5} +
{Q1,Q2,Q3,Q4} P := {Q5} + (Q1, Q2, Q3) x b + Q4 x bP2 := {Q5} +
{Q1, Q2, Q3} + {Q4} P := {Q5} + {Q4} y {Q1, Q3} x b y Q2 x b P3 :=
{Q5} + {Q4} + {Q1, Q3} + {Q2} abQ1Q2Q4Q5abbaab
