implemented unique lexer state (dfa, lalr)