Pushdown automata parser