语法树的画法(根据文法求字符串)

2023-12-25 06:20
文章标签 语法 字符串 画法 文法

本文主要是介绍语法树的画法(根据文法求字符串),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

1.语法树的画法

2.语法树的短语

3.直接短语(直接到根部)

4.素短语

5.句柄

6.算符优先分析句型


1.语法树的画法

文法G[E]:E->E+E | E*E | (E) | i ,字符串 i+i*i

推导方式有两种最左推导和最右推导(推导的技巧就是逐步靠近字符串的形式)

最左推导(从左往右替换):

E->E+E->i+E->i+E*E->i+i*E->i+i*i

最左推导得到的语法树如下:

最右推导(从右往左替换):

E->E+E->E+E*E->E+E*i->E+i*i->i+i*i

最右推导得出的语法树:

如果两种推导画出来的树相同,则说明他们有无二义性,如果树不同就是有二义性

2.语法树的短语

一个节点的最根部就是这个节点的短语,那么短语有几个呢,就看语法树中有分支的字符有几个,就有几个短语

由上图分析,第一个节点(①)的短语是i+i*i        第二个节点的短语i*i            ③④⑤的短语为i

3.直接短语(直接到根部)

所以上面这棵语法树的直接短语就是i,例如这里的直接短语就是 S,a(注意"("")"不是直接短语)

4.素短语

寻找素短语的前提是在短语中找,这些短语要满足以下条件

(1)至少包含一个终结符

(2)该短语不再包含满足第一个条件的更小的短语

由上面的语法树可以得到的语法为①i+i*i        ②i*i        ③i

①i+i*i,其中包含了满足第一个条件的②

②i*i,包含了满足第一个条件的③

所以素短语只有③

注:有些地方会提到最左素短语,最左素短语就是素短语中位于语法树最左的字符

5.句柄

最左最小的树对应的符号串,或者是直接短语中最左的符号串,在上面的语法树中,句柄就是i

例题1:

这里注意T+T也是素短语,因为他不包含满足第一个条件的短语

例题2:

消除左递归和消除回溯(这一部分比较难,还是要多做题感受下)

消除左递归:

例题1:

E-->E+T|T:

① 将T提前,其他改写为文法E':E->TE'

②剩下的写下来,"|"右边的T由于已经被提出来所以变为\varepsilon(空串):E'--->+TE'|\varepsilon

T-->T*F|F:

①T--->FT'

②*FT'|\varepsilon

F-->(E)|i:不符合左递归的形式,所以照搬即可

例题2:

消除回溯:

例题1:G[A] = A->aAB|a|b

①:将公共左因子"a"提走,另一部分改写为A',没有公共左因子的照抄:A-->aA'|b

②:将改造后的文法A'补齐:A'-->AB|\varepsilon

例题2:

6.算符优先分析句型

若有句型...N_{i}a_{i}...N_{j}a_{j}N_{j+1}....,当a_{i}...N_{j}a_{j}属于句柄时,则 N_{i} 和N_{j+1}也在句柄中,这是由于算符文法的任何句型中均无两个相邻的非终结符,且终结符和非终结符相邻时,含终结符的句柄必含相邻的非终结符,句柄终结符之间的关系如下:

例题:
 

第一步:需要将算符优先分析表得出来

这可以看:算符优先分析的方法

第二步:进行算符优先分析

①默认的#是小于当前输入符号(a)的,所以动作为移入

②接下来继续看栈顶的终结符(a),#<a且a>;所以a就形成了句柄

③对句柄进行归约

由式子可以看到:H->a|(S),可以看到句柄a可以归约为H,但是由于这里是算符优先级分析, 只考虑终结符,所以写任何非终结符是没有关系的,所以这里也可以写T

由于栈中最顶层的终结符为#,又因为#<;所以继续移进

接下来继续下一步的操作:

这里最顶层的终结符a满足,a>+,且"("< "a",所以a是这个整个语句的句柄,继续归约为T

继续下一步操作:

