Question: Loop on a, b (q0) --------------------a---- > (q1) ----b--- > ((q2)) First give the Trs for this NFA: Trs(q0, a) = Trs(q0, b) = Trs(q1,b)
Loop on a, b
(q0) --------------------a---- >(q1) ----b--- >((q2))
First give the Trs for this NFA:
Trs(q0, a) =
Trs(q0, b) =
Trs(q1,b) =
Then give the following Trs for a set of current states:
Trs({q0, q1}, b) =
What are the possible states you end up in after reading aab?
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
