四种类型：0型，1型，2型，3型
0型：（短语结构文法）
G=(VT,VN,S,P)，对任一产生式α→β，都α∈(VN∪VT)+， β∈(VN∪VT)*
1型（上下文有关） ：
对任一产生式α→β，都有|β|≥|α|， 仅仅 S→ε除外
（即产生一个更长的序列）
2型（上下文无关）：
对任一产生式α→β，都有α∈VN ， β∈(VN∪VT)*
（满足左边的式子一定是非终结符）
3型（右线性）：
任一产生式α→β的形式都为A→aB或A→a，其中A∈ VN ，B∈VN ，a∈ VT
（满足左边的式子一定是非终结符，右边的式子一定是终结符开头）
二、二义性
如果一个文法的句子存在两棵分析树，则该句子是二义性的。
三、左递归
1、左递归的定义：
对于某些α，存在推导 A =+> A α 这样妨碍自顶向下方法的使用。
2、消除直接左递归的方法
（1）直接删除左递归的产生式（老师上课没讲，我也不清楚是怎么回事orz）
（2）引入新的非终结符A'
将 A → Aα｜β 替换为
A→βA' 和 A'→αA'｜ε
消除直接左递归例子：
3、间接左递归的删除
