Construct a pushdown automata for {a^2nb^n and n>0}