In the above, doesn't it also accepts empty string, and {a} or {b}? I think the answer there is wrong. Correct me if I am wrong.
How is that they took different string here in the second one? z should be same, isn't it?
Is PDA possible here?
Isn't empty allowed?