Parsing algorithms
Programming language implementation
Earley parser
Syntax
Parsing
Chart parser
Logic
Admissible rule