In this section we'll describe the lexer and parser generation mechanism of Prop. Note that the use of these features is not mandatory: the user can substitute any other lexer/parser generation tools or use hand written lexers and parsers. On the other hand, higher level of integration is possible when using Prop's lexer and parser mechanisms.