Construct Pushdown Automata