CH3-1.ppt

第三章 语法分析 3.1 语法分析的若干问题 3.1.1 语法分析器的作用 3.1.1 语法分析器的作用（续） 3.1.2 语法错误的处理原则 3.1.2 语法错误的处理原则（续1） 3.1.2 语法错误的处理原则（续2） 3.1.2 语法错误的处理原则（续3） 3.2 上下文无关文法(Context Free Grammar,CFG)3.2.1 CFG的定义与表示 3.2.1 CFG的定义与表示（续1） 3.2.1 CFG的定义与表示（续2） 3.2.1 CFG的定义与表示（续3） 3.2.1 CFG的定义与表示（续4） 3.2.2 CFG产生语言的基本方法－推导 3.2.2 CFG产生语言的基本方法－推导（续1） 3.2.2 CFG产生语言的基本方法－推导（续2） 3.2.2 CFG产生语言的基本方法－推导（续3） 3.2.3 推导、分析树与语法树 3.2.3 推导、分析树与语法树（续1） 3.2.3 推导、分析树与语法树（续2） 3.2.3 推导、分析树与语法树（续3） 3.2.3 推导、分析树与语法树（续4） 结束（2007年3月27日） 上次课程内容回顾 3.2.4 二义性与二义性的消除3.2.4.1 二义性（歧义，Ambiguity） 3.2.4.1 二义性（续1） 3.2.4.1 二义性（续2） 3.2.4.1 二义性（续3） 3.2.4.2 二义性的消除 1 改写二义文法为非二义文法（续1） 例3.10 改写二义文法G3.2为G3.4 1 改写二义文法为非二义文法（续2） 1 改写二义文法为非二义文法（续3） 1 改写二义文法为非二义文法（续4） 2 为文法符号规定优先级和结合性 3 修改语言的语法（表现形式被改变） 3.3 语言与文法简介 3.3.1 正规式与上下文无关文法1 正规式到CFG的转换 2 为什么用正规式而不用CFG描述词法 3.3.2 上下文有关语言（Context Sensitive Language, CSL） 3.3.2 上下文有关语言（续） 计数问题 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) 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 不可能！ 不可能！ 不可能！ 二义文法的优点： ① 比非二义文法容易理解； ② 分析效率高（分析树低，直接推导步骤少）。 对于：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 - 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; 文法的重要作用： 给出精确、易于理解的语言结构说明； 以文法为基础的语言，便于加入新的、或修改、删除旧的语