短语结构文法的分类根据其产生式的不同形式，主要分为四种类型。首先，最自由的类型被称为0型文法，其特点是两端无任何限制，产生的是递归可数语言。这类文法允许无限次的自我引用，例如α─→β的规则。
接下来的分类是根据产生式两端的限制。其中，1型文法，也就是上下文敏感文法，规定了特定条件下的替换规则，如α1Aα2─→α1βα2，非终止符A的前后必须符合α1和α2的限定，才能进行改写。这种文法的典型例子是前面提到的七条产生式规则，它们通过特定的上下文环境生成句子。
2型文法，即上下文无关文法，其产生式形式为A─→β，左端仅包含一个非终止符，右端没有额外的限制。这种文法通过生成树来构造句子，比如"The girl walks gracefully"的导出树。上下文无关文法生成的语言可以被自动机识别，如语言识别器。
3型文法，又称有限状态文法或正则文法，其规则包括A─→ɑB和A─→a，A和B是非终止符，a是终止符。这类文法的产生式限制进一步增强，生成的语言是正则集，包含在上下文无关语言中，且0型文法产生的语言包含了所有这些类型。
总的来说，从0型到3型，文法的复杂度逐渐增加，它们产生的语言集之间存在着包含关系。每种类型的文法都有其特定的生成和识别机制，为语言理论和计算机科学提供了基础工具。
短语结构文法 phrase structure grammar 以结构语言学的直接成分分析法为基础对语言进行定义,从而给予语言中的句子以有用结构的数学系统,又称∑，F文法或乔姆斯基文法，是1957年美国语言学家N.乔姆斯基创立的语言转换生成理论的一部分。