1、一个文法是规则的非空有穷集匼.常用一个四元组表示定义为G=(VT,VNS,P)其中:
V T:所有终结符的集合
V N:所有非终结符的集合
2、给定一个语言时文法不是唯一的。
3、區别: 直接推导长度=1
即:直接推导?正推导?广义推导
4、若语言L是一无穷集合则描述这个语言的文法一定是递归的。
5、0型文法是最宽松的文法又称无限制文法。2型文法又称上下文无关文法3型文法又称正
6、短语、直接短语和句柄都是针对一个句型而言;短语是句型的某一个孓串--子树叶;
直接短语是某个规则式的右部--简单子树的叶子;最左边的直接短语就是句柄
求:1)G1、G2所产生语言L1和L2的并、连结的文法。
2)G1、G2各自产生语言闭包的文法