编译原理 3 - 语法分析

---

语法分析(syntax analysis) 是编译程序的核心部分，其任务是检查词法分析器输出的单词序列是否是源语言中的句子

第4章 语法分析（自顶向下）

4.1 自上而下分析的问题：

• ① 回溯问题
  分析过程中，当一个非终结符用某一个候选匹配成功时，这种匹配是暂时的；出错时，不得不进行“回溯”
  示例：对于具有两个候选式的A，第一次匹配时选择 A → ** 时，后续匹配失败
  这时，回溯到对 A 的候选时，选择下一个候选式 A → *，继续匹配后续字符。最后成功。
  
• ② 文法左递归问题
  如果一个文法存在非终结符 P 使得 $P{\Rightarrow }^{+}P\alpha$，则该文法含有左递归，导致分析器进入死循环
  
  ③ 二义性

4.2 消除左递归

• 消除直接左递归
  • 问题：形如 $P\to P\alpha |\beta$ (其中$\beta$不以$P$开头)的文法，会变成 $P\Rightarrow P\alpha \Rightarrow P\alpha \alpha ...\Rightarrow \beta \alpha \alpha ...$
  • 思路：设计一种文法，也能达到上述文法的效果，而不存在左递归等死循环
  • 解决：左递归变右递归。上述文法可以转换为 $P\to \beta P^{\prime }$，$P^{\prime }\to \alpha P^{\prime }|ϵ$
• 消除间接左递归
  • 问题：问题：形如 $S\to Qc|c$，$Q\to Rb|b$，$R\to Sa|a$ 的文法，会变成 $S\Rightarrow Qc\Rightarrow Rbc\Rightarrow Sabc...$
  • 解决的前提条件：① 不含以 $ϵ$ 为右部的产生式；② 不含回路 $P{\Rightarrow }^{+}P$（非终结符推出本身，没有其他符号）
  • 解决：将循环中的非终结符排序RQS，依次替换消除 或 消除直接左递归即可（排序不同，最终结果不同）
    

4.3 消除回溯 与 LL(1)文法

• FIRST集合

  • 定义
    令G是一个不含左递归的文法，对G的所有非终结符的每个候选 $\alpha$ 定义它的终结首符集FIRST($\alpha$)为：
    F I R S T ( α ) = { x ∣ α ⇒ ∗ x . . . , x ∈ V T } FIRST(\alpha) = \{x | \alpha\Rightarrow^{*} x..., x\in V_T\} FIRST(α)={x∣α⇒∗x...,x∈VT​}
    特别的，若 $\alpha {\Rightarrow }^{\ast }ϵ$，则规定 $ϵ\in FIRST(\alpha )$
  • 理解： $\alpha$能推出的任意串，这个串如果以终结符x开头，则这个终结符 x 就在FIRST集合中；此外FIRST集合中可能存在空字 $ϵ$

• 提取公共左因子
  

  • 目的：把每个非终结符(包括新定义的$A^{\prime }$等)的FIRST集变成两两不相交，进而在匹配字符时，能更准确的匹配某一个候选继续进行匹配，从而“避免”回溯问题
    
  • 缺点：提取公因子不能完全消除回溯，只能不断延后回溯的发生

• FOLLOW集合

  • 引入
    
    在上面的例子中，我们希望获得一个句型： $E\Rightarrow ...\Rightarrow i{T}^{\prime }$+$...$，其中的 + 号跟在$T^{\prime }$后面
  • FOLLOW集合 定义
    设 S 是文法G的开始符号，对G的所有非终结符A，A的FOLLOW集合为：
    F O L L O W ( A ) = { x ∣ S ⇒ ∗ . . . A x . . . , x ∈ V T } FOLLOW(A) = \{x | S\Rightarrow^{*} ...Ax..., x\in V_T\} FOLLOW(A)={x∣S⇒∗...Ax...,x∈VT​}
    特别的，若 $S{\Rightarrow }^{\ast }...A$，则规定 # $\in FOLLOW(A)$
  • 理解： 在某个句型中，跟在非终结符A后面的的终结符 x 在A的FOLLOW集合中

• LL(1)文法
  
  第一个 L：left to right，从左到右扫描输入串
  第二个 L：leftmost derivation，最左推导
  （1）：表示每一步只需向前查看 1 个字符

---

