乔姆斯基文法体系共分为4类：
0型文法：也叫短语结构文法或无限制文法，其描述能力相当于图灵机，可使用任何的语法描述形式；
1型文法：也叫上下文有关文法，其描述能力相当于线性有界自动机，语法形式如下：
xSy -> xAy
也就是说，S推导出A是和上下文x, y相关的，即S只有在上下文x, y的环境中才能推导出A;
2型文法：也叫上下文无关文法，其描述能力相当于下推自动机，语法形式如下：
S -> A
S可以无条件的推导出A，和上下文无关，上下文无关文法因此得名;
3型文法：也叫正则文法，等价于正则表达式，其描述能力相当于有穷自动机，语法形式如下：
S -> Aa
其中最后一个a必须为非终结符。
