生成文法（せいせいぶんぽう、）は、ノーム・チョムスキーによって提唱された言語学の理論である。人間の言語能力を、有限の規則や原理から無限の文を生成（産出および理解）する明示的な形式体系として捉え、その体系を記述・説明することを目的とする。
チョムスキーの 『言語理論の論理構造』（The Logical Structure of Linguistic Theory、1955/1975）、 『』（Syntactic Structures、1957）といった著作や同時期の発表を契機として発展した。
概論 チョムスキーによって提唱された生成文法の中心的な仮説は、脳の言語野に損傷を持たない人間は幼児期に触れる言語が何であるかにかかわらず驚くほどの短期間に言語獲得に成功するが、これは言語の初期状態である普遍文法（）を生得的に備えているためである、というものである。生成文法の目標は、定常状態としての個別言語の妥当な理論を構築し（記述的妥当性）、第一次言語獲得における個別言語の獲得が成功する源泉としての初期状態であるUGの特定とそこからの可能な遷移を明らかにする（説明的妥当性）ことである。そして言語を司る「器官」を心/脳のモジュールとし、言語学を心理学/生物学の下位領域とする。
以上のような理論的背景を持つ一方で、形式的には、有限の規則から無限の文を生成（産出および理解）する形式体系を用いて言語を記述することを特徴とする。数学的な「生成」（定義する、列挙するという意味に近い）の概念を用いて形式言語的に厳密な記述を行うため、自然言語処理などの計算機科学の分野にも影響を与えた。なお、チョムスキーによればここでの「生成」という語は、文法が文に対して構造記述を明示的に与えることを意味している。
言語学的には自然言語を対象として広がった分野であるが、前述のテクニカルな面は形式言語との親和性もあり、「チョムスキー階層」などは「形式言語とオートマトンの理論」と呼ばれる数理の分野における基本概念となっている。
生成文法は音韻論、形態論、意味論、言語獲得など一般に扱うが統語論が主となっている。以下では統語論に話題を絞り、他の領域に関してはそれぞれ関連記事を参照されたい。
生成文法のうち、変換を含む言語理論は計算上非現実的として変換を含まない生成文法があり、区別して非変換（論的）生成文法ということがある。
生成文法の基本的考え方 生成文法前史 生成文法以前にアメリカで主流であった言語学は構造主義言語学であった。ヨーロッパにおける構造主義言語学と区別してアメリカ構造主義と呼ばれることもある（ヨーロッパにおける構造主義言語学は、一般にソシュールが祖とされ、いわゆる「近代言語学」とも。なお、単に「構造主義」で特にヨーロッパの側のほうを指すことも多い）。
アメリカ構造主義言語学は、与えられた音声データから一定の手続きに従って音韻論、形態論、統語論と記述を進めるというものであるが、音素や形態素の分類が行われれば一応の目的達成とされるものであった。これはヨーロッパの言語とは系統的に無関係で、アプリオリに分析の方法が与えられていないネイティブ・アメリカンの言語を記述するための方法論として発展してきたことをひとつの大きな契機としている（詳細は構造主義言語学の記事を参照）。
関連事項として、当時の心理学は行動主義心理学の全盛期であり、人間の行動をすべて刺激とそれへの反応が一般化したものと捉え、直接観察可能でない心的現象行動についても観察可能な行動に還元する傾向にあったことがあげられる。心的現象に関わる意味論は心理学のこのような傾向に歩調を合わせる形で優先順位を後にされ、生成文法の萌芽期と時期的に重なる成分分析まで延期されていた。また、アメリカ構造主義は厳格な「科学的方法」を標榜し、科学哲学としては論理実証主義を背景として、客観的に観察・検証可能なデータのみを言語学の対象とした。そのため、直接観察できない「意味」や話者の心理的な側面については、科学的な扱いが困難であるとしてあえて不問に付す傾向にあった。
その結果、アメリカ構造主義においては多くの言語を対象としたデータの膨大な蓄積をもたらしたが、その一方で、言語の普遍的な構造や人間の精神活動としての側面（伝統的言語研究が扱ってきた領域）に関する問いは、研究の対象外とされた。生成文法側からは、こうした姿勢はデータの蓄積があっても言語の本質に対する洞察にはつながらないとして批判された。
生成文法以前の「生成文法」 生成文法は合理論に与し、アメリカ構造主義の経験論に対立する。生得的な知識に関しては古代ギリシアの哲学者プラトンの対話篇『メノン』に現れる数理的知識の議論がある。文法としては古代インドのパーニニによる文典が最古の「生成文法」とされる。チョムスキーが生成文法をデカルト的（cartesian）と冠していることからわかるように、ルネ・デカルトの思想は生成文法に大きな影響を与えている。また、アメリカ構造主義の重要な言語学者とされるレナード・ブルームフィールド、エドワード・サピアの研究に「生成文法」を先取りする考えが含まれている。特に、チョムスキーの師であるゼリグ・ハリスは、文の要素の現れ方を記述する分布分析や、関連する文構造を関係付ける「変形（transformation）」の概念（ただし、チョムスキーの理論における変形とは異なる手続き的なもの）を提唱しており、チョムスキーの初期の研究に直接的な影響を与えた。また伝統的研究に属すると言えるオットー・イェスペルセンの英語の分析は現在においても重要な影響を与え続けている。
言語能力と言語運用 非本質的な要因の関与を排除して理想化をほどこした、個別言語の話者の脳に内在する言語機能を言語能力と呼び、それを利用した、注意力・記憶力の限界、発話意図の変更、物理的制約などの要因の影響を受ける言語使用の側面を言語運用と呼んで区別した。言語能力と言語運用の区別はしばしばソシュールのラングとパロールの区別と対比されるが、これらは社会的側面と個人における実現という区別であり、全く異質なものである。
容認性と文法性 生成文法は、言語現象のあらゆる現われをデータとするが、そこで重要なのは母語話者の判断である。母語話者の判断は、その人が持つ言語の直観を反映するが、そこには様々な要因が組み合わさって現象する。その直観を反映した判断を容認性と呼ぶ。上で述べたような事情から、容認性判断は言語能力を直接反映したものとは言えない。研究の過程で非本質的な要因を除外していくと、最終的に目的としている文法にたどり着くと考えられる。この文法に照らし合わせた構造記述の適格性を文法性と呼ぶ。究極的には、真の文法が得られた場合に限り文法性の評価が可能となる。なお、言語学の慣用として、容認不可能なデータの前に'*'（アステリスク、星印）を、容認不可能とは言えないが許容度のかなり下がるデータの前に'?'を付すことになっている。
生成文法と言語獲得 生成文法は言語獲得を説明することも課題として掲げている。
乳幼児は第一次言語獲得において、生後半年ほどでまわりの大人の話す個別言語の弁別素性（例えば音素）を特定し、一年ほどで多くの音と意味の結びつきを覚える。さらに一語文の時期を経て二語以上の語からなる構造を持った発話を産出するころには、基本的な統語構造をほぼ獲得しているものと見られる。
言語獲得は生得的な初期状態であるUG（普遍文法）から定常状態である個別言語への遷移と理解され、生成文法は、自然言語であればどのような個別言語の状態へも遷移可能なだけ豊かで、第一次言語獲得が短期間になされること、自然言語としてあり得ない言語へと遷移できないことを保障するだけ十分に制限されたUGを特定することを課題の一つとする。この課題を達成する理論を説明的妥当性を備えた理論という。
生成文法以前には、生得的構造を仮定せずに類推によって言語は獲得されると考えられることも多かったが、類推の基礎になるデータがないにもかかわらず、自由に構造が生成されるという事実がある。これはプラトンの問題、言語獲得についての論理的な問題などと呼ばれる。また、幼児はどのようなものが正しいかという情報を得ることができないこと（否定証拠の欠如）も指摘される。
普遍文法の求め方 説明的妥当性を持つ理論は初期状態である普遍文法（UG）の性質を記述する。ではUGの性質を知るにはどのようにしたらよいのであろうか。以下は黒田成幸の説明に基づく。子供は、自分の周りの大人が話す個別言語Lのデータを基にして、Lを獲得する。その際の、データを入力として個別言語を出力とするものを言語獲得装置（language acquisition device、LAD）ということがある。LADを関数とし、そこに入力されるデータをlとすると、言語獲得を次のように定式化することができる。
例えば日本語（J）の獲得、英語（E）の獲得、アラビア語（A）の獲得、...、言語Lnの獲得を次のように表すことができる：
ここで、言語学者には言語獲得に決定的となる情報の総体（関数LADへの入力＝データ）がどのようなものかを知ることはできない。しかし記述的妥当性を備えた文法は出力としての個別言語を知っている。このようなことから、言語獲得において関数LADとそれへの入力は未知であるが、その出力である個別言語を既知として連立方程式を立てることができ、LADはその連立方程式を解くことで求めることができる。LADは、UGの定数である原理と、変数であるパラメータ、及びパラメータの指定方法によって構成されると考えることができる。
変形生成文法の展開 生成文法は1950年代の発足当初から理論の積み重ねを経て今日に至っているが、その積み重ねは小さな修正の集積だけではなく、非常に大きな枠組みの変革も含まれている。巨視的に見ると、生成文法はこれまでに3度の大規模な理論的変革を経験している。概念的・思想的な側面では一貫しているが、議論を進める上での技術的な側面では非常に大きな変更がなされており、変革を期に生成文法の研究を離れる研究者が現れたり、また、変革が起こるたびに「一貫性のない理論である」という批判を受けるなどしてきた。こうした大幅な理論の変革は生成文法の特徴の一つとなっている。
しかし、新たに提示される枠組みは、以前の枠組みで説明されてきたものをメタ的に説明できるようになっており、道具立て自体は破棄されても、それまでの理論的蓄積はより一般化された形で説明される。つまり、生成文法では新たな理論がまったく恣意的に作り出されるのではなく、従来の理論をより一般化するように理論が発展してきている。
生成文法の枠組みの変革は以下のようにまとめられる 規則に基づく枠組み： 言語を産出する規則を網羅する。言語記号列はすべて規則に基づいていて、誤った形は作り出されない。 制約に基づく枠組み： 誤った記号列を排除する制約を立てる。規則は存在せず、記号列は全く任意に組み合わされるが、その中で文法に適合しないものは排除される。 動機に基づく枠組み： 言語を形成する局所的な動機を明らかにする。記号は何も動機がなければ任意に組み合わさったり移動したりしないが、文法的な動機が与えられると局所的に組み合わされてゆき、全体で言語列を形成する。
この理論的変遷を歴史的に見ると以下のようになる。すなわち、当初は考えられる規則を網羅的に記述していたが、規則が増えるに従い体系が煩雑になったため、1970年代の終わりごろから1980年代の終わりにかけて、可能な規則を規定するメタ規則や誤った文を排除する制約が考えられた。これは原理とパラメターのアプローチと呼ばれ、言語は普遍的な有限の原理と個別言語ごとに規定されたパラメターから成ると仮定されている。1980年代の終わりからは、言語を計算とみなし、経済性や最適性に着目した極小主義プログラム（ミニマリスト・プログラム）が提唱された。
句構造規則と変形規則 チョムスキーの初期の著書『』（Syntactic Structures、SS、1957年）では、アメリカ構造主義言語学のIC分析と呼ばれる文の分析方法が句構造規則によって改めて捉えなおされた。
例えば、 A girl liked a boy. という文には [S[NP[D a][N girl]][VP[V liked][NP[D a][N boy]]]] という分析が与えられ、次のような、連続し順序付けられた構成素に分析していく書き換え規則によって導出される。括弧()で括られた要素は任意要素である。'^'は範疇の結合を表すものとする。句構造規則は順序付けがなされていない。 S → NP^VP VP → V^NP NP → (D^)N V → {liked, ...} N → {girl, boy, ...} D → {a, the, my, some, every, ...} 個別言語はSの集合と見なされる。Sは文（sentence）を示唆しており、句構造の派生の端緒となるため始発記号と呼ばれる。NPは名詞句（noun phrase）、VPは動詞句（verb phrase）、Nは名詞（noun）、Vは動詞（verb）である。Detは限定詞（determiner）と呼ばれ、伝統文法でいう冠詞のほか、my, some, everyなどの要素を含む。終端記号は'a', 'girl', 'boy', 'liked'のような語彙項目である。
書き換え規則の適用は終端記号にたどり着くまで再帰的に適用される。始発記号Sから開始し、非終端記号を規則に従って書き換えていく一連の手続きを「派生（derivation）」と呼ぶ。上の文の派生の一例を示すと以下のようになる。
S → NP^VP → D^N^VP → a^N^VP → a^girl^VP → a^girl^V^NP → a^girl^liked^NP → a^girl^liked^D^N → a^girl^liked^a^N → a^girl^liked^a^boy
このように、抽象的な記号列から具体的な語彙列へと段階的に構造が生成される。
となる。 再帰性はしばしば人間言語のもっとも根本的な性質として挙げられる。
ところで、SSではこのように句構造規則を定式化した後、このようなタイプの規則だけでは派生できない構造が指摘された。そのような構造を派生するために、新たに導入されたタイプの規則が変換規則である。変換規則の例として受動変換がある。受動変換はおおむね次のように述べられる： Passivization NP-V-NP 1 - 2 - 3 → 3 - be+en - 2 (- by 1) 矢印の前の部分を構造分析、後の部分を構造変化という。構造分析は変換に関わる要素だけが示される。その要素以外の部分（-で示される部分）にも様々な要素が存在するので、構造分析は連続しない要素同士の関係に言及している。変換によってもたらされた構造は非連続構成素 (discontinuous constituent) を含んでいる。このような構造は文脈自由文法では導けないとされる。またこの点を無視したとしても、能動文と、それに対応する受動文をそれぞれ別の句構造規則によって導出することにした場合、重要な一般性を失うことになる。これら二つの問題を解決する装置として導入されたのが変換規則である。なお変換規則を含む文法はチョムスキー階層におけるタイプ-2文法（文脈自由文法）より強力でなければならない。しかしながら、変換規則なしには自然言語を記述できないとされた。
上の例に受動化変換を適用すると次のようになる。 a girl +PAST like a boy → a boy +PAST be +en like by a girl これに次のような接辞を動詞に添加する変換が適用される： Affix Hopping X-Affix-V-Y 1 - 2 - 3 - 4 → 1 - 3+2 - 4 a boy +PAST be+en like by a girl → a boy be+PAST like+en by a girl
これが音韻部門への出力となり、「be+PAST」は/waz/、「like+en」は/lîke+d/という基底構造に写像される。
標準理論 標準理論はチョムスキーの『文法理論の諸相』において、SS以降の発展が整理された理論である。カッツ-ポスタルの仮説に基づき、意味は句構造規則で生成された深層構造と呼ばれる表示からのみ解釈され、この深層構造に受動化変形などの変形規則を適用して表層構造が与えられ、この表示が音声への出力となる。すなわち、変形規則で文の意味は変わらないとされた。
辞書 ｜ 句構造規則 意味表示 ←→ 深層構造 ｜ 変形規則 音声表示 ←→ 表層構造
原理とパラメターのアプローチ
標準理論までの研究では記述的妥当性の達成が当面の課題とされ、その過程で様々な変形規則が提案された。この時期までは伝統文法との親和性も高かったと言える。しかし、いくつかの点で大幅な転換が必要となっていった。
まず、変形規則の適用を受けた表示で意味解釈をすると考えなければならない現象が出てきたことが上げられる。このような経験的基盤からカッツ-ポスタルの仮説は棄却された。
また、無制限に変形規則が提案される中で、その中に一般性が見出されるものがあること、あり得る変形規則というのは極めて制限されていることなどがわかってきた。Xバー理論はこのような流れの中で提案された理論である。例えばNP（名詞句）は必ずそのhead（主要部）としてNを含み、VP（動詞句）はVを含むといった内心構造に注目し、任意の範疇Xは中間投射X'を経てXPに投射される、という次のようなスキーマにまとめ、句構造規則の中の一般性を抽出した。 XP → (YP) X' X' → X (ZP) それと同時に、'the enemy's destruction of the city' というNPを 'The enemy destroyed the city' というSから派生する変形規則は語彙論者の仮説に基づいて棄却しながらそれらの構造のある共通性を捉えることができるようにした。1980年代後半になると、句構造規則を完全に一般化し、文を補文標識 Comp(lementizer) を主要部とする投射とし、その補部には屈折辞 Infl(exion) を主要部とする投射があり、名詞句も D(eterminer) を主要部とする投射と考えられるようになった。上に挙げた構造はXバー理論の一般化によって次のような構造に捉えなおされる： [CP Comp0 [IP[DP[D a ][NP girl]][I' Infl0 [VP[V liked ][DP[D a ][NP boy ]]]]]]
も、可能な変形規則を制限する方向を進めていった。この帰結として変形規則は、任意の要素を任意の位置へ移動させるMove α（αを移動せよ）というただ一つの変形規則に収斂した。例としてwh移動を取り上げて考えてみよう。次の構造ではCompが極めて近い（局所的）位置である指定部（SPEC(ifier)）がwh要素に占められていることを必要とする。しかしwh要素は要求された位置ではなく、平叙文で動詞に要求される位置と同じ位置に留まっている。 *[CP SPEC [C' Comp0[+wh] ... wh ...
この構造は不適格となる。それを避けるためにはwh要素がCompのSPECの位置に移動すればよい。この際、wh要素があった位置には痕跡(t)が残され、この痕跡が動詞との関係を満たす。
[CP whi [C' Comp0[+wh] ... ti ...
ただし、必要に応じてつねに移動できる、というわけではなく、境界理論によって制限される。次の例は移動によって[+wh]Compが要求する位置を占めているものの、移動が別のwh要素を越えて適用されている。wh要素はwh島という規則適用に対する不透明領域（opaque domain）を形成するため、このような規則適用は適格性の度合いを低くする：
??[CP whi [C' Comp0[+wh] ...[CP wh [C' Comp0[+wh] ... ti ...
このような枠組みでは、個別に「wh移動」という変換規則を立てるのではなく、任意の要素を任意の位置へ移動させる Move α が、一般的な原理（この場合は「下接の条件」や「最小性」など）による制約を受けながら適用される、というように捉えなおされる。
このような進展に伴い、説明的妥当性を満たす理論の構築が研究課題として浮上してきた。ここに説明的妥当性、すなわち第一次言語獲得における重要な事実を捉えられるだけ十分に制限された理論が必要であるという要請と、記述的妥当性、すなわちそれまでの研究で明らかになった個別言語の多様性を捉えるに足る変異幅を持った理論が必要であるという要請の間に強い緊張関係が生まれた。これを捉えようとして1970年代末以降整備されてきた枠組みが（GB理論）であり、より一般的には原理とパラメターのアプローチである。
GB理論における文法の構成は次のような図式で示される。 辞書 ｜ 語彙挿入 D構造 ｜ ''Move α'' S構造 <---> PF ( form) ｜ ''Move α'' LF（logical form）
表層構造が、PFと呼ばれる音声表示とLFと呼ばれる意味表示に結びついている、というモデルに変更された。また深層心理などの連想で誤解を呼んだ深層構造・表層構造といった用語が避けられ、位置づけの変更に伴ってD構造、S構造という名称が与えられた。この枠組みにおいて統語論における比較研究、対照研究が加速した。
ミニマリスト・プログラム ミニマリスト・プログラム（極小主義プログラム、最小主義プログラムともいう）は、原理とパラメターのアプローチの中でチョムスキーの1980年代末の講義及び論文から徐々に形成されていった研究の方針である。「極小主義者のテーゼ」（自然法則は無駄がない）に照らし合わせ、言語機能独自の装置と考えられるものを限りなくそぎ落としていき、必要最低限のものしか残さなかった場合、言語とはどのようなものになるか、ということを考えようという問題意識である。
まず音声の聴覚像、手話の視覚像、意味の三者をなくすと研究が不可能になるため、感覚-運動系と概念-意図系へのインターフェースに関わる条件は最低限必要である。これ以外に何が必要か。計算対象となる要素同士を結合する操作（併合）は必要であるが、それ以外はどうしても必要だという根拠がないかぎり採用しない、という原則をとる。
さらに従来から理論の「評価尺度」として取り入れられていた「経済性」の概念を明確化し、それが言語のどのような側面にどのように関わるか、ということを考察対象とする。また、計算の「最適性」ということも明確な問題とされ、その性質が考察されている。
このような流れの中で、「最適な言語のデザイン」という考え方が生まれ、これを帰無仮説として、決定的な経験的基盤なしにはいかなる装置も棄却されるようになった。
ミニマリスト・プログラムにおける統語計算は、語彙項目が持つ「素性（Feature）」によって駆動されると考える。素性には、解釈可能な素性（例：名詞の持つ[+N]や、[3人称]、[複数]など）と、解釈不可能な素性（例：動詞が要求する主語の[格]素性など）があり、後者（解釈不可能な素性）は、計算の過程で他の要素の素性と「一致（Agree）」の関係を結び、評価（あるいは削除）されなければならない。この解釈不可能な素性を削除する（あるいは適格な統語対象を形成する）という要求が、統語操作の「動機」となる。
基本的な操作は「併合（Merge）」であり、二つの統語対象（A, B）を結合して新たな統語対象（{A, B}）を形成する。GB理論における「移動（Move）」は、この併合の特殊なケース（すでに構築された構造の内部にある要素Aを、その構造の（典型的には主要部の）姉妹となる位置に再び併合すること）として、「内部併合（Internal Merge）」と再定義された。
このようなプログラム遂行の中で今まで用いていた概念が大部分省略されることになった。例えばXバー理論は余分な句構造標識を記法として含んでいたが、主要部の選択関係と句構造構築の経過だけ見れば十分という素句構造（bare phrase structure）のもと、表示の経済性という観点から、余剰的となったXP、X'といった投射を表すための記号はすべて取り除かれた。また「統率」「束縛」というGB理論を特徴付けていた概念も、徹底的な検証によって別のものに置き換えられるか、取り除かれるかされている。
レクシコンと統語部門のインターフェイスとして派生の端緒を成していたD構造も解体され、派生の端緒としてはかつてのサイクルに相当するフェイズ（相）毎に語彙の小分けがなされたLA（語彙配列）、あるいはそれを行わないニューマレーションに置き換えられた。
このような問題意識の中で説明的妥当性ということに初めて着手できるようになったとされる。そしてこのことは言語の計算体系を他の認知体系や生物学的特性の中に位置づけうる見通しが立ちはじめている。
生成意味論と言語学戦争 1970年代までには、意味部門に変形規則を適用して直接表層構造に写像する生成意味論の研究が展開された。この理論は統語論で扱うべき対象を数多く供給したが、解釈意味論との間に激しい論争（言語学戦争と呼ばれている）の末、主流派の理論としては受け入れられなかった。かつては、解釈意味論が理論的に優れていたために生成意味論は棄却されたとの見方が一般的であったが、ランディ・アレン・ハリス（）やジョン・ゴールドスミス（）らによる科学史的な再評価によって、この論争には当時の政治的・社会的な側面や研究者の人間関係も関わっていたことが明らかにされているRandy Allen Harris (2021) The Linguistics Wars: Chomsky, Lakoff, and the Battle over Deep Structure (2nd Edition). Oxford University Press.Geoffrey J. Huck and John A. Goldsmith (1995) Ideology and Linguistic Theory: Noam Chomsky and the Deep Structure Debates. Routledge.。生成意味論の研究者の一人であるジョージ・レイコフらは後に認知言語学を提唱し、生成文法に対する有力な批判的潮流の一つとなっている。
生成文法は他のいくつかの理論と対立してきた。生成意味論との論争はその最大のものである。しかし、対立した理論を常に完全に否定するわけではなく、対峙する理論の優れた点を自己の理論に取り込むということもしばしば行われている。たとえば、原理とパラメターのアプローチにおける原理の一つであるθ理論は、フィルモアの提示する格文法における深層格（意味役割）を参考にしている。また、ミニマリスト・プログラムにおいて、ますます重要性を増すLFも、その元となるアイディアは生成意味論が多く寄与している。その他、併合と素句構造は範疇文法やHPSGに見られる単一化（unification）に相当する。
多層的アプローチと単層的アプローチ 生成文法には、基底となる構造に対して変換を用いて表層的な構造を得るという多層的アプローチ（multi-stratal approach）と、変換を用いず同一の構造内での計算によって構造を得るという単層的アプローチ（mono-stratal approach）という2つのタイプがある。チョムスキーのアプローチは前者に相当する。
工学で用いられる生成文法