More Related Content
Similar to DFA Minimization
Similar to DFA Minimization (20)
DFA Minimization
- 2. Strings over { a,b } with even number of a ’s * Ea Oa Eb Ob Ob Eb b b b b a a a a [Oa,Ob] [Ea,Eb] [Ea,Ob] [Oa,Eb]
- 3. Strings over { a,b } with even number of a ’s * Ea Oa a a [Ea] [Oa] b b
- 6. Main Idea qi qn qj qm If qm and qn are distinguishable, then so are qi and qj a a
- 7. Example DFA q0 q4 q1 q2 q3 q7 q5 q6 a b a a,b a a,b b b b a b (a u b)(a u b * ) a,b a
- 9. Example DFA showing equivalent states q0 q4 q1 q2 q3 q7 q5 q6 a b a a,b a a,b b b b a b (a u b)(a u b * ) a,b a
![Strings over { a,b } with even number of a ’s * Ea Oa Eb Ob Ob Eb b b b b a a a a [Oa,Ob] [Ea,Eb] [Ea,Ob] [Oa,Eb]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)