made easy 2019

Question

consider the folllowing PDA given below where z0 represents stack symbol:

here , even b is getting accepted, so in this n(a) $\ngeqslant$n(b);

shouldn’t the answer be none of these??

Comments

b is getting accepted ? How! For every b , it is popping an a

---

it is written na that b,z0/$\epsilon$

it means if i push b and zo is there on stack then make the stack empty; so b is also getting accepted

am i wrong??

---

You are right @Gate Fever

But I feel they missed something in question 

L(P):{b,ab,aabb,abab,...}

Except 'b' every where else Option C holds

 

---

yes , u are right