com0301-02.pptVIP

第三章 语法分析 3.1 语法分析的若干问题 3.1.1 语法分析器的作用 3.1.2 语法错误的处理原则 结束（2005年3月16日） 上次课关于语法分析的内容回顾 3.1.2 语法错误的处理原则（续1） 3.1.2 语法错误的处理原则（续2） 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.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） 3.2.4 二义性与二义性的消除3.2.4.1 二义性（歧义，Ambiguity） 3.2.4.1 二义性（续1） 3.2.4.1 二义性（续2） 结束（2005年3月21日） 上次课程内容回顾 3.2.4.2 二义性的消除 1 改写二义文法为非二义文法（续1） 1 改写二义文法为非二义文法（续2） 1 改写二义文法为非二义文法（续3） 2 为文法符号规定优先级和结合性 3 修改语言的语法（表现形式被改变） 3.3 语言与文法简介 3.3.1 正规式与上下文无关文法1 正规式到CFG的转换 2 为什么用正规式而不用CFG描述词法 3.3.2 上下文有关语言（Context Sensitive Language, CSL） 3.3.2 上下文有关语言（续） 计数问题 3.3.3 形式语言与自动机简介 3.3.3 形式语言与自动机简介（续） 结束（2005年3月23日） 改写二义文法： 文法的重要作用： 给出精确、易于理解的语言结构说明； 以文法为基础的语言，便于加入新的、或修改、删除旧的语言结构； 有些类别的文法，可以自动生成高效的分析器。 本节从理论的角度对文法进行简单地讨论。讨论建立在形式语言与自动机的理论之上，且仅引用结论而忽略数学的证明，有兴趣的同学可以参阅相关文献。 希望通过本节的讨论，对文法的分类和它们在编译器构造中的作用有一定的了解。 推论3.1 正规式所描述的语言结构均可用CFG描述，反之不一定。 ■ 从正规式到CFG的对应关系： 构造正规式的NFA； 若0为初态，则A0为开始符号； 对于move(i,a)=j，引入产生式Ai→aAj； 对于move(i,ε)=j，引入产生式 Ai→Aj； 若i是终态，则引入产生式Ai →ε。 例3.11 从正规式r=(a|b)*abb的NFA构造CFG： A0 → aA0|bA0|aA1 A1 → bA2 A2 → bA3 A3 → ε 经验的方法： A → HT H →ε| Ha | Hb T → abb 分别产生abb的分析树： 词法规则简单，用正规式描述已足够； 正规式的表示比CFG更直观、简洁、易于理解； 有限自动机的构造比下推自动机简单，且分析效率高； 区分词法和语法，为编译器前端的模块划分提供方便。 贯穿词法分析和语法分析始终的思想： 语言的描述和语言的识别是表示一个语言的两个不同侧面，二者缺一不可；（语言、文法、自动机） 用正规式和CFG描述的语言，对应的识别方法（自动机）不同； 一般情况下，正规式适合描述线性结构，如标识符、关键字、注释等； CFG适合描述具有嵌套（层次）性质的非线性结构，如不同结构的句子if-then-else、while-do等。 程序设计语言中除了CFG可以描述的结构之外，还有一些是CFG无法描述的所谓上下文有关的结构。 典型的这类语言结构包括：变量的声明与引用、过程调用时形参与实参的一致性检查等。 描述它们的文法被称为上下文有关文法（Context Sensitive Grammar, CSG）。 L1={ωcω|ω∈(a|b)*} （标识符声明与引用一致性的抽象） L2={anbmcndm|n≥1和m≥1} （形参与实参一致性的抽象） L3={anbncn|n≥1} （计数问题的抽象） 相近的CFL： L1={ωcωr|ω∈(a|b)*} L2={anbmcmdn|n≥1, m≥1} L2={anbncmdm|n≥1, m≥1} L3={ambmcn|m, n≥1} （S→aSa|bSb|c） （S→aSd|aAd A→bAc|bc） （S→A