版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第三章:语法分析
自底向上语法分析概述
简单优先方法1.自底向上的语法分析例子:EE+TETTT
*FTFF(E)
Fi分析(a+t)*cETT*F(E)E+TTFtFcFa符号栈输入流动作#(a+t)*c#移入#(a+t)*c#移入#(a+t)*c#归约#(E+t)*c#移入#(E+t)*c#归约#(E+T)*c#归约#(E)*c#移入#(E)*c#归约.........#E#成功1.自底向上的语法分析语法分析的动作:a.移入:把输入流的头符压入分析栈b.归约:把分析栈栈顶的句柄,用某一非终极符进行替换c.成功d.失败核心问题
如何确定句柄,不同的找句柄的方法构成不同的语法分析程序2.简单优先方法1966年提出的,当文法满足某种条件时,可以用这种分析方法,但是条件比较苟刻,因此很难完整的用于整个编译程序。但是方法本身很巧妙。优先分析法的主要思想是,为每个符号对(X,Y)定义其在句型中的相邻关系,并通过相邻关系判定进行何种分析动作。符号相邻:如存在形如"…XY…"的句型,则称X和Y是可相邻的。2.1符号相邻定理假设X和Y是语法符号,则XY是可相邻的当且仅当下面4个条件之一成立:【1】存在产生式形如A
…XY…【2】存在产生式形如A…XB…并有B⇒+Y……XY……XB…Y…2.1符号相邻定理【3】存在产生式形如A…BY…并有B⇒+…X【4】存在产生式形如A…BC…并有B⇒+…X且C⇒+Y……BY……X…BC……XY…2.2优先关系定义为了把符号相邻概念更加形式化,引入、⊲、⊳三种优先关系,其中对应符号相邻定理中第一条,⊲对应第二条,⊳对应三四条。XY:当且仅当存在一个产生式A…XY…X⊲Y:当且仅当存在一个产生式A…XB…并有B⇒+Y…X⊳Y:当且仅当存在一个产生式A…BC…并有B⇒+…X,C⇒*Y…特别假设对输入流结束标志'#'有:X⊳#;对符号栈栈底标志'#'有:#⊲X;其中X为文法中任意符号2.3优先文法若文法G满足下面两个条件,则称文法G为简单优先文法:对于任意两个语法符号X和Y,至多成立一种优先关系;任意两个产生式都具有不同的右部.2.4优先文法结论优先文法无二义性若有XY,则XY相邻包含于句柄中若有X⊲Y,则有Y是句柄的头若有X⊳Y,则Y是句柄的后继符若X1…XiXi+1…Xj…Xn是一个句型,若有 Xi
⊲Xi+1
Xi+2
…Xj-1Xj
⊳Xj+1则Xi+1Xi+2…Xj-1Xj一定是该句型的简单短语。2.5优先关系矩阵优先关系可以用一个矩阵来表示,称之为优先关系矩阵。其中:R[X,Y]=,当XY时R[X,Y]=⊲,当X⊲Y时R[X,Y]=⊳,当X⊳Y时R[X,Y]=空,当X和Y无任何关系时2.5.2优先矩阵的构造对每一个VN求两个集合:FIRST(W)={S|W+S…,S(VNVT)}LAST(W)={S|W+…S,S(VNVT)}对语法符号填优先关系若有U…SiSj…:则有Si
Sj;若有U…SiW…:则对任意SjFIRST(W),有Si⊲Sj若有U…VW…:则对任意SiLAST(V),Sj(FIRST(W){W})则有Si⊳Sj
2.5.3实例
ZbMbMaM(LLMa))a(bLMZ)a(bLMZ)a
L)bM(aa(bLMZFIRST
LAST⊲⊲⊳⊳⊳⊲⊲⊲⊳⊳⊳2.6语法分析算法找第一个使Sj⊳Sj+1的Sj从Sj开始往前(左)找第一个使Si-1⊲Si的Si用SiSi+1…Sj去查产生式的右部,并用相应的左部符号代替句柄SiSi+1…Sj
(归约)
。重复上述过程,直至输入符结束。如果归约出文法的开始符号则成功。否则失败。2.7程序结构StackInput#cba驱动程序X1X2...Xn#优先矩阵规则集例子分析b(aa)b符号栈关系输入流
#⊲
b(aa)b##b⊲(aa)b##b(⊲aa)b##b(a⊳a)b##b(M
a)b##b(Ma)b##b(Ma)⊳b##b(L⊳b##bMb##bMb⊳
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
评论
0/150
提交评论