【编译原理】文法分类
0型文法
1型文法
左部α中符号数要小于等于β中的符号数
1型文法中不包含空产生式(如果包含空串ε,β为空串的话|β|=0,又因为|α|≥1,前后矛盾)
2型文法
每个产生式的左部都是一个非终结符
3型文法
3型文法是在2型文法的基础上对产生式右部做了限制:
- 右线性文法:产生式右部是
终结符号串
或终结符号串接一个非终结符
- 左线性文法:产生式右部是
终结符号串
或一个一个非终结符接终结符号串
{
对下面蓝框例题解析:
③T定义为a,b,c,d,0,1,2,3,4,5,可看作所有小写字母和数字
④T可看作数字字母串
①S定义为a,b,c,d,可看作S定义为所有小写字母
②S定义为标识符
}
黄框内的内容与蓝框内的文法呈等价关系,都是右线性文法