Grammar
Formal grammar
Terminal and nonterminal symbols
L-system
Production
Symbol
Generative grammar
Formal languages
Logic
Linguistics