《编译程序设计原理》.pptVIP

第四章：语法分析 第3章主要内容回顾 1、三型语言的等价描述 1) 正规文法RG、正规表达式RE、有限自动机FA(DFA、NFA 、ε-NFA) 2) 正规文法RG?正规表达式 RE 3) 正规表达式RE?正规文法RG 4) 正规文法RG?有限自动机FA 正规表达式r →非确定的有限自动机FA → 确定的有限自动机DFA→ 最小化的DFA 第四章 语法分析 语法分析概述 自顶向下分析方法概述 LL（1）分析方法（预测分析方法） 递归子程序分析方法 算符优先分析方法 LR分析方法 重要概念回顾 推导: αＡβ?αγβ (依据：Ａ→γ) 最左(Left-most)推导——最左分析 左句型 最左推导对应最右归约 最右(Right-most)推导——最右分析 规范推导、规范句型（右句型） 最右推导对应最左归约（规范归约） 二义性(先天二义性语言、二义性文法) 4.1 语法分析概述 语法分析的地位：是编译程序的核心部分。 语法分析器的任务：识别由词法分析给出的单词 序列是否是给定（上下文无关）文法的正确句子。 语法分析的理论基础：上下文无关文法和下推自 动机。 语法分析器的输入：单词序列。 语法分析器的输出：是合法的句子，输出其语法 树，否则，输出出错位置和性质。 语法分析的方式： 自顶向下（递归下降、预测分析) 自底向上（算符优先、LR分析器） 4.1 语法分析概述 下推自动机PDA模型： 4.2 自顶向下语法分析概述 基本思想：从推导的角度看是由识别符号出发，不断建立直接推导，试图构造一个推导序列，最终由它推导出与输入符号串相同的符号串。从语法树的角度看，自顶向下分析过程是以识别符号为根结点，试图向下构造一棵语法树，使其末端结点符号串正好与输入符号串相同。 遇到的问题： 无限循环：当文法中出现左递归时（存在非终结符号U， 对于它有U→U…或U ?+U …），会使分析过 程陷入无限循环。 4.2 自顶向下语法分析概述 遇到的问题： 回溯：如果对于同一个非终结符号，存在若干个规则右部 U→x1|x2|…|xn 在推导过程中要对U展开，那么按哪一个规则右部 展开呢？即如何确定替换U的xj。如果选择错误， 将导致回溯。 解决方法： 消除左递归 避免回溯（限制文法的右部必须满足其SELECT（）不相交） 主要分析方法：递归子程序法、LL（1）方法（即预测分析法）等。 4.2 自顶向下语法分析概述 例4-1：给定上下文无关文法如下，试判断id+id*id是否是该文法所生成的句子。 文法G[E]： E → T E’ E’→ + T E’｜ε T → F T’ T’→ * F T’｜ε F → ( E )｜id 为其生成的最左推导和分析树分别如下： 4.2 自顶向下语法分析概述 最左推导：E ?TE’ E →TE’ ?FT’E’ T →FT’ ?idT’E’ F →id ?idE’ T’→ε ?id+TE’ E’→+TE’ ?id+FT’E’ T →FT’ ?id+idT’E’ F →id ?id+id*FT’E’ T’→*FT’ ?id+id*idT’E’ F →id ?id+id*idE’ T’→ε ?id+id*id E’→ε 4.2 自顶向下语法分析概述 4.3 LL（1）分析方法 基本思想：从左到右扫描源程序，同时从识别符号开始生成句子的最左推导，并且只要向前看一个输入符号，便能确定当前应选择的产生式，由此而得名LL（1）分析方法。当需要向前查看k个输入符号才能唯一确定当前应选择的规则时，则称为LL（k）分析方法。 举例：例4-2，给定文法G[S]如下： ①S→dSA ②S→bAc ③A→dA ④A→c 判断dbccdc是否是该文法所生成的句子。 4.3 LL（1）分析方法 最左推