grammar classes are conjectured to be powerful enough to model natural languages while remaining efficiently parsable in the general case.

Equivalences

Vijay-Shanker and Weir (1994) demonstrated that linear indexed grammars, combinatory categorial grammar, tree-adjoining grammars, and head grammars are weakly equivalent