此时最顶层的终结符为+,因为“(”<"+",且“+” > ")",所以+为句柄,又因为,两端有两个非终结符,也在句柄中,所以由T-->T+S|S ,形似T+S,将“T+T”归约为T

由于“(“=”)“,且";" < "(" ,所以这里的"("是句柄,由于公式中含有H->G|(S),所以我们可以将其归约为H,但是这里非终结符是什么没有关系,所以统一归结为T

由于式子中包含S-->S;G|G,这里还是可以归约为S,但是同理我们归约为非终结符T也没有影响

所以可得结论:a;(a+a)G[S]文法中推出来的

但是这里我们注意:a;(a+a)的最右推导,无法推导出a;(a+a),所以a;(a+a)不是G[S]文法的句子

这与算符优先分析中的结论矛盾了,但是最右推导属于规范推导,正确答案是: (不是)

所以算符优先分析可能会错误地接受非法的句子,其推导的过程不规范。

这篇关于语法树的画法(根据文法求字符串)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/534508

相关文章

Java中字符串转时间与时间转字符串的操作详解

《Java中字符串转时间与时间转字符串的操作详解》Java的java.time包提供了强大的日期和时间处理功能,通过DateTimeFormatter可以轻松地在日期时间对象和字符串之间进行转换,下面... 目录一、字符串转时间(一)使用预定义格式(二)自定义格式二、时间转字符串(一)使用预定义格式(二)自

Python正则表达式语法及re模块中的常用函数详解

《Python正则表达式语法及re模块中的常用函数详解》这篇文章主要给大家介绍了关于Python正则表达式语法及re模块中常用函数的相关资料,正则表达式是一种强大的字符串处理工具,可以用于匹配、切分、... 目录概念、作用和步骤语法re模块中的常用函数总结 概念、作用和步骤概念: 本身也是一个字符串,其中

Mysql用户授权(GRANT)语法及示例解读

《Mysql用户授权(GRANT)语法及示例解读》:本文主要介绍Mysql用户授权(GRANT)语法及示例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录mysql用户授权(GRANT)语法授予用户权限语法GRANT语句中的<权限类型>的使用WITH GRANT

HTML5表格语法格式详解

《HTML5表格语法格式详解》在HTML语法中,表格主要通过table、tr和td3个标签构成,本文通过实例代码讲解HTML5表格语法格式,感兴趣的朋友一起看看吧... 目录一、表格1.表格语法格式2.表格属性 3.例子二、不规则表格1.跨行2.跨列3.例子一、表格在html语法中,表格主要通过< tab

Java使用ANTLR4对Lua脚本语法校验详解

《Java使用ANTLR4对Lua脚本语法校验详解》ANTLR是一个强大的解析器生成器,用于读取、处理、执行或翻译结构化文本或二进制文件,下面就跟随小编一起看看Java如何使用ANTLR4对Lua脚本... 目录什么是ANTLR?第一个例子ANTLR4 的工作流程Lua脚本语法校验准备一个Lua Gramm

Java字符串操作技巧之语法、示例与应用场景分析

《Java字符串操作技巧之语法、示例与应用场景分析》在Java算法题和日常开发中,字符串处理是必备的核心技能,本文全面梳理Java中字符串的常用操作语法,结合代码示例、应用场景和避坑指南,可快速掌握字... 目录引言1. 基础操作1.1 创建字符串1.2 获取长度1.3 访问字符2. 字符串处理2.1 子字

一文详解如何在Python中从字符串中提取部分内容

《一文详解如何在Python中从字符串中提取部分内容》:本文主要介绍如何在Python中从字符串中提取部分内容的相关资料,包括使用正则表达式、Pyparsing库、AST(抽象语法树)、字符串操作... 目录前言解决方案方法一:使用正则表达式方法二:使用 Pyparsing方法三:使用 AST方法四:使用字

Java字符串处理全解析(String、StringBuilder与StringBuffer)

《Java字符串处理全解析(String、StringBuilder与StringBuffer)》:本文主要介绍Java字符串处理全解析(String、StringBuilder与StringBu... 目录Java字符串处理全解析:String、StringBuilder与StringBuffer一、St

Python基础语法中defaultdict的使用小结

《Python基础语法中defaultdict的使用小结》Python的defaultdict是collections模块中提供的一种特殊的字典类型,它与普通的字典(dict)有着相似的功能,本文主要... 目录示例1示例2python的defaultdict是collections模块中提供的一种特殊的字

MySQL更新某个字段拼接固定字符串的实现

《MySQL更新某个字段拼接固定字符串的实现》在MySQL中,我们经常需要对数据库中的某个字段进行更新操作,本文就来介绍一下MySQL更新某个字段拼接固定字符串的实现,感兴趣的可以了解一下... 目录1. 查看字段当前值2. 更新字段拼接固定字符串3. 验证更新结果mysql更新某个字段拼接固定字符串 -