Pushdown Automata Problems And Solutions