Question

Loop on a, b at q0

(q0) --------------------a---- à(q1) ----b--- à((q2))

First give the Trs for this NFA:

1. Trs(q0, a) = {}
2. Trs(q0, b) = {}
3. 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? Trs*(q0,aab) = { }

Should aab be accepted? Why? **

Answer 1

If you have queries ask me.

Please give your positive response.