版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、 LR分析法是一种自下而上进行规范归约的语法分析方法。 这里L是指从左到右扫描输入符号串。R是指构造最右推导的逆过程。 这种分析法比递归下降分析法、预测分析法和算符优先分析法对文法的限制要少得多。 大多数用无二义性大多数用无二义性上下文无关文法描述的语言都可以用上下文无关文法描述的语言都可以用LR分析法进行有效的分析分析法进行有效的分析, 而且这种分析法分析速度快,并能准确及时地指出输入串的语法错误和出错的位置。 但是,这种分析法有一个主要缺点,那就是对于一个语言的文法,构造LR分析器的工作量相当大,具体实现较困难。 也就是说, 对于 因此,目前对于真正实用的编译程序,采用构造 LR 分析器的
2、专用工具“ YACC ” (见附录) 自动地构造出 LALR(1) 语法分析器。 本 章主要介绍LR分析法的基本思想和LR(0)、SLR(1) 、LR(1) 、LALR(1)分析器的工作原理和构造方法。 LR分析法的基本思想分析法的基本思想:LR分析法是一种规范归约分析法。 规范归约分析法的关键是在分析规范归约分析法的关键是在分析过程中如何确定分析栈栈顶的符号串过程中如何确定分析栈栈顶的符号串是否形成句柄。是否形成句柄。 LR分析法确定句柄的基本思想基本思想是在规范归约分析过程中,根据分析栈中记录的已移进和归约出的整个符号串(即历史)和根据使用的规则推测未来可能遇到的输入符号(即展望)以及现实
3、读到的输入符号这三个方面的信息来确定分析栈栈顶的符号串是否构成句柄。 LR分析器的逻辑结构分析器的逻辑结构一个LR分析器的逻辑结构示意图如下图所示。 它由分析栈、分析栈、 分析表分析表和总控程序总控程序3个部分组成。 总控程序LR分析表a1 ai am$SmXm$S0X1S1分析栈输出 分析栈用来存放分析过程中的历史和展望信息。 LR分析法将历史和展望信息抽象成状态,并放在分析栈中,这就是说分析栈分析栈中的每个状态概括了从分析开始到某一中的每个状态概括了从分析开始到某一归约阶段的整个分析历史和对未来进行归约阶段的整个分析历史和对未来进行的展望。的展望。 1. 分析栈对此,下面用一个简单例子来说
4、明。 例如,对文法GE: EE+T| TTT*F | FF(E) | id 状态Sm不仅表征了从分析开始到现在已扫描过的输入符号被归约成$ET,而且由Sm可以预测,如果输入串没有语法错误,根据归约时所用规则(非终结符T的规则)推测出未来可能遇到的输入符号仅是中的任意一个符号。 FOLLOW(T)=+,*,),$SmTE$+S0S1分析栈示意图 它们都是二维数组。 LR分析表是LR分析器的核心部分。 一张LR分析表由和 两部分组成, 状态转换表元素GOTOSi , X规定了当状态Si面临文法符号X时,应转移到的下一个状态。 2. LR分析表 分析动作分析动作(ACTION)表表状态转换状态转换(
5、 GOTO )表表见表 分析动作表元素ACTIONSi , a规定了当状态Si面临输入符号a时应执行的动作。 分析动作表对应四种可能动作: 移进移进:把状态Sj=GOTOSi , a和输入符号 a移入分析栈。归约归约:当栈顶符号串形成句柄,且文法中 有A的规则,其中|=,则归约 动作是从分析栈栈顶去掉个文法符 号和个状态,并把归约符A和 GOTOSi- ,A=Sj移入分析栈中。 见表接受接受(acc): 表示分析成功。此时,分析栈 中只剩文法开始符号S和当前读到的 输入符号是$。即输入符号串已经结 束。 报错报错:表示输入串含有错误,此时出现栈顶 的某一状态遇到了不该遇到的输入符 号。 见表总
6、控程序也称为驱动程序。 总控程序从左至右扫描输入符号串,并根据当前分析栈中栈顶状态以及当前读到的输入符号按照LR分析表元素所指示的动作完成每一步的分析工作。 3. 总控程序 对所有的LR分析器其总控程序是相同的。总控程序算法总控程序算法:输入:输入串W和LR分析表。 输出:若W是句子,得到W的自下而上 分析成功,否则输出错误信息。 ( LR分析器的工作过程的形式化描述 )算法:初始化时,初始状态S0在分析栈 栈顶,输入串W$的第1个符号读 入a中。 ; ) ( error)a,( ERRORSACTIONifelse=)a,( rSACTIONifelsej=)a,( SSACTIONifi=
7、)!a,(accSACTIONwhile= a a i中;将下一个输入符号读入进栈;和输入符号将状态 SA,SGOTOA S | Aj = 进栈;和,将当前栈顶状态为个输入符号退栈;个状态和将归约:条规则用第aaa状态ACTION a b c d $GOTOS A B678910 S8 r6 r6 r6 r6 r6 S10 r3 r3 r3 r3 r3 r5 r5 r5 r5 r5012345 S4 S5 S6 acc S4 S5 S6 r4 r4 r4 r4 r41 2 37 9 r2 r2 r2 r2 r2 r1 r1 r1 r1 r1返回返回返回 LR(0)分析就是在分析的每一步,只需根
8、据当前栈顶状态而不必向前查看输入符号就能确定应采取的分析动作。 LR分析器的关键部分是分析表的构造。 构造LR分析表的基本思想是: 从给定的上下文无关文法直接构造识从给定的上下文无关文法直接构造识别文法所有规范句型活前缀的别文法所有规范句型活前缀的DFA,然后,然后再将再将DFA转换成一张转换成一张LR分析表分析表。 为了给出构造LR分析表的算法,需要定义一些重要的概念和术语。 文法规范句型的活前缀 1. 字符串的前缀是指字符串的任意首部。 例如,字符串abc的前缀有,a,ab,abc。 2. 规范句型活前缀是指规范句型的前缀,这种前缀不包含句柄右边的任何符号。 注意,活前缀可以是一个或者是若
9、干个规范句型的前缀。 例 1 设文法G为: 0. SS1. SA2. SB3. AaAb4. Ac5. BaBb6. Bd句型aaAbb的前缀、规范句型活前缀 LR(0)项目项目 由活前缀定义可知,在一个规范句型的活前缀中,绝不含有句柄右边的任何符号。因此,活前缀与句柄之间的关系有下述三种情况: 活前缀中已含有句柄的全部符号,表明此时某一规则A的右部符号串已出现在栈顶,其相应的分析动作是用此规则进行归约。 活前缀中只含有句柄的一部分符号,此时意味着形如 A12 规则的右部子串1已出现在栈顶,2正期待着从余留的输入串中进行归约得到。 活前缀中全然不含有句柄的任何符号,此时意味着期望从余留输入串能
10、看到由某规则 A 的右部 所推出的符号串。 为了刻画在分析过程中, 文法的一个规则右部符号串已有多大一部分被识别,我们可在文法中每个规则右部适当位置上加一个圆点来表示。针对上述三种情况,标有圆点的规则分别为: AA 1 2A 我们把文法G中右部标有圆点的规则称为G的一个LR(0)项目。 值得注意的是对空规则 A,仅有LR(0)项目A 。 文法G的全部LR(0)项目是构造识别文法所有规范句型活前缀的DFA的基础。我们将会看到这种DFA的每一个状态和有穷个LR(0) 项目的集合相关联。 一个LR(0)项目指明了对文法规范句型活前缀的不同识别状态, 由于不同的LR(0)项目反映了在分析过程中栈顶的不
11、同情况,因此,我们可以根据圆点位置和圆点后是终结符还是非终结符,将一个文法的全部LR(0)项目进行分类。 直观上说,LR(0)项目分类如下:归约项目归约项目 移进项目移进项目 待约项目待约项目 接受项目接受项目 归约项目归约项目,形如A,其中(VNVT)*,即圆点在最右端的项目,它表示一个规则的右部已分析完, 句柄已形成,应该按此规则进行归约。 移进项目移进项目,形如A a,其中, (VNVT)* ,即圆点后面为终结符的项目, 它表示期待从输入串中移进一个符号,以待形成句柄。 待约项目待约项目,形如A B,其中, (VNVT) * , B VN*,即圆点后面为非终结符的项目,它表示期待从余留的
12、输入串中进行归约得到B,然后分析A的右部。 接受项目接受项目,形如SS ,其中S为文法的开始符号,即文法开始符号的归约项目。 S为左部的规则仅只有一个,它是归约项目的特殊情况,它表示整个句子已经分析完毕,可以接受。 构造识别文法所有规范句型活前缀构造识别文法所有规范句型活前缀DFA的方法的方法 : 在这个项目集中,所有的LR(0)项目识别的活前缀是相同的,我们可以利用闭包函数(CLOSURE)来求DFA一个状态的项目集。 对于构成识别文法规范句型活前缀DFA的每一个状态是由若干个LR(0)项目所组成的集合,称为LR(0)项目集 , 为了使“接受”项目唯一,我们总对文法G进行拓广。假定文法G的开
13、始符号为S,在文法G中引入一个新的开始符号S,并加进一个新的规则S S,从而得到文法G的拓广文法G。 (1) 定义闭包函数定义闭包函数 设I是拓广文法G的一个LR(0)项目集,定义和构造I的闭包CLOSURE(I)如下: I中的任何一个项目都属于 CLOSURE(I)。 (b) 若A B属于CLOSURE(I), 则每一形如 B 的项目 也属于CLOSURE(I)。 (c) 重复(b)直到CLOSURE(I)不再增 大为止。例如,对例1中的文法 令I=SS ,则即为初态的项目集I0 CLOSURE(I)SS, SA, SB, AaAbAc, BaBb, Bd0. SS1. SA2. SB3.
14、AaAb4. Ac5. BaBb6. Bd= 有了初态的项目集之后,如何求出对于文法符号X可能转移到的下一个状态的项目集? (2) 定义状态转移函数定义状态转移函数GO 设I是拓展文法G的任一个项目集,X为一文法符号,定义状态转移函数GO(I,X)如下: GO( I , X )=CLOSURE( J )J=AaX | AaX I例如:初态的项目集GO(I0 , S )=CLOSURE(SS )= SS =I1GO(I0 , a )=CLOSURE(AaAb , BaBb)= AaAb , AaAb , Ac BaBb , BaBb , Bd =I4 SS , SA , SB, AaAb , A
15、c ,BaBb , Bd I0= 通过闭包函数(CLOSURE)和状态转移函数(GO)很容易构造出文法 G 的识别文法规范句型活前缀的DFA。 (3) 构造识别文法规范句型活前缀构造识别文法规范句型活前缀DFA的方法的方法 : (a) 求CLOSURESS,得到初态 项目集。 (b) 对初态项目集或其它已构造的项 目集,应用状态转移函数GO(I,X) 求出新的项目集(后继状态)。 (d) 转移函数GO建立状态之间的连 结关系。 对前例中的文法,构造识别文法所有规范句型活前缀的DFA如下图所示:(c) 重复(b)直到不出现新的项目集 (新状态)为止。 0. SS1. SA2. SB3. AaAb
16、4. Ac5. BaBb6. BdSSSASBAaAbAcBaBbBdI0:I1: SSI2: SAI4:AaAbAcBaBb BdAaAbBaBbI5: AcI6: Bd识别文法G活前缀的DFASABacdcdaI3: SBI7: AaAbI8: AaAbI9: BaBb识别文法G活前缀的DFAI10: BaBbbbABaSSSASBAaAbAcBaBbBdI0:I1: SSI2: SAI4:AaAbAcBaBb BdAaAbBaBbI6: BdSABacdcdI3: SBI5: Ac 注意,DFA中的每一个状态都是终态,当M到达它们时,识别出某规范句型的一个活前缀,对那些只含归约项目的项目
17、集,如I2、I3、I5 、 I6、I8、I10,当M到达这些状态时,表示已识别出一个句柄,这些状态称为句柄识别态句柄识别态。 当M处于状态I1时,M识别的活前缀为S,表示输入串已成功分析完毕,用SS进行最后一次归约,称状态为接受状态接受状态。 构成识别一个文法活前缀的DFA的状态(项目集)的全体称为这个文法的LR(0)项项目集规范族目集规范族。 (4) LR(0)分析表的构造分析表的构造 : 若一个文法G的拓广文法G的LR(0)项目集规范族中的每个项目集不存在移进项目和归约项目同时并存或多个归约项目同时并存,则称G为LR(0)文法。 I7: AaAbI8: AaAbI9: AaBb识别文法G活
18、前缀的DFAI10: BaBbbbABaSSSASBAaAbAcBaBbBdI0:I1: SSI2: SAI4:AaAbAcBaBb BdAaAbBaBbI6: BdSABacdcdI3: SBI5: Ac 对LR(0)文法,构造LR(0)分析表的算法如下: 输入:识别LR(0)文法G规范句型活 前缀的DFA 输出:文法G的LR(0)分析表 方法:用整数 0, 1, 2, ,n 分别表示 状态 I0, I1, I2 , In, 令包含项目 SS 的集合 Ik 的下标为分析 器的初始状态。 若项目Ax属于 Ik, 且转换函数 GO(Ik , x)=Ii , 当 x 为终结符时,则置ACTIONk
19、, x=Si。2. 当 x 为非终结符时,则置 GOTOk, x=i。 见图见图见表见表3. 若项目A属于Ik ,则对任何终 结符和结束符$(统一记为a)则置 ACTIONk, a=rj (假定A为文法的第j条规则) 见图见表0. SS1. SA2. SB3. AaAb4. Ac5. BaBb6. Bd5. 分析表中凡不能用规则1至4填入信 息的元素均置为“出错标志”,为了 分析表的清晰,仅用空白表示出错 标志。 4. 若项目SS 属于Ik,则置 ACTIONk, $=acc。 见图见表见表 根据上述方法构造的LR(0)分析表不含多重定义时,称这样的分析表为LR(0)分析表,能构造LR(0)分
20、析表的文法称为LR(0)文法。 例2 考虑文法GS: (1) 构造识别文法规范句型活前缀的DFA(2) 判断该文法是否LR(0)文法,若是, 请构造LR(0)分析表,若不是,请说 明理由。S(S) | a分 析:首先将文法拓广,并给出每条规则编号0. SS1. S (S)2. S a识别文法规范句型活前缀的DFA如下图所示 :I0:SSS (S)S aI2:S (S)S (S)S aI1: SSSaI3: S a(aI4: S (S)I5: S (S)S识别活前缀的DFA0. SS1. S (S)2. S a 因为它的6个LR(0)项目集中均不含有冲突项目,即不存在移进项目和归约项目并存或多个
21、归约项目并存的情况。该文法是LR(0)文法。 其LR(0)分析表如下: ACTIONa ( ) $SGOTO文法GS的LR(0)分析表0S3 S211acc2345S3 S2r2 r2 r2 r2S5r1 r1 r1 r14见图0. SS1. S (S)2. S a 由上述构造过程可以看出,LR(0)分析器的特点是不需要向前查看输入符号就能归约,即当栈顶形成句柄,不管不一个输入符号是什么,都可以立即进行归约而不会发生错误。 识别活前缀的DFA见表I0:SSS (S)S aI2:S (S)S (S)S aI1: SSSaI3: S a(aI4: S (S)I5: S (S)S0. SS1. S
22、(S)2. S a识别文法G活前缀的DFA返回返回返回0. SS1. SA2. SB3. AaAb4. Ac5. BaBb6. BdI7: AaAbI8: AaAbI9: BaBbI10: BaBbbbABaSSSASBAaAbAcBaBbBdI0:I1: SSI2: SAI4:AaAbAcBaBb BdAaAbBaBbI6: BdSABacdcdI3: SBI5: Ac012345 S4 S5 S6 acc S4 S5 S6 r1 r1 r1 r1 r1 r2 r2 r2 r2 r2 r4 r4 r4 r4 r41 2 37 9文法GS的LR(0)分析表状态 ACTION a b c d $GOTOS A B0. SS1. SA2. SB3. AaAb4. Ac5. BaBb6.
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024年研究生考试考研英语(二204)试卷及答案指导
- 数控车床违反作业流程处罚制度
- 代理采购业务协议范本2024
- 2024年股权转让及权益变更协议
- 2024年度中药材种植种子销售协议
- 2024批量门禁设备购销协议样本
- 2024年不动产即售协议模板
- 2024建筑泥水工施工分包协议范本
- 2024年度砌砖物流服务协议条款
- 2023-2024学年云南省昭通市大关县民族中学高三素质班第二次考查数学试题
- 【直接打印】鲁教版(五四学制)七年级上册地理期末知识点复习提纲
- 中国家庭教育学会个人会员简历及经历模板
- 食品质量与安全专业大学生职业生涯规划书
- 自动化设备操作规程
- 江苏凤凰少儿出版社三年级综合与实践活动上册-教案
- 【高中语文】《我与地坛》课件+统编版高中语文必修上册
- 森林消防专业队伍建设方案
- 江苏盐城市实验小学2022-2023五年级上册语文期中试卷及答案
- 心理咨询和治疗:29 EMDR
- 镍包覆石墨复合粉体的制备及热喷涂涂层的性能研究
- 等级医院现场评审迎检注意事项课件
评论
0/150
提交评论