day05_编译原理学习

礼拜五&

于 2024-09-11 21:44:13 发布

阅读量179

点赞数 8

文章标签：学习

本文链接：https://blog.csdn.net/m0_74985290/article/details/141905497

版权

第四章语法分析

和 $FOLLOW$ 的计算和定义

- 定义：被定义为 $\alpha$ 从推导得到的串首符号的集合（其中 $\alpha$ 是任意的文法符号）。
- 算法：求解的方法：不断应用以下规则，直到没有新的终结符号或空集被加入到任何集合中为止。
  - 1）如果X是一个终结符号，那么 $= X$ ;
  - 2) 如果X是一个非终结符，且 $X\rightarrow Y\textup{1}Y\textup{2}...Y\textup{k}(k \geq 1)$ 是一个产生式， $\alpha$ 在 $FIRST(Y\textup{i})$ 中且 $\epsilon$ 在所有的 $FIRST(Y\textup{1}-Y\textup{i})$ 中,也就是说, $Y\textup{1}...Y\textup{i-1}$ 经零步或者多步推导可以得出 $\epsilon$ 。如果对于所有的i= 1,2,...,k, $\epsilon$ 在 $FIRST(Y\textup{i})$ 中，那么就将 $\epsilon$ 加入到 $FIRST(X )$ .
  - 3）如果 $X\rightarrow \epsilon$ 是一个产生式，那么将 $\epsilon$ 加入到中
- 例子：
- 具体解题思路：求解文法中所有的产生式左部的FIRST集合，只需要看每个左部的所有产生式右部的首字符A。
  - 1. 如果A是终结符，那么将其加入到左部对应的集合中。
  - 2. 如果A是非终结符，那么继续求解 $FIRST(A)$ ，并将 $FIRST(A)$ 加入到左部对应的集合中去。
  - 3. 如果 $A \Rightarrow \epsilon$ ，那么也将 $\epsilon$ 加入其中。
  - 注意：如果产生式的右部由“|”连接，对于"|"左右两边的句型运用上述相同的规则。
- 计算 $X\textup{1}X\textup{2}...X\textup{n}$ 的 $FIRST$ 集合
$FOLLOW$
- 定义： $FOLLOW(A)$ 可能在某些句型中紧跟在A右边的终结符号的集合。
- 求解所有非终结符A的集合时，不断应用以下规则，直到不再有新的终结符可以加入到任意的集合中为止。
  - 1) 将 $\$$ （是输入右端的结束标记）放入到 $FOLLOW(S)$ 集合中，其中S为文法的开始符号
  - 2）如果存在一个产生式，那么 $FIRST(\beta )$ 中除了 $\epsilon$ 之外的所有符号都在中。
  - 3）如果存在一个产生式，或存在产生式且 $FIRST(\beta )$ 包含, 那么 $FOLLOW(A)$ 中的所有符号都在中.
- 具体解题思路：求解所有非终结符的集合：
  - 1. 先将结束标记 $\$$ 加入到开始符号的 $FOLLOW$ 集中,即 $FOLLOW(S)$ = { $\$$ ,...}。
  - 2. 再将所有非终结符中能推导出 $\epsilon$ 的非终结符列举到一个集合中。
  - 3. 紧接着对于非终结符B，观察文法中所有产生式的右部是否存在B，如果存在，则判断B在产生式中的句型：
    - 如果是，直接将 $FOLLOW(A)$ 加入到中
    - 如果是，则需要继续判断 $\beta$ 是否是终结符。
      - 是 终结符，那么就将其加入到 $FOLLOW(A)$ 中
      - 是 非终结符，那么就将 $FIRST(\beta )$ 加入到中，接着判断该非终结符是否在第二步中的非终结符集合中：
        不在则进行下一轮判断。
        如果在，就将 $FOLLOW(A)$ 加入到中。
- 根据和 $FOLLOW$ 集构造表达式文法的可选集 $SELECT$
  - （day04）定义回顾:由于各个具有相同的左部的产生式的 $SELECT$ 集不存在交集，故图片中表达式的文法是 $LL(1)$ 文法。
- 根据表达式文法的可选集构造预测分析表