【编译原理】文法分类

0型文法

【编译原理】文法分类


1型文法

左部α中符号数要小于等于β中的符号数

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定义为标识符
}

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

【编译原理】文法分类
【编译原理】文法分类

总结

【编译原理】文法分类