First give the Trs for this NFA:

Trs(q1, 0) = {}

Trs(q2, 0) = {}

Trs(q2, 1) = {}

Then give the following Trs for a set of current states:

Trs({q1, q2}, 0) = { }

What are the possible states you end up in after reading 0011 ? Trs*(q1, 0011) = { }

Should 0011 be accepted? Why? **There are no external tools**