编译原理文法__上下文无关文法及其语法树-二义性预案.pptVIP

YTU COMPILER ? 文法二义性 Ambiguity 一个句型是否只对应唯一的一棵语法树? G: E→i | E+E | E*E | E 句型: i*i+i E E + E E * E i i i E E * E E + E i i i 1 . 什么是文法的二义性 如果一个文法存在某个句子对应两棵不同的语法树,则说这个文法是二义的。 或者说,若一个文法中存在某个句子,它有两个不同的最左 最右 推导,则这个文法是二义的。 E E + E E * E i i i E E * E E + E i i i 2 . 二义性的判定 二义性问题不可判定 不存在一个算法, 能在有限步骤内, 确切判定任给的一个文法是否为二义的 二义性: 存在性证明 无二义性: 可以为无二义性寻找一组充分条件 3 . 二义性证明举例 证明以下文法是二义的 G：〈语句〉→ if〈条件〉then〈语句〉 | if〈条件〉then〈语句〉else〈语句〉 | 其他语句 证明: 找到一个句子, 该句子对应两个不同的语法树? G：〈语句〉→ if〈条件〉then〈语句〉 | if〈条件〉then〈语句〉else〈语句〉 | 其他语句 语句 if 条 then 语 语句 if 条 then 语 else 语 if 条 then 语 else 语 if 条 then 语 if c1 then if c2 then s1 else s2 4 .二义性的消除 定义表达式的无二义文法 G : E→ T | E+T T→ F | T*F F→ E | i * 定义条件语句的无二义文法 G: → | → if then else | → if then | if then else 规则: 每个else和最近的尚未匹配的then匹配 if c1 then if c2 then s1 else s2 * 5 . 先天二义的语言 如果产生上下文无关语言的每一个文法都是二义的，则说此语言是先天二义的。 There are some languages, for which no unambiguous grammars can be found. Such languages are said to be inherently ambiguous. * 6 . 文法的二义性和语言的二义性 二者是不同的概念 例如: 两个等价的文法,一个是二义的,一个是非二义的,但产生的语言是相同的 G : E→ E+E | E*E | E | i 二义文法 G : E→ T | E+T 非二义文法 T→ F | T*F F→ E | i 1 . 什么是文法的二义性 2 . 二义性的判定 3 . 二义性证明举例 4 . 二义性的消除举例 5 . 先天二义的语言 6 . 文法的二义性和语言的二义性 * YTU COMPILER *