4自顶向下的语法分析技术.pptVIP

自顶向下的语法分析技术 计算机科学系 李静 语法分析 阶段 自词法分析后，编译过程的第二个阶段 任务 对单词序列进行分析，识别出合适的语法单位 方法分类 自顶向下 自底向上 自顶向下分析方法 概念 从开始符号出发，看能否推导出待检查的符号串，如果能，则表明此符号串是该文法的句型或句子，否则就不是。 能否从根结点出发向下生长出一棵语法树，其叶结点组成的句子恰好为输入字符串。 分类 不确定的自顶向下分析方法 确定的自顶向下分析方法 例子：不确定的自顶向下分析 G[S]: S→aAbc|aB A→ba B→beB|d 输入串：abed是否是该文法的句子 特点 不确定的自顶向下分析 出现回溯现象 效率低 编程复杂 例子：确定的自顶向下分析 G[S]: S→aBc|bCd B→eB|f C→dC|c 输入串：aefc是否是该文法的句子 例子 文法G[S]: S → aA|d A → bAS| ε 判断W=abd 特点 确定的自顶向下分析 不会出现回溯现象 效率高 编程简单 怎样才能采用确定的自顶向下分析？ 怎样才能采用确定的自顶向下分析？ LL1文法 相关概念 首符号集 设有G=(VN， V T，P，S)是上下文无关文法 产生式：A→α FIRST(α)={a| α?*aβ} 例子 A→Bp|Ct B→r C→9|23 FIRST(Bp)={？} 练习 已知文法G[S]: S → eT|RT T → DR| ε R → dR| ε D → a| bd 则： FIRST(S)= FIRST(T)= FIRST(R)= FIRST(D)= 后跟符号集 设有G=(VN， V T，P，S)是上下文无关文法 产生式：S→μAβ FOLLOW(A)={a| a ∈FIRST(β)} 例子 A→dBCt B→r C→9|23 FOLLOW(B)={} 练习 已知文法G[S]: S → eT|RT T → DR| ε R → dR| ε D → a| bd 则FOLLOW (R)= 选择集 对上下文无关文法的产生式 A→α 若α不能推出ε，则SELECT(A→α)= FIRST(α) 若α能推出ε，则SELECT(A→α)= FIRST(α)-{ε}∪ FOLLOW(A) 狗的艺术照 狗的艺术照 狗的艺术照 狗的艺术照 狗的艺术照 狗的艺术照 狗的艺术照 狗的艺术照 LL1文法 基本思想 从左到右扫描源程序，同时从开始符号生成句子的最左推导，并且只要向前查看一个输入符号，便能唯一确定当前应选择的规则。 文法满足的条件 无左递归 无回溯 LL1文法的含义 L:从左到右扫描字符串 L:采用最左推导 1:只看右边一个字符 LL1文法的充分必要条件 一个上下文无关文法是LL1文法的充分必要条件是： 对每个非终结符A的不同产生式， A→α， A→β满足 FIRST(A→α)∩ FIRST (A→β)=O 对每个非终结符A的不同产生式， A→α， A→ ε满足 FIRST(A→α)∩ FOLLOW (A)=O 例子:文法的判别 若有文法G[S]: S → aA|d A → bAS| ε 证明这是一个LL1文法 证明： FIRST(S→aA)∩ FIRST (S→d)= FIRST(A→ bAS)∩ FOLLOW(A)= 练习 若有文法G[Z]: Z → (A) A → a| bB B → Aab 判断这是否是一个LL1文法 练习 若有文法G[S]: S → aAS|b A → bA| ε 判断这是否是一个LL1文法 不是LL1文法的原因 在采用确定的自顶向下分析前，首先判断该文法是否是一个LL1文法 如果不是 左公因子 左递归 LL1文法的转换--提取左公因子 左公因子容易产生回溯 提取左公因子法 A → αβ1| αβ2|…| αβn A → α(β1| β2|…| βn) A → αA’ A’= β1| β2|…| βn LL1文法的转换--消除左递归 文法的产生式中含有左递归，容易产生无限循环，应消除 直接左递归 A → Aβ 间接左递归 A → Bβ B → Aα 例子（1） 将文法 S → Sa S → b 改为非左递归文法 答案 S → bS’ S’ →aS’| ε 练习 【复旦大学】将文法G[S] S → Sa|Nb|c N → Sd|Ne|f 改为无左递归的文法 确定的自顶向下分析技术 实现方法 递归子程序法 对每一个语法成分（用非终结符号代表）构成相应的分析子程序，以完成该非终结符所对应的语法成分的分析和识别任务。遇到该语法成分时，调用该程序。语法成分之间不可避免会含有递归，所以分析子程序间也会有递归调用。 子程序 子程序又分为 简单子程序(不调用任何子程序) 嵌套子程序(调用其它子程序；但不调用它本身) 递归子程序(直接或间接