锐客网

  1. 首页 > 睿知 > >

lr分析法归约

经验分享睿知

lr指LR 分析法 。例如 ， 对于上面的例子，移入归约解析是自底向上解析的一种形式，LR分析是目前最通用的分析方法，当然，这种语法也有冲突，1)移入/归约冲突:无法确定是否移入或归约操作2)归约归约冲突:多种可能性 。

1、证明下面文法是LR(1G1只生产字符串da、bdc、dc和bda 。读完后缀d后到达的LR(1)项簇是:状态I: {a → d ， a；B→d，c}后缀读活前缀bd后到达的LR(1)项簇为:状态J: {A → D，C；B→d，a}显然，在构造的LR(1)项目群中，不存在移入-归约或归约-归约的冲突 。因此 ， 文法是LR(1)状态 。以上状态I和J为同心集，合并后为{A → D，

2、怎么判断一个文法是LR(0设g1和g2是两个文法 。若l(g1)l(g2)，则称g1与g2等价，记为g1≡g2 。也就是说，语法的等价性意味着定义的语言是相同的 。语法的简化是指消除以下无用的产生形式:1 。删除a>a的生产形式(自定义)；2.删除无法从中导出终止符字符串的生产公式(无终止符);3.删除永远不会在推导中使用的生产公式(不可用) 。扩展数据:LR在ARM架构中有两个特殊用途:一是保存子程序的返回地址；

当BL或BLX指令调用子程序时，硬件自动将子程序返回地址保存在R14寄存器中 。子程序返回时，将LR的值复制到程序计数器PC，实现子程序返回 。比如可以用MOVPC，LR或者BXLR来完成子程序返回 。另外，你也可以在子程序的入口使用下面的指令，将LR保存在堆栈中 。

3、LR(0"移入归约 conflicts和归约归约conflicts 。LL(1)是只向前搜索一个符号，即与FIRST()匹配 。如果第一个是空的，你也应该考虑同伴 。LR需要构造一个LR分析表 ， 用来将输入的字符移入，调节(即自下而上的分析思路)，接受或出错 。LR(0)找到句柄前缀 ， 构造分析表，然后根据输入符号进行规范 。SLR(1)使用LR(0)时 ， 如果有冲突，不知道是哪个协议，移入还是移入，需要向前搜索，所以只向前搜索一次有问题的地方 。

4、移入—— 归约技术 Definition:我们可以把自底向上的解析过程看作是构建一个字符串W "归约"来表示哀悼的过程 。在归约定义比较晦涩，我们来看一个例子 。知道有一个文法 ， 它的产生式是id*id，那么归约的过程就是:很明显 ， 这是一个反向最右推导 。定义:如果有s α aw αβw，那么产生式A>β后跟α是αβw的一个句柄 。

2)如果一个语法是二义性的，那么该语法的每个正确的句型都有且只有一个句柄 。例如 ， 对于上面的例子，移入归约解析是自底向上解析的一种形式 。他使用一个堆栈来存储符号，并使用一个输入缓冲区来存储要解析的剩余符号 。它的分析器会采取以下四个动作:或者以上面为例，展示一个完整的推导过程 。当然 ， 这种语法也有冲突 。1)移入/归约冲突:无法确定是否移入或归约操作2)归约归约冲突:多种可能性 。

5、 lr是什么? lr指LR 分析法 。LR分析是目前最通用的分析方法 。它对语法的限制最少，可以用上下文无关语法描述的编程语言一般都可以用LR方法进行有效的分析 。相关资料:LR分析是目前最常用的分析方法 。这是因为它对语法的限制最少 。现在可以用上下文无关文法描述的程序设计语言，一般都可以用LR方法进行有效的分析，分析的效率并不逊色于无回溯的自顶向下分析、一般“move in 归约”、运算符优先等分析方法 。

6、编译器笔记14-语法分析-SLR分析当输入符号在状态2下为*时 ， 可以进行移入操作或归约操作 。那么我应该选择哪种手术呢？归根结底还是一个如何识别手柄的问题 。如果栈顶的t是句柄，使用归约 operation ， 否则不能使用归约 operation 。可见LR(0)的信息已经不能帮助我们确定是否进行归约 。其实LR(0)分析在构造的时候是向前看零符号的，也就是不向前看符号，也就是不考虑语法符号的上下文 。
【lr分析法归约】从上图可以看出 ， *不在FOLLOW(E)中，所以即使归约变成E，也不可能跟在E后面的*，所以应该不是归约，t也不是句柄 。可以看出 ， FOLLOW set可以帮助判断归约在什么情况下不能进行，这也是SLR 分析法的基本思路 ， 解决LR(0)文法的move-in 归约 conflict，其实就是加强对文法的约束，避免冲突 。实际上，分析方法并没有改变，如果在给定语法的SLR分析表中没有冲突动作 ， 则该语法成为SLR语法 。

    推荐阅读


    上一篇：业务分析方法论,坚持具体问题具体分析的方法论

    下一篇：aria2 源码分析