【编译原理】语法分析:从顶向下、最左推导

简介: 【编译原理】语法分析:从顶向下、最左推导

从顶向下、最左推导的语法分析

文法:已知语言的文法,给定一个词素串,判定它是否符合文法,符合的话,得出语法分析树


基于自顶向下和最左推导的语法分析存在三个问题:


左递归

左公因子

选择哪个产生式进行推导

左递归

何为左递归问题?当我们对id1+id2+id3+id4进行推导,发现推导是从输入串的最右端开始逆向逐一来匹配:不切合实际


针对左递归,我们要采用新的文法来消除它,如下

因此id1+id2+id3+id4变成了

消除了左递归存在好处和坏处

好处:实现了对输入串从左至右逐一匹配

代价:多引入了一个非终结符,语法树变得复杂,效率

下面是通用处理文法表达,这样就消除了左递归


但是如果存在间接的左递归,则需要消除一个变量,如下

左公因子

左公因子问题是指某个非终结符,它有多个产生式,其产生式体的左端有公因子;导致在推导时,有多个产生式匹配,不知道选哪个才对


解决办法:把非公因式部分单独拿出来,新引入一个非终结符,来表达它


A→α β1 |α β2 |α β3| γ


转为


A→α A’ | γ

A’→β1 | β2 | β3


举例:

选择哪个产生式进行推导

前两步只是进行预处理,选择哪个产生式进行推导才是关键,一个产生式子,可能由多个分号相隔,不清楚推导的时候选哪个


对于非终结符A,它仅有两个产生式:A→α和A→β;选择其中的哪一个产生式进行推导?是问题的关键


FIRST(α)的含义是从α推导得到的串的第一个终结符的集合

FIRST(β)的含义是从α推导得到的串的第一个终结符的集合


如何FIRST(α)和FIRST(β)不相交(肯定不会相交,因为左公因子已经除掉了),则对当前输入符a


a∈FIRST(α) ,选A→α


a∈FIRST(β) , 选A→β


对于非终结符A,它仅有两个产生式:A→α和A→θ;选择其中的哪一个产生式进行推导?


FIRST(α)的含义是从α推导得到的串的第一个终结符的集合

FOLLOW(A)的含义跟在A之后的终结符的集合


如何FIRST(α)和FOLLOW(A)不相交(肯定不会相交,因为左公因子已经除掉了),则对当前输入符a


a∈FIRST(α) ,选A→α


a∈FOLLOW(A) , 选A→θ


FIRST()的求法

对非终结符号,由低到高排序,逐一扫描其产生式, 计算每一产生式的FIRST()

FOLLOW()求法

对非终结符,从起始非终结符S开始,由高到低依次排序

天然的已知:FOLLOW(S) 包含$ 这个终结符

规则:

举例:

因此综上,FIRST()存在的意义是选择哪一个产生式子(不含ε),FOLLOW()存在的意义存在ε的产生式,是非要选择它:

自顶向下的语法分析中,设当前输,入符为a,要推导的非终结符A:产生式A→α能被选用的条件为

a∈FIRST(α) OR (ε∈FIRST(α) ANDa∈FOLLOW(A))

如果FOLLOW()循环依赖,则另相互依赖的非终结符的FOLLOW()相等,并取它们的并集

我们计算FIRST()和FOLLOW()就是为了得到预测分析表,

预测分析表是从文法得出的,是元信息

表中的某个格子中,如果有不止一个产生式,那么该文法就不是LL(1)文法

预测表解决了产生式的选择问题

文法分析树的推导过程是一个压栈,弹栈的过程


最后:自顶向下、最左推导的语法分析LL(1)的流程?

  1. 1.对文法作消除左递归,提取左公因子处理
  2. 2.对每个产生式,计算FIRST()
  3. 3.对每个非终结符号,计算FOLLOW()
  4. 4.填写预测分析表
  5. 5.判断其是否是LL(1)文法
  6. 6.对输入串推导出语法分析树
相关文章
|
Cloud Native Docker 容器
云原生之使用Docker部署Affine知识库工具
云原生之使用Docker部署Affine知识库工具
3089 0
【编译原理】语法分析:从顶向下、最左推导
【编译原理】语法分析:从顶向下、最左推导
|
自然语言处理 编译器
编译原理复习五:属性文法与三地址码的生成(附题目与答案 超详细)
编译原理复习五:属性文法与三地址码的生成(附题目与答案 超详细)
1198 0
|
分布式计算 Hadoop Java
Hadoop编辑hadoop-env.sh文件
【7月更文挑战第19天】
1134 5
|
网络安全 数据安全/隐私保护
VSC通过 SSH 连接到远程服务器时,每次都需要输入密码
VSC通过 SSH 连接到远程服务器时,每次都需要输入密码
3668 0
|
Linux 网络安全 数据安全/隐私保护
VsCode SSH远程设置不用重复输入密码
VsCode SSH远程设置不用重复输入密码
|
缓存 编译器 程序员
C/C++编译器全局优化技术:全局优化是针对整个程序进行的优化,包括函数之间的优化
C/C++编译器全局优化技术:全局优化是针对整个程序进行的优化,包括函数之间的优化
500 0
|
缓存 Linux PHP
PHP快速入门14-Composer包管理安装与使用,附常见的20个使用例子
PHP Composer 是 PHP 的一个包管理工具,它被广泛用于 PHP 应用程序的依赖管理。Composer 可以自动查找和下载 PHP 应用所需要的第三方类库和组件,并将它们集成到应用程序中。
802 0

热门文章

最新文章