编译原理笔记

语法分析

元素

1. LL(1)分析
2. First 集合
3. Follow 集合
4. 文法$G=(V_N,V_T,P,S)$，其中$V_N$是非终结符，$V_T$是终结符，$P$是产生式，$S$是起始符号
5. 产生式的后缀$u$(自取，表示产生式箭头后的部分)
6. 预测集合$PS(A\to \alpha )$，其中$A\to \alpha$是一个产生式
7. 预测分析表$M$
8. 下推栈和余留字符串
9. 递归下降LL(1)分析程序
10. 左递归的文法(直接左递归，间接左递归)
    
11. 无回路的文法
12. 左公因子
    

符号表示

1. $S$为一个字符集合，那么$S^{\ast }$表示这个集合中的所能组合成的所有句子，包括$\epsilon$
   例子：{“ab”, “c”}* = {ε, “ab”, “c”, “abab”, “abc”, “cab”, “cc”, “ababab”, “ababc”, “abcab”, “abcc”, “cabab”, “cabc”, “ccab”, “ccc”, …}

关系

1. 给定一个文法$G$和一个集合$X_G$，其中 X G ⊂ { V N ∪ V T } ∗ X_G \subset \{V_N \cup V_T\}^* XG​⊂{VN​∪VT​}∗，求这个集合$X_G$的first集合

   1. 先求 { V N ∪ V T } \{V_N \cup V_T\} {VN​∪VT​}的first集合

      1. 对于$G$中的任何一个终结符$a$， f i r s t ( a ) = { a } first(a)=\{a\} first(a)={a}，包括 f i r s t ( ε ) = { ε } first(\varepsilon)=\{\varepsilon\} first(ε)={ε};对于$G$中任何一个非终结符$A$，$first(A)=\varnothing$

      2. 求$G$的所有产生式的后缀$u$的first集合
         举例，如产生式后缀$DaB$，假设$first(D)=d,\epsilon$，$first(B)=b$

         1. 对于任意一个$u$，$first(u)=\varnothing$
         2. 遍历$u$的所有字符
         3. 如果遇到的是一个非终结符$A$，
            1. 那么遍历它的first集合，将其终结符加入$first(u)$中(包括$varepsilon$)
            2. 如果$\epsilon \in first(A)$，那么继续查看下一个字符
            3. 否则将$first(u)$中的$varepsilon$删掉，直接退出
         4. 如果遇到的是一个终结符$a$
            1. 将$a$加入$first(u)$，将$first(u)$中的$varepsilon$删掉，退出

         以$DaB$为例，$D$的所有终结符$d$加入$first(u)$，$D$有$\epsilon$元素，那么查看下一个，下一个是终结符$a$，将$a$加入$first(u)$，退出，所以 f i r s t ( u ) = { d , a } first(u)=\{d,a\} first(u)={d,a}

      3. 将$G$的所有产生式的后缀$u$的first集合赋给其对应的非终结符

      4. 回到2，进行循环，直到集合中所有$u$的first集合相对于上一轮都不再变动

   2. $X_G$中字符串的first集合可以以1.1.2中的方法计算出来，所有的字符串的集合累积到一起就是$X_G$的first集合

2. 给定一个文法$G$，对所有属于$V_N$的非终结符$A$，求$Follow(A)$
   

3. 给定一个文法$G$和其中的一个产生式$A\to \alpha$求这个产生式的预测集合

   1. 如果$\epsilon \notin First(\alpha )$，那么$PS(A\to \alpha )=First(\alpha )$
   2. 如果$\epsilon \in First(\alpha )$，那么 P S ( A → α ) = ( F i r s t ( α ) − { ε } ) ∪ F o l l o w ( A ) PS(A\rightarrow \alpha) = (First(\alpha)-\{\varepsilon \})\cup Follow(A) PS(A→α)=(First(α)−{ε})∪Follow(A)

4. 给定一个文法$G$，判断该文法是否是LL(1)的
   文法$G$是LL(1)的，当且仅当对于$G$中任何两个相同左部的不同产生式$A\to \alpha$和$A\to \beta$，都满足$PS(A\to \alpha )\cap PS(A\to \beta )=\varnothing$

