gate academy

Question

I think S1 is false because, for n=0, no 0’s will be added in stack, but in the transition to the next state  (q2->q3) there is one mandatory 1 canceling out 0 in stack which will be absent in case of n=0. But solutions say S1 is true.

Comments

S1 is correct, we are pushing 0 onto the stack without seeing anything

---

for n=0 q2 → q3 transition will never occur.

both statements are correct.

---

See q1 is also final state, hence null string is also accepted