编译原理chpt4文法和语言分析.pptVIP

* 但也有一些上下文无关语言，它的每一个文法都是二义的，则说此语言是先天二义的。 判定任给的一个上下文无关文法是否二义，或它是否产生一个先天二义的上下文无关语言，这两个问题是递归不可解的。 在编译实践中形成了一些比较实用的技术，可以为无二义性寻找一组充分条件，用于将二义性文法变换为无二义性文法。比如利用优先级规则，左结合或右结合规则和最近嵌套规则等。 G[S]：S-〉if B then S | if B then S else S | A G’[S]：S-〉C | U C-〉if B then C else S | A U-〉if B then S 就近匹配 * §4 句型的分析 句型分析就是识别一个符号串是否为某文法句型的过程。 编译程序中，完成句型分析的模块称为分析程序或识别程序。 两类分析方式： 自上而下分析法：从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导，或者说，为输入串寻找一个最左推导。 自下而上分析法：从输入串开始，进行归约，直至归约到开始符号 不同分析方式反映了语法树的的不同构造过程 * (1) S →cAd (2) A →ab (3) A →a 自上而下的语法分析识别输入串w=cad是否为该文法的句子 若S ? cAd 后选择(2)扩展A，S ? cAd ? cabd 那将会？w的第二个符号可以匹配，但第三个符号却不能匹配 ？宣告分析失败，显然结论错误。 ------错误的选择，导致分析的失败！ 这时应该回朔，把A为根的子树剪掉，输入a退还回去，再用产生式（3）试探 自下而上的语法分析识别输入串w=cabd是否为该文法的句子 对串cabd的分析中，如果不选择ab用产生式(2),而是选择a用产生式(3)将a归约到了A，那么在c A b d中无法找到一个可归约串，最终就达不到归约到S的结果 * 短语、直接短语、句柄 文法G[S]，S αAδ且A β，则称β是句型αβδ相对于非终结符A的短语。若有A ?β则称β是句型αβδ相对于规则 A →β的直接短语。一个句型的最左直接短语称为该句型的句柄 G[E]：E→E+T|T T→T*F|F F→(E)|i 句型：i*i+i 短语： 直接短语： 句柄： E E T T F T F F i1 * i2 + i3 * 归约T ? int T + int | 移进 T + | int 移进 int | * int + int 移进 int * | int + int 移进 |int * int + int E | 归约E ? T + E T + E | 归约E ? T T + T | 移进 T | + int 归约T ? int * T int * T | + int 归约 T ? int int * int | + int E T E + int * int T int T 文法G[E]：E ? T + E | T T ? int * T | int | (E) * 自下而上语法分析的策略：移进-归约分析； 移进就是将一个终结符推进栈 归约就是将0个或多个符号从栈中弹出，根据产生式将一个非终结符压入栈 移进-归约过程是自顶向下最右推导的逆过程（规范归约） 我们如何决定什么时候移进，什么时候归约？ 考虑 int | * int + int 我们可以用 T ? int进行归约，而得到 T | * int + int 致命错误: 无法归约到开始符号 E 直觉: Want to reduce only if the result can still be reduced to the start symbol 一般的移进-归约策略： 若句柄在栈顶出现，则归约 否则移进 * 文法G[S]：(1) S → aAcBe(2) A → b(3) A → Ab(4) B → d a b b c d e 步骤 符号栈 输入符号串 动作 1） # abbcde# 移进 2） #a bbcde# 移进 A 3） #ab bcde# 归约(A→b) 4） #aA bcde#