という分析が与えられ、次のような、連続し順序付けられた構成素に分析していく書き換え規則によって導出される。括弧()で括られた要素は任意要素である。'^'は範疇の結合を表すものとする。句構造規則は順序付けがなされていない。
書き換え規則の適用は終端記号にたどり着くまで再帰的に適用される。句構造の派生は非終端記号のみからなる記号列、非終端記号と終端記号非終端記号からなる記号列、終端記号のみ非終端記号のみからなる記号列となり、上の文の派生を集合論的に示すと
となる。
再帰性はしばしば人間言語のもっとも根本的な性質として挙げられる。
上の例に受動化変換を適用すると次のようになる。
これに次のような接辞を動詞に添加する変換が適用される：
標準理論.
原理とパラメターのアプローチ.
標準理論までの研究では記述的妥当性の達成が当面の課題とされ、その過程で様々な変形規則が提案された。この時期までは伝統文法との親和性も高かったと言える。しかし、いくつかの点で大幅な転換が必要となっていった。
GB理論における文法の構成は次のような図式で示される。
ミニマリスト・プログラム.
さらに従来から理論の「評価尺度」として取り入れられていた「経済性」の概念を明確化し、それが言語のどのような側面にどのように関わるか、ということを考察対象とする。また、計算の「最適性」ということも明確な問題とされ、その性質が考察されている。
このような流れの中で、「最適な言語のデザイン」という考え方が生まれ、これを帰無仮説として、決定的な経験的基盤なしにはいかなる装置も棄却されるようになった。
このような問題意識の中で説明的妥当性ということに初めて着手できるようになったとされる。そしてこのことは言語の計算体系を他の認知体系や生物学的特性の中に位置づけうる見通しが立ちはじめている。
生成意味論と言語学戦争.
多層的アプローチと単層的アプローチ.
工学で用いられる生成文法.
HPSG.
生成文法への批判.
言語機能の自律性と生得性に対する批判.