5. 给定一个文法$G=(V_N,V_T,P,S)$，求它的预测分析表$M$

   1. 搭建表的框架，表的每一行都对应$G$的一个非终结符，表的每一列对应$G$的所有终结符加上#符号
      
   2. 往表内填写内容，检查文法的每一个产生式$A\to \alpha$，若它的预测集合$PS(A\to \alpha )$中包含 a ∈ V T ∪ { # } a\in V_T\cup \{\#\} a∈VT​∪{#}，则将$A\to \alpha$加入$M[A,a]$（即表$M$中$A$,$a$对应的位置）

6. 给定一个文法$G$与它的预测分析表，求它的LL(1)分析过程

   1. 创建两个栈：下推栈和余留字符串，并将#号分别推入两个栈中
   2. 将初始符号$S$推入下推栈，将输入的符号串推入余留字符串(注：右边的字符先入栈)
   3. 检查下推栈栈顶
      1. 如果栈顶是终结符，那么比对下推栈和余留字符串的栈顶是否匹配，若匹配就将两个栈顶都弹出，不匹配就进行错误处理。
      2. 如果栈顶是非终结符，则以该非终结符和余留字符串的栈顶作为坐标到预测分析表中查找，如果对应位置是一个产生式，那么将下推栈栈顶出栈，并将该产生式的后缀入栈(注：右边的字符先入栈)；如果对应位置为空，那么报错
   4. 回到3进行循环，直到两栈栈顶同时为#，分析结束

7. 给定一个文法$G$，写出它的递归下降LL(1)分析程序

   1. 先求出$G$中所有非终结符的预测集合
   2. 对于$G$中的每一个非终结符$A$，
      1. 找到$A$的产生式集合$A\to u_1|u_2|...|u_n$
      2. 写出它的一个函数void ParseA()，其结构为

         	void ParseA(){
         		switch (lookahead){
         			case PS(A->u1):
         				...
         				break;
         			case PS(A->u2):
         				...
         				break;
         			...
         			case PS(A->un):
         				...
         				break;
         			default:
         				printf("syntax error\n");
         				exit(0);
         		}
         	}
         	// 这里lookahead是一个全局变量，存放扫描的终结符
         

      3. 对于每一个case，遍历其产生式后缀从左到右的符号
         1. 如果是一个终结符$a$，那么写上一句MatchToken(a);
         2. 如果是一个非终结符$A$，那么写上一句ParseA();
   3. 给出MatchToken的逻辑

      	void MatchToken(int expected){
      		if (lookahead != expected){
      			printf("syntax error\n");
      			exit(0);
      		}
      		else
      			lookahead = getToken();
      	}
      

8. 给定一个含有直接左递归的产生式，将其消除左递归
   假设这个产生式为
   $$P\to P{\alpha }_1|P\alpha 2|...|P{\alpha }_m|{\beta }_1|{\beta }_2|...|{\beta }_n$$
   其中${\alpha }_i\ne \epsilon$，${\beta }_j$不以$P$开头

   1. 增加一个非终结符$Q$
   2. 将产生式改为
      $$\begin{array}{rl}& P\to {\beta }_{1}Q|{\beta }_{2}Q|...|{\beta }_{n}Q\\ & Q\to {\alpha }_{1}Q|{\alpha }_{2}Q|...|{\alpha }_{m}Q|\epsilon \end{array}$$

9. 给定一个无回路，无$\epsilon$产生式的文法，将其消除左递归(包括两种左递归)
   (一般题目给定的应该就是无回路也无$\epsilon$产生式的文法)

   1. 以某种顺序(随便的顺序)将文法非终结符排列成$A_1,A_2,...A_n$
   2. 进行消除
   3. 化简从2中得到的产生式集

10. 给定一个产生式，提取其左公因子
    假设该产生式为
    $$P\to \alpha {\beta }_1|\alpha {\beta }_2|...|\alpha {\beta }_m|{\gamma }_1|{\gamma }_2|...|{\gamma }_n$$

    1. 增加一个非终结符$Q$
    2. 改写产生式为
       $$\begin{array}{rl}& P\to \alpha Q|{\gamma }_1|{\gamma }_2|...|{\gamma }_n\\ & Q\to {\beta }_1|{\beta }_2|...|{\beta }_m\end{array}$$