確率文脈自由文法
ゴールドの定理(1967年)によれば、自然言語の文法を決定的な規則だけで説明すると、正しい例だけでは学習できないとされた。これは1980年に発表された「刺激の貧困」という主張の一部ともなり、ノーム・チョムスキーは1950年代ごろからそのような主張を行っていた。この考え方は心理学的生得主義につながり、自然言語の文法は生まれたときから植えつけられているという考え方につながっていく。この考え方は、主として統率・束縛理論 (GB) やミニマリスト・プログラム (MP) の理論に制限される。
文法とは、言語の構文の説明である。理論的モデルは、精神言語や生成文法に集中している。それとは対照的に、言語の用法を説明する文法を構築すべく構文を研究する立場もある。
形式文法全般に関わる問題として、1つの文章構造に複数の生成規則が対応可能である点が挙げられる。多くの構文を説明しようとすると、衝突が発生しやすくなるため、文法学者は規則の優先順位付けに多大な労力を費やすようになり、最終的にそれが無駄であったことが判明する。