生成文法
LAD  ( a ) = A {\displaystyle \operatorname {LAD} (a)=A}
... {\displaystyle \dotsc }
LAD  ( l n ) = L n {\displaystyle \operatorname {LAD} (l_{\operatorname {n} })=L_{\operatorname {n} }}
ここで、言語学者には言語獲得に決定的となる情報の総体(関数LADへの入力=データ)がどのようなものかを知ることはできない。しかし記述的妥当性を備えた文法は出力としての個別言語を知っている。このようなことから、言語獲得において関数LADとそれへの入力は未知であるが、その出力である個別言語を既知として連立方程式を立てることができ、LADはその連立方程式を解くことで求めることができる。LADは、UGの定数である原理と、変数であるパラメータ、及びパラメータの指定方法によって構成されると考えることができる。
多層的アプローチで変換規則を用いる文法は少なく見積もってチョムスキー階層においてタイプ-2文法(文脈自由文法)より強力である。現実のコンピュータに対応するのは制限されたチューリングマシンである線状有界オートマトンであり、これが扱いうるのはタイプ-1文法(文脈依存文法)までである。実際に現在のコンピュータに変換規則を実装しようとすると、可能な組み合わせが指数関数的に増加し、組み合わせ的爆発(計算論的爆発)を起こす場合がある。そこで、1980年代前後より、コンピュータへの実装という観点でより現実的な、タイプ-2文法よりやや強力であるところに押さえた単層的アプローチとしての非変換論的生成文法が提案されている。中でも一般化句構造文法(GPSG)とその発展である主辞駆動句構造文法(HPSG)、TAG(Tree-Adjoining Grammar)などがコンピュータ科学においては変換論的生成文法よりも集中的に研究されている。
標準理論はチョムスキーの『文法理論の諸相』において、SS以降の発展が整理された理論である。カッツ-ポスタルの仮説に基づき、意味は句構造規則で生成された深層構造と呼ばれる表示からのみ解釈され、この深層構造に受動化変形などの変形規則を適用して表層構造が与えられ、この表示が音声への出力となる。すなわち、変形規則で文の意味は変わらないとされた。