Software
ANTLR
Compiler-compiler
Lexical analysis
Model checking
Programming language implementation
Parser generators
Parsing