编译原理与技术（三）——语法分析（四）自底向上-移进归约

已于 2024-02-06 17:37:48 修改
阅读量657 收藏 12
点赞数 9
文章标签： 算法
于 2024-02-06 17:35:35 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/MCQSW/article/details/136059940
版权
本文探讨了编译原理中的关键概念，如语法分析方法、归约过程中的句柄识别，以及移进-归约和归约-归约冲突的实例。以具体文法为例，讲解了分析技术在处理输入串时的应用和冲突处理策略。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

一、语法分析的主要方法

二、归约 

三、句柄（可归约串）

归约涉及到一个问题。

对于输入串，我们怎么知道哪一部分可以被归约？

我们定义，可以被归约的子串称为句柄。

显然，句柄可能不是唯一的。

四、移进-归约分析技术 

举个例子。

对于文法。

用移进-归约技术分析下面输入串。

分析开始。

 

 

 

 

 

 

 

 

 

 

 

五、冲突

（一）移进-归约冲突 

（二）归约-归约冲突

 

参考资料：

 [1]USTC 编译原理和技术 2023 (ustc-compiler-principles.github.io) 

MCQSLW
关注
编译原理与技术（三）——语法分析（二）自顶向下-递归下降
MCQSW的博客
02-06 1217
自顶向下（Top-down）：针对输入串，从文法的开始符号出发，尝试根据产生式规则出该输入串。从根部开始构造语法树。自底向上（Bottom-up）：针对输入串，尝试根据产生式规则到文法的开始符号。从叶子开始构造语法树。
编译原理-第五章
jwx125的博客
05-20 911
总结：一.移进规约1.基本思想用一个寄存符号的先进后出栈，把输入符号一个一个地移进到栈里，当栈顶形成某个产生式的候选式时，即把栈顶的这一部分替换成(归约为)该产生式的左部符号。2.规约是指根据文法的产生式规则，把产生式的右部替换成左部符号。二.规范规约1.短语2.直接短语3.句柄三.修建语法树(1)子树：是由该树的某个结点(子树的根)连同它的所有子孙组成。 (2)简单子树：只有单层分支的子树(只有...
编译原理移进规约冲突
07-20
编译原理移进规约冲突处理的参考文档，使用BISON进行语法分析
前端编译原理 移进规约自动机
weixin_30663471的博客
08-08 706
前面了解了jison的使用，了解了jison生成的parser代码的结构，那么现在我们是不是应该开始了解parser generator的代码逻辑了呢？ 抱着这样的心态，我发现我错了，这个代码的难度有点大，需要先了解编译原理的文法转换表才能知道是怎么生成的parser中的table 由于时间的原因，不大可能从头看编译原理了，搜了些博客看看移进规约自动机到底是怎样生成的，这篇...
编译原理10：移进-规约、短语和直接短语
weixin_51633776的博客
10-14 2469
编译原理10：移进-规约、短语和直接短语
编译原理什么是移进规约冲突_命名规约+权限修饰符+封装+特征修饰符
weixin_39566882的博客
12-10 1368
命名规约类名首字母大写属性、方法、变量首字母小写，第二个大写构造方法与类名一致，首字母大写包：全部字母小写，注意区分关键字静态常量：全部字母大写私有属性对应的方法setName/getName权限修饰符可以用来修饰类本身和类中的成员（除程序块）只有public、默认不写可以用来修饰类从大到小依次为：public>protected>默认不写>private封装Java面向对象的四...
编译原理笔记14：自下而上语法分析（1）短语、句柄，规约，移进规约分析器的工作模式
VengaZ的学习博客
06-22 2920
编译原理
编译原理词法语法分析器 自底向上方法实现
06-14
综上所述，"编译原理词法语法分析器自底向上方法实现"是一个涵盖计算机科学基础的深度话题，它涉及到编译器的核心组件——词法分析器和语法分析器的构建。通过自底向上的策略，开发者可以有效地将源代码转换为可执行...
自底向上语法分析：移进归约解析
"本文主要介绍了编译原理中的自底向上的语法分析方法，特别是移进归约的概念。文章首先概述了分析系统的基本框架，包括控制程序、输入缓冲区和栈的作用，然后详细阐述了自底向上分析的思想和核心——通过归约寻找...
yufa.rar_yufa_编译原理_编译语法分析_语法分析_语法分析器
09-21
总的来说，“yufa.rar_yufa_编译原理_编译语法分析_语法分析_语法分析器”这个主题涵盖了编译器设计的关键部分——语法分析。通过这个项目，不仅可以学习到编译原理的基本理论，还能动手实践，体验从源代码到可执行...
编译原理实验——语法分析器报告.pdf
11-05
构造这个表需要处理移进-归约冲突和归约-归约冲突，学生会学习如何解决这些问题并确保分析器的正确性。 4. **语法制导的翻译**： 在语法分析过程中，语法制导翻译（SDT）允许同时进行语法分析和语义检查或翻译。...
采用自底向上归约编译器
Cappuccino_614的博客
08-29 291
采用自底向上归约编译器 支持以下文法： 1.if; 2.while; 3.赋值; 4.定义;（idtable部分待完善） 5.布尔; 6.算术; 例子： begin if a<b || a + 1<b then begin a = 10 end else if a>b then begin a = 20 end else if a >= b then begin a = 50 end else
编译原理课程总结--第五章：语法分析-自下而上分析
飞菜博客
05-17 1723
第五章：语法分析-自下而上分析 首先知道 归约–是指根据文法的产生式规则，把产生式的右部替换成左部符号。 第一种规约的方式是 移进规约，即用一个寄存符号的栈，把输入符号一个一个地移进到栈里，当栈顶形成某个产生式的候选式时，即把栈顶的这一部分替换成(归约为)该产生式的左部符号。这里的问题是怎样识别可规约串 第二种是规范规约，首先定义的几个概念： 短语 定义:令G是一个文法，S是文法的开始符...
【编译原理复习笔记】语法分析（二）
weixin_46876169的博客
05-23 1050
从分析树的底部（叶节点）向顶部（根结点）方向构造分析树 自顶向下的语法分析采用最左推导，与之对应自底向上采用最左规约（反响构造最右推导）（1）从输入中移动终结符到栈中 （2）若此时栈中终结符无法与产生式列表中的右部任何一项对应，则继续移入终结符 （3）若此时栈中某一部分可以进行规约，则转换成对应可规约产生式的左部，然后再次进行（1） （4）当输入中最后不含有终结符，且栈中最后只剩下开始符号的时候，证明规约结束 栈内符号串+剩余输入=“规范句型” 每规约一次，规范句型才会变化一次（而不是移入栈内就会规约在规约
移进/规约冲突
aaasssdddd96的博客
03-31 1022
记号j的token是VAR，关联的名称是字符串"j"。好了，或者应该说“坏了”，当分析器执行规约时状态回到语句头，于是进行一个tmpnametab清理。分析器运行到这里时，不知道后面会不会有else，需要再读进一个token来确认这个if语句是不是结束了。直到花费大量的时间来调试，最终发现是这个bug的原因之前，一直是很困惑。编译函数的时候，不同于外面，外面的语句接受一条执行一条，不会积累。注意，下一条语句的第一个token在上一条语句结束时，已经提前读入了。这时候j呢，j引用的是goo的位置。
【编译原理】-- 知识归纳 -- 第五章--LR(0)、SLR(1)、LR(1)、LALR(1)文法
Dylan's Blog
06-27 1874
LR(0)文法 有自动机 自底向上：由语句归约回文法 扩充文法： 保证从一个符号开始推导出来的文法 项目 A → a. 归约项目 A → a.B 待约项目 A → a.b 移进项目 判断 自动机状态中无冲突项目（移进-规约冲突和归约-归约冲突（一个状态中同时存在这两个项目）） 自动机状态 ​ 等价项目的项目集闭包 NFA 分析过程 分析表 非上述文法的分析表，重点看图下的解释 ACTION：终结符 ​ sn：移进T且状态转移为n ​ rn：该状态为归约项目时，用第n个推导式归约 GOTO：非终结
Java8 Stream 使用汇总
Mr.zhao
11-18 5539
Java8 Stream 1 Stream概述 2 Stream的创建 3 Stream的使用 案例使用的员工类 3.1 遍历/匹配（foreach/find/match） 3.2 筛选（filter） 3.3 聚合（max/min/count) 3.4 映射(map/flatMap) 3.5 归约(reduce) 3.6 收集(collect) 3.6.1 归集(toList/toSet/toMap) 3.6.2 统计(count/averaging) 3.6.3 分组(partitioningBy/gr
编译原理 - 推导与归约（一）
热门推荐
lslxy1021的博客
03-23 1万+
在介绍完文法的基本概念后，接下来将介绍一下编译原理中的推导与归约。推导，意思是用产生式的右部，主要分为最左推导和最右推导。归约则是推导的逆过程，最左推导对应最右归约，最右推导对应最左归约。
SLR(1)较LR（1）不能分辨的两种冲突
abob的专栏
12-07 1万+
一:SLR(1）的引入由于LR（0）分析法中无法避免的出现了两种冲突即其规范族中会有含有冲突的项目集：移进归约和归约归约冲突，直觉上，对于有冲突的状态，向前查看一个符号，以确定采用的动作。例如：对于项目集：S－rD·                          D－D·，i产生了移进归约冲突，按照SLR（1）的解决方法，向前查看一个符号，看其是不是S的后跟符号（FOLLOW（S）），若否则移
请用Python写一段代码，构建一个简单的成分句法分析算法（CYK算法），并将句子分解成词单元（注意不是分词），并使用移进规约算法进行句法分析，然后输出
最新发布
11-02
在Python中实现CYK算法涉及复杂的计算和数据结构，这里提供一个简化版本的示例，仅展示基本的概念和核心循环。请注意，这只是一个简化的例子，实际上的句法分析库如`pyparsing`或`lark-parser`会更方便。以下是使用列表来模拟状态和规则的部分实现： ```python # 假设我们有一个非常简单且有限的上下文无关文法，例如： grammar = { 'S': ['NP VP'], 'NP': ['Det N', 'Pro'], # 非终结符 S 的规则 'VP': ['V NP'], # 规则可以继续简化 'Det': ['the'], # 这里省略了 terminals 和 productions 'N': ['dog', 'cat'], 'Pro': ['I', 'you'], 'V': ['like'] } def cyk(sentence, grammar): sentence_tokens = list(sentence) # 分解句子为词单元 n = len(sentence) table = [[set() for _ in range(n + 1)] for _ in grammar] # 初始化二维矩阵 def fill_table(i, j): if i == j: # 单词处理 for rule, rhs in grammar.items(): if sentence[i] in rhs: table[rule][i].add(tuple(rhs)) else: for k in range(i, j): for left in grammar.keys(): # 检查当前状态的可能组合 for right in grammar[left]: if (right, sentence[k+1:i+1]) in table[left]: # 左部匹配右侧 table[left][j].update( [table[left][k] | {right}] # 更新状态集合 ) # 自底向上填充表格 for i in reversed(range(1, n + 1)): fill_table(i, n) # 搜索句法树 result = [] for start in grammar['S']: if {start} in table['S'][n]: for path in table['S'][n][{start}]: result.append(' '.join(path)) # 输出可能的句法结构 return result sentence = "I like the dog" print(cyk(sentence, grammar)) ``` 这个例子中，输入的句子会被分解成词单元，并尝试找到符合文法的句法结构。由于这是基础版，结果可能并不全面，因为没有处理更复杂的语法结构。
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值