lexing with push down automata