第6讲-语法分析-I.pptVIP

中国科大 编译原理和技术 本讲纲要 回顾 语法分析概述 上下文无关文法 2.3 有 限 自 动 机 2.3 有 限 自 动 机 DFA化简举例 化简下面的DFA DFA化简举例 化简下面的DFA DFA化简举例 化简下面的DFA DFA化简举例 化简下面的DFA DFA化简举例 化简下面的DFA DFA化简举例 化简结果(去除死状态后) DFA构建 DFA构建途径3 重点掌握 其中涉及到的步骤比较多，解决相关问题的时候需要细心 本讲纲要 回顾 语法分析概述 上下文无关文法 第三章 语法分析 本章内容 上下文无关文法 自上而下分析和自下而上分析 围绕分析器的自动生成展开 语法分析的任务 语法分析 目标 线性的词法记号流 = 语法树 实质：无结构的数据转换为有结构的数据 依据 上下文无关语法（描述语法规则） 本讲纲要 回顾 语法分析概述 上下文无关文法 上下文无关文法 主要内容 3.1 上下文无关文法 3.1.1 上下文无关文法的定义 上下文无关文法是四元组（VT , VN , S, P） VT : 终结符集合 VN : 非终结符集合 S : 开始符号 P : 产生式集合， 产生式形式 : A ? ? 3.1 上下文无关文法 例 ( {id, +, *, ?, (, )}, {expr, op}, expr, P ) expr ? expr op expr expr ? (expr) expr ? ? expr expr ? id op ? + op ? * 3.1 上下文无关文法 例 ( {id, +, *, ?, (, )}, {expr, op}, expr, P ) expr ? expr op expr expr ? (expr) expr ? ? expr expr ? id op ? + op ? * 简化表示 E ? E A E | (E ) | ?E | id A ? + | * 3.1 上下文无关文法 上下文无关文法 E ? E A E | (E ) | ?E | id A ? + | * 上下文无关文法 主要内容 3.1 上下文无关文法 3.1.2 推导 把产生式看成重写规则，把符号串中的非终结符用其产生式右部的串来代替。 例 E ? E + E | E * E | (E ) | ? E | id E ? ?E ? ?(E) ? ?(E + E) ? ?(id + E)? ?(id + id) 3.1 上下文无关文法 E ? E + E | E * E | (E ) | ? E | id E ? ?E ? ?(E) ? ?(E + E) 最左推导 E ? lm ?E ? lm ?(E) ? lm ?(E + E) ? lm ?(id + E) ?lm ?(id + id) 最右推导（规范推导） E ? rm ?E ? rm ?(E) ? rm ?(E + E) ? rm ?(E + id) ?rm ?(id + id) 3.1 上下文无关文法 3.1.3 分析树 上下文无关文法 主要内容 二义性 文法的二义性，是指对于符合文法规则的同一个句子，存在两种可能的分析树 3.1 上下文无关文法 3.1.3 二义性 E ? E * E E ? E + E ? id * E ? E * E +E ? id * E + E ? id * E + E ? id * id + E ? id * id + E ? id * id + id ? id * id + id 表达式文法二义性的产生原因 3.2 语言和文法 3.2.4 适当的表达式文法 表达式产生式：E ? E + E | E * E | (E ) | ? E | id 用一种层次观点看待表达式 id * id * (id+id) + id * id + id 3.2 语言和文法 3.2.4 适当的表达式文法 用一种层次观点看待表达式 id * id * (id+id) + id * id + id id * id * (id+id) 3.2 语言和文法 3.2.4 适当的表达式文法 用一种层次观点看待表达式 id * id * (id+id) + id * id + id id * id * (id+id) 文法 expr ? expr + term | term 3.2 语言和文法 3.2.4 适当的表达式文法 用一种层次观点看待表达式 id * id * (id+id) + id * id + id i