语法分析——自上而下

最新推荐文章于 2023-06-20 18:59:43 发布

anqiqi疯狂暴走兔

最新推荐文章于 2023-06-20 18:59:43 发布

阅读量770

点赞数 1

本文链接：https://blog.csdn.net/qq_44090228/article/details/115317644

版权

1.在自下而上的分析中，总是采用最左归约的方式，因此把最左归约称为规范归约，最右推导称为规范推导。
2.最左推导和最右推导具有唯一性。
3.由于分析器都是自左向右扫描分析串，所以自顶向下采取最左推导。

预测分析

1.对某些文法构造出向前看k个输入符号的预测分析器，这类文法称为LL(k)文法类，不需要回溯。

文法转换

1.相关概念

回溯：同一非终结符的多个候选式存在共同前缀，将导致回溯现象。
S->aAd|aBe
A->c
B->b
输入abc
在上例中，输入串第一个字符为a,但是S的候选式前缀都是a，那么就无法判断，需要回溯。
直接左递归：含有A->Aa形式产生式的文法
左递归：如果一个文法中有一个非终结符A使得对某个串a存在一个推导A=>+Aa（以A打头的串）。
间接左递归：经过两步或两步以上推导产生的左递归
左递归会使得递归分析器无限循环

在这里插入图片描述
由上面讲解可知，消除直接左递归的一般形式如下：

例题：
在这里插入图片描述
消除左递归的代价：会引进一些非终结符和空产生式。

2.消除间接左递归

在这里插入图片描述
具体算法实现：

3.提取左共因子

在这里插入图片描述

4.LL(1)文法

该文法会使用到预测分析。
1.要想让每一步推导选出的候选式必须是唯一的，那么文法要满足：
（1）每个产生式的右部都以终结符开始
（2）同一非终结符的各个候选式额度首终结符都不同
上述文法叫S_文法，该文法不包括空符。
题外话：什么时候可以使用空符产生式呢？
在这里插入图片描述
2.FOLLOW子集

3.SELECT可选集和q_文法

该文法不允许包含以非终结符打头的产生。

4.FIRST集合

5.求解FIRST集合
在这里插入图片描述

（1）在上述例子中，对于E,T这种右部是以非终结符打头的产生式，该如何求解FIRST子集呢？
答：对于E来说，T的FIRST集可以推导出来的终结符，都是E可以推导出来的首终结符。

（2）如何求解串x1,x2,…,xn的FIRST集合
在这里插入图片描述
6.FOLLOW集的计算

（1）求出上述非终结符的FOLLOW集合
比如对于非终结符E来说，其FOLLOW集依赖E’的FIRST集合。
$符号放进文法开始符的FOLLOW集合中。
接下来我们逐个分析产生式：
第一条：E’的FIRST集合终结符，一定可以跟在T后面，所以加入+；由于E’能推出空符，那么跟在E后面的也一定能跟到T后面，所以加入$。再来看E’，E’是产生式最右边的符号，那么能跟在E后面的一定能跟到E’后面，则加入$。