construct pushdown automata that accept each of the following. d) { w | w { a, b } and w has twice as many a s as b s }