编译原理05素材.ppt

* 1 改写二义文法为非二义文法（续2） if-then-else和if-then：在一个复合if语句中，可能then多于else，使得else不知与哪个then结合。 一般原则是右结合，即else与其左边最靠近的then结合。 改写文法的根据是将S分为完全匹配（MS）和不完全匹配（UMS）两类，并且在UMS中规定else右结合。 S → if C then S | if C then S else S | id := E (G3.3) C → E=E | EE | EE E → E+E | -E | id | n S → MS (1) | UMS (2) MS → if C then MS else MS (3) | id := E (4) UMS→ if C then S (5) | if C then MS else UMS (6) (G3.5) 再讨论“悬空else”问题 E → E + T | T (10)...(11) T → (E) | -T | id | n (12)...(15) C → E = E | E E | E E (7)...(9) * 1 改写二义文法为非二义文法（续3） if x3 then if x0 then x:=5 else x:=-5 S → MS (1) | UMS (2) MS → if C then MS else MS (3) | id := E (4) UMS→ if C then S (5) (G3.5) | if C then MS else UMS (6) C → E = E | E E | E E (7)...(9) E → E + T | T (10)...(11) T → （E） | -T | id | n (12)...(15) * 1 改写二义文法为非二义文法（续4） S → MS (1) | UMS (2) MS → if C then MS else MS (3) | id := E (4) UMS→ if C then S (5) (G3.5) | if C then MS else UMS (6) if x3 then if x0 then x:=5 else x:=-5 不可能！ 不可能！ 不可能！ * 2 为文法符号规定优先级和结合性 二义文法的优点： ① 比非二义文法容易理解； ② 分析效率高（分析树低，直接推导步骤少）。 对于：id+id*id 为二义文法规定优先级和结合性（YACC的方法）： E : E + E | E * E | - E | ( E ) | id E → E + E | E * E | - E | ( E ) | id E→E+T|T T→T*F|F F→(E)|-F|id %left + %left * %right - * 3 修改语言的语法（表现形式被改变） if x3 then if x0 then x:=5; end if; else x:=-5; end if; ② 给表达式加括号，如Pascal中逻辑和算术运算： (a+b)(c*d) ① 明确给出结束标志，如Ada中用end if，于是有： if x3 then if x0 then x:=5; else x:=-5; end if; end if; if x3 then if x0 then x:=5; end if; else x:=-5; end if; if x3 then if x0 then x:=5; else x:=-5; end if; end if; * 3.3 语言与文法简介 文法的重要作用： 给出精确、易于理解的语言结构说明； 以文法为基础的语言，便于加入新的、或修改、删除旧的语言结构； 有些类别的文法，可以自动生成高效的分析器。 本节从理论的角度对文法进行简单地讨论。讨论建立在形式语言与自动机的理论之上，且仅引用结论而忽略数学的证明，有兴趣的同学可以参阅相关文献。 希望通过本节的讨论，对文法的分类和它们在编译器构造中的作用有一定的了解。 * 3.3.1 正规式与上下文无关文法1 正规式到CFG的转换 推论3.1 正规式所描述的语言结构均可