NFA Class 3

δ 0 1
->p {q,s} q
*q r {q,r}
r s p
*s - p
 δ 0 1 δ 0 1
->p {q,s} q ->A B C
*{q,s} r {p,q,r} *B D E
*q r {q,r} *C D F
r s p D G A
*{p,q,r} {q,r,s} {p,q,r} *E H E
*{q,r} {r,s} {p,q,r} *F I E
*s - p *G - A
*{q,r,s} {r,s} {p,q,r} *H I E
*{r,s} s p *I G A
2

δ 0 1
->p {p,q} p
q {r,s} t
r {p,r} t
*s - -
*t - -
 δ 0 1 δ 0 1

->p {p,q} p ->A B A

{p,q} {p,q,r,s} {p,t} B C D

*{p,q,r,s} {p,q,r,s} {p,t} *C C D

*{p,t} {p,q} p *D B A
3
 δ 0 1

-> q0 {q0, q1} q1

*q1 q2 q2

q2 - q2
 δ 0 1 δ 0 1

-> q0 {q0, q1} q1 ->A B C

*{q0, q1} {q0, q1, q2} {q1, q2} *B D E

*q1 q2 q2 *C F F

*{q0, q1, q2} {q0, q1, q2} {q1, q2} *D D E

*{q1, q2} q2 q2 *E F F

q2 - q2 F - F
4

Obtain a NFA to accept strings of a’s and b’s ending with

either ab or ba. For this NFA obtain an equivalent DFA
 δ a b

->q0 {q0,q1} {q0,q3}

q1 - q2
*q2 - -
q3 q4 -
*q4 - -
 δ a b δ a b

->q0 {q0,q1} {q0,q3} ->A B C

{q0,q1} {q0,q1} {q0,q2,q3} B B D

{q0,q3} {q0,q1,q4} {q0,q3} C E C

*{q0,q2,q3} {q0,q1,q4} {q0,q3} *D E C

*{q0,q1,q4} {q0,q1} {q0,q2,q3} *E B D