Professional Documents
Culture Documents
1
Solutions: For each part we have a transition diagram which is a solution to
the problem. Following each diagram is a discussion of the meaning of the
states of the machine.
In here, In the above NFA, states ‘q0’, ‘q1’, and ‘q2’, it accepts, The set of all strings
ends with 01.
1. δ(q0, 0) = q0 or q1
2. δ(q0, 1) = q0
3. Then, δ(q1, 0) = Null Set
4. Then, δ(q1, 1) = q2 which is final state.
2
The set of strings with “aab” as a substring.
b a,b
a
b
a a Q2 Q3
Q0 Q1