第4章.语法的分析.ppt

I5： F→i· I6： E→E+·T 　T→·T*F  　T→·F  　F→·(E)  　F→·i I7： T→T*·F  　F→·(E)  　F→·i  I8： F→(E·) 　 　E→E·+T I9： E→E+T·　 　T→T·*F I10： T→T*F·I11： F→(E)· I0 I5 I2 I4 I3 I1 I11 I8 I6 I10 I7 I9 start E + + i F ( T T F ( i F ( i E ( * * ) + i F I2: E→T. T →T.*F I9: E→E+T. T →T.*F 存在移进-归约冲突 4 状态s 输入符号a i * ( ) # 0 1 2 3 5 6 7 8 9 10 11 S5 S6 S7 r2 r2 r2 r2 acc S4 + LR(0) ACTION表 r2 r2 r1 r1 r1 S7 r1 r1 r1 表中含多重定义 不是LR(0)文法 4.5.3 SLR(1)分析法 若LR(0)项目集规范族中有项目集Ik含移进-归约或归约-归约冲突 Ik={ X→α.bβ,A?γ.，B?δ.} 若FOLLOW(A)∩ FOLLOW(B) =? FOLLOW(A)∩{b}=? FOLLOW(B)∩{b}=? 则解决冲突的SLR(1)技术：对于归约项目向前查看一个符号 ACTION[ k,b ] = 移进 对a ?FOLLOW(A) 则 ACTION[ k,a ] =用A?γ归约 对a ?FOLLOW(B) 则 ACTION[ k,a ] =用B?δ归约 当文法的LR(0)项目集规范族中存在移进-归约冲突或归约-归约冲突，但能用SLR(1)技术解决冲突称此文法为SLR(1)文法 LR(k)分析法通过活前缀来帮助确定句柄 活前缀：规范句型中不含句柄右边任何符号的前缀 规范句型：通过规范推导（规约）得到的句型 前缀：句型的任意首部 如abc的前缀有ε,a,b,ab,abc 4.5.2 LR(0)分析法 例: 文法G[E] E→E+T|T T→T*F|F F→(E)|i 规范句型:E+i*i 活前缀: ?，E，E+i 均为活前缀 LR分析器的工作过程 逐步产生文法的规范句型活前缀的过程 当栈顶形成句柄时，立即进行归约 活前缀与句柄的关系 A→?的右部?已出现在栈顶，可以归约 ①活前缀已含有句柄的全部符号 ②活前缀只含有句柄的部分符号 ③活前缀不含有句柄的任何符号 A→?1?2的右部子串?1已出现在栈顶，正期待从剩余输入串中能看到由?2推出的符号串 期望从剩余输入串中能看到由某产生式A→?的右部?所推出的符号串 ?A→?·?? 为刻划产生式右部符号已有多大一部分被识别，用项目来指示位置 项目:产生式的右部添加一个圆点 ?A→?1·?2 ?A→·? 项目的直观意义: 在分过程中的某一时刻已经规约的部分和等待规约部分 【例4.26】 文法G[S]： S→aS|b 写出其所有的LR(0)项目。 S→·aS S→a·S S→aS· S→·b S→b· 一个产生式对应的项目个数是右部符号长度加1 产生式A→?的项目个数只有一个，即A→·? 项目分为四类 圆点后面是终结符，表示栈内是句柄的一部分，期待从输入串中移进一个符号，以形成句柄。 ①移进项目：A→α·aβ ②待约项目：A→α·Bβ 圆点后面是非终结符的项目，表示栈内是句柄的一部分，为了形成句柄，期待从剩余的输入串中进行归约而得到Ｂ，然后才能继续分析A的右部。 项目分为四类 圆点在最后，表示栈顶的部分内容已构成所期望的句柄，应使用产生式A→α进行归约。 ③归约项目：A→α· ④接受项目：S′→α· 特殊的归约项目，使用产生式S′→α进行归约，表示整个句子已经分析完毕，分析成功，也即输入串为该文法的句子。 文法G[S]拓广后得到文法G[S]： [0] S→S [1] S→aS [2] S→b 0 X 1 3 1 0 4 Y 1 5 1 识别1(0|1)*101的NFA 回顾：有穷自动机——一种识别装置 分DFA和NFA 如何确定规范句型的活前缀 有穷自动机的输入字符：终结符和非终结符 状态转换：每把一个符号进栈，就看成识别过了该符号，进行状态转换。因为LR分析时栈中始终保持是活前缀，所以有穷自动机识别过的符号串也是活前缀。 终态：当识别到可归约前缀（表明在栈中形成句柄），认为到达了识别句柄的终态，执行归约 构造识别活前缀的DFA （1）求出文法的所有项目，按一定规则构造NFA再确定化为DFA （2）直接构造DFA（重点掌握） 有两种方法 构造活前缀的方法一：NFA? DFA （