编译原理文法和语言[精选].ppt

§3.4 语法树和二义性 四、文法的二义性 若一个文法存在某个句子对应两棵不同的语法树，则称该句子是二义性的，如果一个文法含有二义性的句子，则称这个文法是二义的。 或者，若一个文法存在某个句子有两个不同的最左（右）推导，则称这个文法是二义的。 §3.4 语法树和二义性 四、文法的二义性 以上是自顶向下来看文法的二义性，我们还可以自底向上来看文法的二义性。语法的二义性意味着句型的句柄不唯一。如句型E+E*i。 E E E + E E * i E E E * E E + i §3.4 语法树和二义性 四、文法的二义性 例：条件语句的语法定义 S?if E then S else S S?if E then S 考察句型if E1 then if E2 then S1 else S2 S if E1 then S else S2 if E2 then S1 S if E1 then S if E2 then S1 else S2 §3.4 语法树和二义性 四、文法的二义性 若文法是二义性的，则在编译时就会产生不确定性，遗憾的是在理论上已经证明：文法的二义性是不可判定的，即不可能构造出一个算法，通过有限步骤来判定任一文法是否有二义性。 现在的解决办法是：提出一些限制条件，称为无二义性的充分条件，当文法满足这些条件时，就可以判定文法是无二义性的。 E E * E i E + E i i §3.4 语法树和二义性 四、文法的二义性 S if E1 then S if E2 then S1 else S2 S if E1 then S else S2 if E2 then S1 E E + E E * E i i i 文法G[P]： P→PaP|PbP|cP|Pe|f 证明文法G是二义性文法。 练 习 句型fbfbfb P b P P b P P f f f P b P P f b P P f f §3.5 有关文法的实用限制 有害规则：形如U→U的产生式。会引起文法的二义性，若有，则删去。 例如存在U::=U， U::= a | b,则有两棵语法树： U a U U a §3.5 有关文法的实用限制 多余规则：指文法中任何句子的推导都不会用到的规则，若有，则删去。 文法中某些非终结符不在任何规则的右部出现，该非终结符称为不可到达。 文法中某些非终结符，由它不能推出终结符号串，该非终结符称为不可终止。 §3.5 有关文法的实用限制 例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为不可到达的非终结符。 §3.5 有关文法的实用限制 有关文法左递归的限制：即要求文法不 含有U→U…或U?U…的产生式。若有， 则删去，因为含有左递归，则不能用自 顶向下的方法来进行语法分析，会造成死 循环。后面将详细介绍。 + §3.5 有关文法的实用限制 文法中不含有空规则U→ε ：因为有的分 析方法（算符优先分析法）中要求没有空 规则，ε规则会使得有关文法的一些讨论 和证明变得复杂。后面将详细介绍。 例：对以下文法G1[S]，构造一个与之等价的文法G2[S]，使G2[S]中的每一个非终结符均能导出一个终结符号串。 G1[S]：S→Bab|cC B→b|bS C→Da D→Cb|CDa 练 习 解：因为从C、D均推导不出终结符号串，所以这两条为多余规则，将其删去，所有含C、D的规则的右部也均应删去。 G2[S]：S→Bab B→b|bS 小 结 　① 本章出现的概念较多,应重点理解文法,推导,句型，句子及语言的定义等概念. 　② 文法作为程序语言的语法的描述工具,它用规则只能陈述的是:语言的所有句子以什麽样的符号串能出现.请记住文法和语言的形式定义中的 形式的含义-只涉及语言的语法不涉及语言的语义.　③ 本章内