Is every context-free language representable by a non-deterministic pushdown automata (using empty stack for acceptance) using only one state?
In an NPTEL lecture, a professor said this statement but I am not able to find any source verifying this statement nor I am able to come up with a solution for say, L=(anbn, n>=0), using only one state in npda using empty stack as acceptance. According to me, at least two states are required so that b comes only after a in a string.
NPTEL video (look at 45:00) : https://www.youtube.com/watch?v=q82IcIjS1y8&list=PLbMVogVj5nJSd25WnSU144ZyGmsqjuKr3&index=33