第12讲-语法分析-VII.pptVIP

中国科大 编译原理和技术 大连理工软件学院 胡 彦 huyan.ssdut@ 本讲纲要 活前缀的DFA LR(0)项目集 构建识别活前缀的DFA 什么是活前缀 分析过程中在分析栈里出现的串，被称为活前缀 活前缀可以用一个DFA来识别 练习 文法 本讲纲要 活前缀的识别 LR(0)项目集 构建识别活前缀的DFA LR(0)项目集 由一些LR(0)项目组成的集合 LR(0)项目 在右部的某个地方加点的产生式 例如，对于产生式A?XYZ对应的加点项有 A ? ·XYZ A ? X·YZ A ? XY·Z A ? XYZ· 又例如，对于A??，其加点项有 A ? · 分析过程实例 通过实例来说明加点项含义 分析过程实例 通过实例来说明加点项含义 SLR分析表构造 一般性构造过程 首先对文法进行拓广 添加产生式S’-S 构建识别活前缀的DFA 基于DFA构建分析表 3.5 LR分析器 从DFA构造SLR分析表 状态i从Ii构造，它的action函数如下确定： 如果[A??·a?]在Ii中，并且goto(Ii, a ) = Ij，那么置action[i, a]为sj。 如果[A??·]在Ii中，那么对FOLLOW(A)中的所有a，置action[i, a]为rj,j是产生式 A??的编号。 如果[S??S·]在Ii中，那么置action[ i, $ ]为接受acc。 如果出现动作冲突，那么该文法就不是SLR(1)的。 3.5 LR分析器 从DFA构造SLR分析表 状态i从Ii构造，它的action函数如下确定： . . . 使用下面规则构造状态i的goto函数： 对所有的非终结符A，如果goto(Ii, A) = Ij, 那么goto[i, A] = j。 3.5 LR分析器 从DFA构造SLR分析表 状态i从Ii构造，它的action函数如下确定： . . . 使用下面规则构造状态i的goto函数： . . . 不能由上面两步定义的条目都置为error。 3.5 LR分析器 从DFA构造SLR分析表 状态i从Ii构造，它的action函数如下确定： . . . 使用下面规则构造状态i的goto函数： . . . 不能由上面两步定义的条目都置为error。 分析器的初始状态是包含[S??·S]的项目集对应的状态。 3.5 LR分析器 从文法构造识别活前缀的DFA 1. 拓广文法 E ? ? E E ? E + T | T T ?T * F | F F ?( E ) | id 3.5 LR分析器 从文法构造识别活前缀的DFA 2. 构造LR(0)项目集规范族 I0: E ?? ·E 3.5 LR分析器 从文法构造识别活前缀的DFA 2. 构造LR(0)项目集规范族 I0: E ?? ·E (核心项目) E ? ·E + T E ? ·T (非核心项目， T ? ·T * F 通过对核心项目求闭包 T ? ·F 而获得） F ? ·(E) F ? ·id 3.5 LR分析器 从文法构造识别活前缀的DFA 2. 构造LR(0)项目集规范族 I0: I1: E ?? ·E E ? ? E· E ? ·E + T E ? E· + T E ? ·T T ? ·T * F T ? ·F F ? ·(E) F ? ·id 3.5 LR分析器 从文法构造识别活前缀的DFA 2. 构造LR(0)项目集规范族 I0: I1: E ?? ·E E ? ? E· E ? ·E + T E ? E· + T E ? ·T T ? ·T * F I1 := goto ( I0, E ) T ? ·F F ? ·(E) F ? ·id 3.5 LR分析器 从文法构造识别活前缀的DFA 2. 构造LR(0)项目集规范族 I0: I1: E ?? ·E E ? ? E· E ? ·E + T E ? E· + T E ? ·T T ? ·T * F I2: T ? ·F E ? T· F ? ·(E) T ?T· * F F ? ·id 3.5 LR分析器 从文法构造识别活前缀的DFA 2. 构造LR(0)项目集规范族 I0: I1: E ?? ·E E ? ? E· E ? ·E + T E ? E· + T E ? ·T T ? ·T * F I2: T ? ·F E ? T· F