Exam

1. 正则表达式与自动机

1. 结合RE，使用Thompson构造法构造等价NFA，状态的合并需要体现出来(比如状态1和状态8)，使用0-n进行编号

2. 使用子集构造法构造等价的DFA：使用A-Z进行编号

s t e p 1 : A = { 0 , 1 , 2 , 4 , 7 } ⇔ ϵ − c l o s u r e ( 0 ) s t e p 2 : B = { 1 , 2 , 3 , 4 , 6 , 7 , 8 } n o t e : A → N F A a { 3 , 8 } → m o v e ϵ − c l o s u r e B . . . step1: A = \{0, 1, 2, 4, 7\} \Leftrightarrow \epsilon-closure(0) \\ step2: B = \{1, 2, 3, 4, 6, 7, 8\} \\ note: A \xrightarrow[NFA]{a} \{3, 8\} \xrightarrow[move]{\epsilon-closure} B \\ ... \\ step1:A={0,1,2,4,7}⇔ϵ−closure(0)step2:B={1,2,3,4,6,7,8}note:Aa NFA​{3,8}ϵ−closure move​B...

3. 最小化DFA：识别等价状态，使用划分的方法，首先分离终止状态，使用0-n进行编号

$$s\nsim t\iff \exists a\in \Sigma .(s\stackrel{a}{}{s}^{\prime })\wedge (t\stackrel{a}{}{t}^{\prime })\wedge (s^{\prime }\nsim t^{\prime })$$

4. 最小DFA转换为RE：一共做状态数次

5. 别忘了画终止状态标识

2. First、Follow集合与LL(1)文法

1. 计算First集合

2. 计算Follow集合：注意开始符号的含义是第一条表达式的左侧元素

3. 得到文法分析表

$$\begin{array}{lc}t\in First(\alpha )& (1)\\ \alpha \stackrel{\ast }{}ϵ\wedge t\in Follow(A)& (2)\end{array}$$

4. 判断是否为LL(1)文法：是否无冲突，检查是否有一个单元格中有超过一个表达式
5. 得到LL(1)语法分析器的伪代码

3. LR语法分析器

3.1. LR(0)

1. 增广文法：增加生成式$L^{\prime }\to L$
2. 使用·来代表栈顶
3. 非acc的栈顶执行规约操作
4. 闭包计算

4. 表中没有冲突项则LR(0)文法是无二义的

3.2. SLR(1)

1. 规约:$(3) [k:A \rightarrow \alpha·] \in I_i \wedge A \neq S’ \Rightarrow \forall t \in Follow(A) \cup {$}. ACTION[i, t] = rk$，要规约就是我们发现了完整的右部($A \rightarrow \alpha$，并且当前符号为$t$)，如果t不在Follow(A)中，那么不可能有一个句型包含t。
2. 只需要在LR(0)的基础上检查follow集合：检查规约的表达式的具体情况($L\to P\cdot$)

3. 规约过程见例题：要仔细注意规约表达式的使用。

3.3. LR(1)

1. $[A \rightarrow \alpha·\beta, a] (a \in T \cup {$})$，此处,a是向前看符号,数量为1，使用a来记住$\gamma$
2. 闭包计算(务必注意)：注意是在原生成式上的操作，是否执行规约操作和a中的元素有关

3.4. LALR(1)

1. 将相同的状态进行合并

4. 语法制导的翻译方案

1. S属性
   1. 节点N上的综合属性只能通过N的子节点或N本身的属性来定义。
   2. 直观上就是要么能被子节点计算得到，要么是自身持有。
2. L属性：继承属性，从父节点或兄弟节点获取到的

5. 中间代码生成

1. 添加语句的语义规则：注意label、goto和code即可
2. 为代码片段生成中间代码
3. 基于布尔表达式与控制流语句回填翻译方法为语句设计回填方案：引入非终结符
4. 使用回填方案为以下代码片段生成中间代码