第2章 文法和语言资料.pptVIP

§2.12 有关文法的实用限制 多余规则：指文法中任何句子的推导都不会用到的规则，若有，则删去。 文法中某些非终结符不在任何规则的右部出现，该非终结符称为不可到达。 文法中某些非终结符，由它不能推出终结符号串，该非终结符称为不可终止。 §2.12 有关文法的实用限制 例：G[Z] ： 1）Z→Aa 2) A→Ca|Bb 3) B→Ba|a 4) C→Cb 5) D→b 多余规则，C为不可终止非终结符 多余规则，D为不可到达非终结符 多余规则 §2.12 有关文法的实用限制 练习：G[S] ： 1) S→Be 2) B→Ce 3) B→Af 4) A→Ae 5) A→e 6) C→Cf 7) D→f 推不出终结符号串，为多余规则 推不出终结符号串，为多余规则。 C为不可终止的非终结符。 D不在右部出现，为多余规则。 D为不可到达的非终结符。 §2.13 文法的分类 Chomsky对文法中的规