a
b
1 2 3
90 91
{q0,qq}|
{q,q2,9}| {q1,q3}|U{{q3,q4} {q1q3,q4}
1. Verify NFA language; 2. Verify power states; 3. Verify power state transitions, by illustrating derivation of to-states 4. Simplify equivalent DFA transition states and finalize DFA; 5. Verify DFA acceptability of NFA language
1{qz}
4
92
1{q3} U{q1,q2,93}|U {q4}|F {q,q2q3,94} 93
{0}|Ul{q,q3} Ul{q4} {q1,q3q4}
5 6 7
93 94 90.91
94 94
11{q0q1,q3}
1{qoq,q3,q4}U {q0q1,q2,q}|} {q0q,q2q3,q4} 8 qo,92 {qo,q1,qz,q3,q4}| 1{qo,q1,qz} U{qg,9,qz,qz}l 9 90,93 11{qoqq} {q0,9,92,9394} 0 9094 1{q0qq3,q4} {q0q,92,93,94}| 1 q1,92 11{q1,qz,q3,q4} 1{q1,q2,q3,q4} U{q,q2,q3} 2 91,93 1l{q,qz} 1I{q,93.q4} 3 994 l{qq3,q4} {q1,93,94}| 4 92,93 1I{q,92,93} 1{qq2,q3,q4} 5 92,94 11{q1,qz,q3,q4} 11{91,92,93,94} 6 93,94 11{q3,q4} {q3,q} 7 90,91,92 1{qo.q1,92,93,q4} 1{q0,91,92,93,94} 8 90.91,93 90.91.93 1{q09,92,93,94} 9 qoq1,94 I{q0,q1,q3,q4} {qo,q,qz,q3,q4} 0 90,92,93 1{q0q,q2,93,94} 1{q0992,9394} 1 90.92,94 {q09192,93,94} {q091,92,93,94} 2 90.93.94 {q099394}| {q091q29394} 3 q192,q3 {q1,q2,q3,q4}| {qq2q3,q4}| 4 q92,94 {q1,92,q3,q4} {q1,q2,93,94}| 5 99394 1{q1,q3,94} 1{q93,q4} 6 92,93,94 {q1,92,q3q4}| {q,q2,q3,q4}| 7 9099293 1{9099293,94} 1{q09,9293,94} 8 90.919294 1{q0,91q2,q3,94} 1{q0.919293,94} 9 q0919394 {q0,qq3q4} {qo,q1,92,93,q4} 0 90.92,93,94 {q09,q2,93,94} {qoq1,q2,q3,q}| 1 q1,q2,q3,q {q1,92,93,q4}| {q1,q2,93,q4}| 2 q0919293941{q0992q3,q4} 1{q099293q4}