【编译原理】文法分类

0型文法

---

1型文法

（和0型文法的差别就是左部α中符号数要小于等于β中的符号数）

1型文法中不包含空产生式（如果包含空串ε，β为空串的话|β|=0，又因为|α|≥1，前后矛盾）

---

2型文法

每个产生式的左部都是一个非终结符

---

3型文法

3型文法是在2型文法的基础上对产生式右部做了限制：

1. 右线性文法：产生式右部是终结符号串接一个非终结符
2. 左线性文法：产生式右部是一个非终结符接终结符号串

{
对下面蓝框例题解析：
③T定义为a,b,c,d,0,1,2,3,4,5，可看作所有小写字母和数字
④T可看作数字字母串
①S定义为a,b,c,d，可看作S定义为所有小写字母
②S定义为标识符
}

黄框内的内容与蓝框内的文法呈等价关系，都是右线性文法

总结