编译原理与文法和语言 .pptVIP

§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 语法树和二义性 四、文法的二义性 若文法是二义性的，则在编译时就会产生不确定性，遗憾的是在理论上已经证明：文法的二义性是不可判定的，即不可能构造出一个算法