当代一种语言理论。形成于20世纪70年代末。由英国的盖士达(Gerald Gazdar)、萨格(Ivan A. Sag)、克莱因(Ewan Klein)和美国的普伦(Geoffrey Pullum)创立。其语义部分来源于蒙塔古语法，句法部分来源于早期的转换生成语法。研究的重点在于具体的语法规则。用直属规则来处理成分的从属关系，用线性序列规则来处理成分的先后次序。通过特征体现规则来进一步划分语类，如名词具有[PER]（人称）、[NMB]（数）、[AGR]（一致性）等特征。认为规则系统不仅是一系列规则的总和，而且可进一步加以概括，归纳成生成规则的元规则。各类规则综合起来即构成广义短语结构语法。这种形式语法分析受到计算语言学家的重视。