[编译原理-语法分析.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） 结束（2010年3月30日） 上次课程内容回顾 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 上下文有关语言（续） 计数问题 结束 2010年4月1日 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 → T | id | n (12)...(14) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 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 不可能！ 不可能！ 不可能！ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二义文法的优点： ① 比非二义文法容易理解； ② 分析效率高（分析树低，直接推导步骤少）。 对于：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 - Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty L