弱文脈依存言語
下記の4つの文法は同じ弱生成力を持つ事が証明されている (Joshi et al 1994):
木接合文法 (TAG) – Aravind Joshi
Combinatory Categorial Grammar (CCG) – Mark Steedman
Head Grammars (HG) – Carl Pollard
Linear Indexed Grammar (LIG) – Gerald Gazdar
これらの文法の生成力は Weir の Control Language Hierarchy の Level 2 言語クラスに対応する。なお CLH の Level 1 は文脈自由言語であり、この4つのフレームワークが共有する言語クラスは弱文脈依存文法の中でも生成力が一番弱い方にあたる。このクラスの言語は { a n b n c n : n ≥ 0 } {\displaystyle \{a^{n}b^{n}c^{n}:n\geq 0\}} や { a n b n c n d n : n ≥ 0 } {\displaystyle \{a^{n}b^{n}c^{n}d^{n}:n\geq 0\}} の文字列を生成する事が出来る。対応するオートマトンは Embedded Pushdown Automaton (EPDA) である。 この4つフレームワークのうち、特に木接合文法とCCGはこれらを用いてそれぞれまとまった言語学的研究がなされている。(, など)