lua pushdown automaton simulator