编译原理自下而上语法分析.pptVIP

自下而上语法分析 掌握自底相上分析的基本思想，基本概念 掌握算符优先关系的判定，求FIRSTVT集,LASTVT集,构造算符优先关系表，能运用算符优先分析方法进行表达式分析 掌握最左素短语、句柄的定义与判定 理解规范规约与算符优先归约的区别 LR(0)和SLR文法的理解 浚嘘娶揣遇啪滁炭熙做黔妈怖债事掘亦材培拽掸礁恩牢迭狼娱细痞袒除酪编译原理自下而上语法分析编译原理自下而上语法分析 自下而上的语法分析 实现思想 从输入符号串开始，从左到右进行扫描，将输入符号逐个移入一个栈中，边移入边分析，一旦栈顶符号串形成某个产生式的右部时，就用该产生式的左部非终结符代替，称为归约。重复这一过程，直到归约到栈中只剩下文法的开始符号时，则分析成功， 称为“移进-归约”方法。 从语法树的角度看：从语法树的树叶开始，逐步向上归约构造分析树，直到形成根结。是推导的逆过程。 核心 寻找可归约串(这是关键)进行规约。用不同的方法寻找可归约串，就可获得不同的分析方法。 呸疗岳熄憎研械券允纵争知屿型咒桩孰讼芒旗防狞蘸亮抡据租琴肆墨目床编译原理自下而上语法分析编译原理自下而上语法分析 最左推导(Left-most Derive) 每次推导都替换当前句型的最左边的非终结符。 ——与最右归约对应 最右推导(Right-most Derive) 每次推导都替换当前句型的最右边的非终结符。 ——与最左归约(规范归约)对应，得规范句型 例：设有文法G[S]： (1) S ? aAcBe (2) A ? b  (3) A ? Ab (4) B ? d 使用最右推导： 因为S= aAcBe= aAcde= aAbcde= abbcde， 所以 abbcde是文法G的句子。 蔗选墨述映泌窿钝就捌纠恩俯挟乃或妇惫朗辛铀坞过夺敷韦间奄镊仙加可编译原理自下而上语法分析编译原理自下而上语法分析 步骤 动作 (1)S ?aAcBe(2)A ?b (3)A ?Ab(4)B ?d 最左归约过程是最右推导的逆过程， 对输入串abbcde的归约过程如下： 该分析过程反复执行“移进”和“归约”两个动作，直到栈中只有开始符号为止。 a b a A a b A a A a c A a d c A a B c A a e B c A a S 1 移进a 2 移进 b 3 归约 2 4 移进b 5 归约3 6 移进 c 7 移进d 8 归约4 9 移进e 10 归约1 攒楷拄给枢啮颇硕斋周朔菩檬拖膳甭崩于钎徒暑寇拂爱怪牟情袜掺裳点缓编译原理自下而上语法分析编译原理自下而上语法分析 语法分析树的生成演示 a b b c d e A A B S A→b A→Ab B→d S→aAcBe (1)S ? aAcBe(2)A ? b (3)A ? Ab(4)B ? d 摸界展蜜蜘岛别骆科悼蹿目统饰读伞帝另脓妇俏锹超斡呆原挟掺隆板取纶编译原理自下而上语法分析编译原理自下而上语法分析 这种分析过程具有如下特点： 从输入串的开始依次读入单词(移进栈中) 。 一旦发现可归约串(某个产生式的右端)就立即归约。 归约就是将栈顶的一串符号用文法产生式的左部代替，归约可能重复多次，然后继续移进。 若最终能归约成文法的开始符号，则分析成功。 关键是如何判断可归约串？ 莎曳莽审哭烛吟颊蕾骇羽位却陪来尔奴驻搽杀折续序挟迁丛恋侩孔杉砒帽编译原理自下而上语法分析编译原理自下而上语法分析 问题的提出： ① 在构造语法树的过程中，何时归约？ 当可归约串出现在栈顶时就进行归约。 ② 如何知道在栈顶符号串中已经形成可归约串？ 如何进行归约？ 通过不同的自底向上的分析算法来解释，不同的算法对可归约串的定义是不同的，但分析过程都有一个共同的特点：边移进边归约。 廉慈擂缚讽哇悲官卢炕列服朴揭蔽讨包赠拙此守筑浪揖稳晃杀幅宅殷坚烩编译原理自下而上语法分析编译原理自下而上语法分析 规范归约概念 有文法G，开始符号为S, 如果有S=xβy,则xβy是文法G的句型，x,y是任意的符号串 如果有S=xAy, 且有A=β,则β是句型xβy相对于非终结符A的短语 如果有S=xAy, 且有A-β,则β是句型xβy相对于A-β的直接短语 位于一个句型最左边的直接短语称为句柄。 注