第3章 文法和语言(8学时).pptVIP

二义文法 若一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。或者，若一个文法存在某个句子有两个不同的最左（右）推导，则称这个文法是二义的。 产生某上下文无关语言的每一个文法都是二义的，则称此语言是先天二义的。 注：程序设计语言的文法不要二义！ 例：将二义文法改造为无二义文法 G[E]: E → i G[E]：E → T|E+T E → E+E T → F|T*F E → E*E F →（E）|i E → (E) 或规定优先顺序和结合律 改造二义文法 证明文法二义：参见书P.46 例题1 3.6 句型的分析 句型分析 就是识别一个符号串是否为某文法的句型，是某个推导的构造过程。 分析程序 在语言的编译实现中，把完成句型分析的程序称为分析程序或识别程序。 分析算法又称识别算法。 从左到右的分析算法 即总是从左到右地识别输入符号串。 首先识别符号串中的最左符号 进而依次识别右边的一个符号 分析算法分类 自上而下分析法 从文法的开始符号出发，反复使用各种产生式，寻找与输入符号匹配的推导。 自下而上分析法 从输入符号串开始，逐步进行归约，直至归约到文法的开始符号。 两种方法反映了两种不同的语法树的构造过程 自上而下的分析 例20 文法G：S → cAd A → ab A → a识别输入串 cabd 是否该文法的句子。 S S S c A d c A d a b 推导过程：S ? cAd ? cabd 例21 文法G：S → cAd A → ab A → a识别输入串 cabd 是否该文法的句子 S A A c a b d c a b d c a b d 归约的过程：S ? cAd ? cabd 自下而上的分析 句型分析的有关问题 1）如何选择使用哪个产生式进行推导？ 假定要被代换的最左非终结符号是V，且有n条规则：V→A1|A2|…|An，那么如何确定用哪个右部去替代V？ 2）如何确定“可归约串”？ 在自下而上的分析方法中，在分析程序工作的每一步，都是从当前串中选择一个子串，将它归约到某个非终结符号，该子串称为“可归约串”。如何确定“可归约串”？ 引出“句柄”的概念。 短语 文法G[S]， αβδ是G的一个句型，如果： S αAδ且A β 则称β是句型αβδ相对于非终结符A的短语。 直接短语 若有A ?β则称β是句型αβδ相对于规则A→β的直接短语（或简单短语）。 句柄 一个句型的最左直接短语称为该句型的句柄。 短语、直接短语、句柄 * ? + ? E E T T F F i1 * i2 + i3 短语：i1 ,i2 ,i3 ,i1*i2 ,i1*i2+i3 直接短语： i1 , i2 , i3 句柄： i1 例 G[E]：E→E+T|T T→T*F|F F→(E)|i 求句型i*i+i的 短语、直接短语、句柄 3.7 有关文法实用中的一些说明 实际应用中，需要对文法提出一些限制条件。 但这些限制并不真正限制该文法描述的语言。 限制1：文法中不得含有“有害规则” 有害规则：引起文法二义性的规则。如A?A 限制2：文法中不得含有“多余规则” 多余规则：文法中任何句子的推导都用不到的规则。 (1)规则中有不可到达的VN (2)规则中有不可终止的VN 为保证无多余规则，必须满足的两个条件： 1）A必须在某句型中出现。 2）必须能从A推出终结符号串t来。 3.7 有关文法实用中的一些说明 限制3：有些文献规定：不含“空规则”（A?ε）；但有些文献允许“空规则”的出现。 例 化简文法 G[S] ：S→Be B→Ce B→Af A→Ae A→e C→Cf D→f G[S] ：S→Be B→Af A→Ae A→e 练习 1. “符号就是字符”，这种说法正确吗？ A.正确 B.不正确 B 2.文法G[S]：S→A0 S→B1 A→S1 A→1 B→S0 B→0 该文法是Chomsky (1) 型文法，该