2019-06-23-编译原理考前小册

2019-06-23-编译原理考前小册

CH-2.

语言、句子、句型

直接一步

大写到最下

一步

句柄最左

CH-3

*和非*

子集法

合并

CH-4 LL1

是不是LL1：相同左、递归与间接递归

消除之后验证SEL不相交。

展开文法

求大写FIR FO α⇒ε，约定ε∈FIRST(α)。

SELECT= FIR（后）或者推空：（FIR（后）-e）U（FO（前））

同一大写交集

左边遇到SEL，用什么产生式

LL1 栈反过来，输入一步，相同的规约一次。#S和式子#，#和#

栈，输入，式子

CH-5

最右推倒逆过程：规约

= ab aBb

+T: + < FIR(T)

T+: LAS(T)>+

FIR：b.. Cb…

LAS: ..b …bC

上面一个，下面一排，刷新比较

栈，输入，动作（移进，规约）

CH6 LR0

DFA ：点划分、点后推倒，为空一个点不推倒

LR0扩展

LR0到NFA：数量相等；点后空; 规约终态；接受*

制作DFA

冲突判断是不是LR1

冲突的规约FO（左）与射出

分析表规约只需写FO

四态分析：状态栈

孔：

常量合并，常量传播，代数化简，强度削弱

基本块内：

① 合并已知常量 ②删除多余运算

常量合并，常量传播，

删除公共子表达式。复写传播，删除无用赋值，代数化简，

块外循环：

代码外提，归纳变量删除（强度削弱）

求LR1