Context-sensitive grammar
Context-free grammar
Theoretical computer science
Formal grammar
Noncontracting grammar
Controlled grammar
Formal languages
Linguistics
Logic