• 构造每个文法符号的FIRST集合
  对每一个 $A\in V_T\cup V_N$，连续使用下面的规则，直至每个集合FIRST不再增大为止：
  1. 若 $A\in V_T$，A是终结符，则 F I R S T ( A ) = { A } FIRST(A) = \{A\} FIRST(A)={A}
  2. 若 $A\in V_N$，A是非终结符，且有产生式 $A\to x...$，其中 $x$ 是一个终结符，则 把 $x$ 加入到 $FIRST(A)$中；
     若 $A\to ϵ$ 也是一条产生式，则把 $ϵ$ 也加入到 $FIRST(A)$中
  3. 若 $A\to B...$是产生式，且$B$是非终结符，则把 $FIRST(B)$中的 非 $ϵ$ 元素都加到$FIRST(A)$中
  4. 若 $A\to B_1{B}_2...B_i...B_k$是产生式，且$B_1{B}_2...B_{i-1}{B}_i...B_k$都是非终结符
     ① 对于所有$j$，$1\le j\le i-1$，$FIRST(B_j)$都含有 $ϵ$ (即$B_1...B_{i-1}{\Rightarrow }^{\ast }ϵ$)，则把$FIRST(B_i)$中的所有非 $ϵ$ 元素都加到 $FIRST(A)$ 中
     ② 若所有的 $FIRST(B_j)$ 均含有 $ϵ$，$j=1,2,...,k$，则把 $ϵ$ 加到 $FIRST(A)$ 中
• 构造任何符号串的FIRST集合
  对文法G的任何符号串 $\alpha =X_1{X}_2...X_n$ 构造集合 $FIRST(\alpha )$
  1. 置 $FIRST(\alpha )=FIRST(X_1)$ \ { ϵ } \{\epsilon\} {ϵ}
  2. 若对任何 $1\le j\le i-1,ϵ\in FIRST(X_j)$，则把$FIRST(X_j)$ \ { ϵ } \{\epsilon\} {ϵ} 加至$FIRST(\alpha )$中
     特别的，若所有的 $FIRST(X_j)$ 都含有 $ϵ,1\le j\le n$，则把$ϵ$也加至$FIRST(\alpha )$中
     若 $\alpha =ϵ$，则 F I R S T ( α ) = { ϵ } FIRST(\alpha) = \{\epsilon\} FIRST(α)={ϵ}

---

• 构造每个 非终结符 的 FOLLOW集合
  对于文法G的每个非终结符A构造FOLLOW(A)，连续使用下面的规则，直至每个FOLLOW集都不再增大为止：
  1. 对于文法的开始符号 S，置 # 于 FOLLOW(S)中
  2. 若$A\to \alpha B\beta$是一个产生式，则把 $FIRST(\beta )$ \ { ϵ } \{\epsilon\} {ϵ} 加至 $FOLLOW(B)$中
  3. 若$A\to \alpha B$是一个产生式，或 $A\to \alpha B\beta$ 且 $\beta {\Rightarrow }^{\ast }ϵ$ (即$ϵ\in FIRST(\beta )$)，则把FOLLOW(A)加至FOLLOW(B)中

---

练习

1. （4.2节 - 消除直接左递归)
   
   答：对于 E 的左递归，可以变为 $E\to T{E}^{\prime }$，$E^{\prime }\to +T{E}^{\prime }|ϵ$；对于 F 的左递归，可以变为 $T\to F{T}^{\prime }$，$T^{\prime }\to \ast F{T}^{\prime }|ϵ$；F没有左递归。
2. （4.2节 - 消除间接左递归）
   
   答：第①步，对 非终结符 排序：B，A，S
   第②步，遍历排好序的非终结符，进行 身后变量替换 或 消除直接左递归
   i = 1，B → Sa | a 无直接左递归，也不存在需要替换的身前语法变量
   i = 2，A → Bb | b，右侧的B在A前，替换B后得到 A → Sab | ab | b
   i = 3，S → Ac | c，右侧的A在S前，替换A得到 S → Sabc | abc | bc | c，发现直接左递归
   消除直接左递归，S → abcS’ | bcS’ | cS’，S’ → abcS’ | $ϵ$
   第③步，简化得到的文法（学校老师没说qwq ）

---

第5章 语法分析（自下向上）

5.1 LR(0)文法

• 拓展文法：
  G’(S’) = G(S) + { S’ → S }
• 项目