第五章 自底向上的语法分析&&&&&&
重点：自底向上分析的基本思想，算符优先分析法的基本思想，简单算符优先分析法。LR分析器的基本构造思想，LR分析算法，规范句型活前缀及其识别器——DFA，LR(0)分析表的构造，SLR(1)分析表的构造,LR(1)分析表的构造。
难点：求FIRSTOP和LASTOP，算符优先关系的确定，算符优先分析表的构造，素短语与最左素短语的概念。规范句型活前缀，LR(0)项目集闭包与项目集规范族，它们与句柄识别的关系，活前缀与句柄的关系,LR(1)项目集闭包与项目集规范族。&
5.1 自底向上语法分析的核心问题：
n寻找句型中的当前归约对象——“句柄”进行归约,用不同的方法寻找句柄，就可获得不同的分析方法
5.2 计算FIRSTOP:
若有产生式 B -& b...&或 B -& Cb ,&则&b ∈ FIRSTOP(B)\
若有产生式 A -& B,,,&则有，FIRSTOP(B) ? FIRST(A)
5.3 计算LASTOP:
若有产生式 B -& ...b&或 B -& ...Cb,&则&b ∈ LASTOP(B)
若有产生式 A -& ...B&则有 , LASTOP(B) ? LASTOP(B)
5.4 分析器的4个动作：
1)移进：将下一输入符号移入栈
2)归约：用产生式左侧的非终结符替换栈顶的句柄（某产生式右部）
3)接受：分析成功
4)出错：出错处理
5.5 算符优先文法识别的其实是LPP（最左素短语）
LR识别的其实是活前缀（这个前缀不含相应句型的句柄右部的任何符号）
5.6&素短语：
1.素短语是一个短语
2.它至少包含一个终结符
3.除自身外，不再包含其他终结符的短语&
5.7 LR(0)&与 SLR(1)&与 LR(1)&的区别联系
LR(0):&可规约项，无论遇到什么符号都进行规约。
&&&&&&&&&& 判断是否是LR(0),&看是否产生了&规约-规约&冲突&和&移近-规约&冲突
SLR(1): 向前查看一个输入符号，判断当前是否可以归约 (只有输入符是该语法变量的FOLLOW集时，才可以规约)。
&&&&&&&&&&&&&&& 判断是否是SLR(1),&看是否产生了&规约-规约&冲突&和&移近-规约&冲突
LR(1) ： 分析仅考虑LR(1)项目中的后继符
&& LR(1) 项目集族的求法
&& CLOSURE（I）：给定LR(1)项目I，求I的闭包，目的是为了合并某些状态，节省空间
&& GO（I，X）：转移函数
LR(0)分析法不需要向前查看输入符号，只需要根据当前的栈顶状态就可以确定下一步所应采取的动作
LR(0)项目集：右部某个位置标有圆点的产生式称为相应文法的LR(0)项目
n归约（Reduce）项目:S→bBB.
n移进（Shift）项目：S→.bBB
n待约项目：S→b.BB &S→bB.B
5.9 CFG不总是LR(0)文法.
SLR(1)：向前查看一个输入符号，判断当前是否可以归约
5.10&本章小结
n自底向上的语法分析从给定的输入符号串w出发，自底向上地为其建立一棵语法分析树。
n移进-归约分析是最基本的分析方式，分为优先法和状态法。
n算符优先分析法是一种有效的方法，通过定义终结符号之间的优先关系来确定移进和归约。
nLR分析法有着更宽的适应性。该方法通过构建识别规范句型活前缀的DFA来设计分析过程中的状态。可以将LR分析法分成LR(0)、SLR(1)、LR(1)、LALR(1)。
n通过增加附加的信息可以解决一些二义性问题。
nYacc是LALR(1)语法分析器的自动生成工具。
1. 计算该文法的SLR(1)项目集规范族，
构造识别其所有规范句型活前缀的DFA
2. 该文法是SLR(1)文法吗？若是，给出其SLR(1)分析表，
若不是，说明理由。
参考知识库
* 以上用户言论只代表其个人观点，不代表CSDN网站的观点或立场
访问：11878次
排名：千里之外
原创：27篇
评论：13条
(2)(12)(4)(9)以下试题来自：
单项选择题认为自底向上测试的方法要优于自顶向下测试方法的是______。A) YourdonB) MyersC) DunnD) Fisher
为您推荐的考试题库
你可能感兴趣的试题
1A．基于用例的测试 B．基于大纲的测试C．性能测试
D．可靠性测试2A．验收测试应确定程序的执行是否满足软件设计的要求B．系统测试应确定系统功能和性能的质量特性是否达到系统要求的指标C．单元测试和集成测试应确定软件的实现是否满足用户需求和合同的要求D．集成测试在编码结束前就可以开始3
A.缺陷分布报告
B.缺陷分布报告
C.缺陷年龄报告
D.以前都是
4A) 在面向对象设计中需要考虑与实现相关的内容，而在面向对象分析中不需要B) 在面向对象设计中要检查设计结果对编程时将要使用的类库的支持，而在面向对象分析中不需要C) 在面向对象设计中对提供足够细节的部分，要检查是否符合预期，而在面向对象分析中不考虑D) 以上全部5A．逻辑覆盖 B．语句覆盖 C．判定覆盖或分支覆盖 D．条件覆盖
热门相关试卷
最新相关试卷第二次作业答案_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
第二次作业答案
上传于||暂无简介
阅读已结束，如果下载本文需要使用1下载券
想免费下载本文？
定制HR最喜欢的简历
下载文档到电脑，查找使用更方便
还剩4页未读，继续阅读
定制HR最喜欢的简历
你可能喜欢问题补充&&
本页链接：
猜你感兴趣}