Lexer problem statement

It defines the token requirements.