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

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

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

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


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


左递归

左公因子

选择哪个产生式进行推导

左递归

何为左递归问题?当我们对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.对输入串推导出语法分析树
相关文章
表达式语法分析——递归子程序法
表达式语法分析——递归子程序法
|
1月前
|
自然语言处理 编译器
编译原理复习五:属性文法与三地址码的生成(附题目与答案 超详细)
编译原理复习五:属性文法与三地址码的生成(附题目与答案 超详细)
361 0
【编译原理】语法分析:从顶向下、最左推导
【编译原理】语法分析:从顶向下、最左推导
谓词逻辑之 语法规则
  谓词逻辑公式涉及两种事物: ⑴是我们谈及的对象,如a和p这样的个体,以及x和u这样的变量和函数符号。在谓词逻辑中,用来表示对象的表达式称为项(terms); ⑵是表示真值,即公式,例如Y(x,m(x))是公式。
1015 0
|
1月前
语法树的画法(根据文法求字符串)
语法树的画法(根据文法求字符串)
27 1
|
28天前
|
C语言
汉诺塔————经典递归问题(C语言实现)
汉诺塔————经典递归问题(C语言实现)
23 0
|
1月前
|
自然语言处理 编译器
词法分析中的“贪心法”
词法分析中的“贪心法”
|
1月前
|
算法 编译器 C语言
编译原理 - 语法分析
编译原理 - 语法分析
61 0
|
1月前
编译原理复习六:依赖图、注释语法树上节点的求值讲解(附题目与答案 超详细)
编译原理复习六:依赖图、注释语法树上节点的求值讲解(附题目与答案 超详细)
152 0
|
1月前
|
自然语言处理 算法 编译器
编译原理复习四:编译器结构 消除左递归、左公因子 最右推导 寻找句柄讲解(附题目和答案)
编译原理复习四:编译器结构 消除左递归、左公因子 最右推导 寻找句柄讲解(附题目和答案)
96 0