编译原理期末复习

文法，语言，自动机
文法	产生式	语言	自动机
0型	a-> B	短语结构语言，递归可枚举集	图灵机
1型	限制1	CSL	线性界限自动机
2型	限制2	CFL	下推自动机
3型	限制3	正规语言，正规集	有限自动机

4. 推导，分析树，语法树

推导的过程可以用一颗分析数来表示，称为分析树

语法树：描述上下文无关文法（2型文法）的句型推导，也叫推导树

最右推导：在推导的任何一步，都是最右非终结符进行替换，反之最左推导就是左非终结符的替换

最右推导称为规范推导

规范推导的逆过程，称为最左归约，也称规范归约

二义性：一个文法存在某个句子对应两颗不同的语法树

5. 句型的分析

推导过程：自顶向下的分析方法

归约过程：自底向上的分析法

6. 短语，直接短语，句柄

案例：

1. 给出最左推导，最右推导

2. 该文法产生式的集合，可能有哪些元素

3. 给出所有的短语，简单短语，句柄

答：1.最左推导：，最右推导略

2. 产生式集合：

S-> ABC| e

A-> a

B-> SBB|b

C-> Aa

可能的元素：ab,aabb ,ebb

3. 短语：

a 是A 的短语: a-> A;

b -> B;

bb -> B;

aa -> C

abbaa -> S;

直接短语： a,b;

句柄：a

有关文法的实用限制:

有害规则：是指像U->U这种没有必要的产生式，因为这会引起文法的二义性所以有害
多余规则：指文法中那些连一个句子的推导都用不到的规则，以两种形式出现：不可到达的、不可终止的

自上而下的语法分析

思想：

first集：第一个终结符号

follow集：后面紧跟着的终结符号

LL（1）文法：

1. 从左向右扫描输入字符串

2. 最左推导

3. 只需要向后看一个符号便可以决定如何推导

消除左递归：

例题： E-> E + T | T

消除左递归后：

$E\rightarrow T{E}'$

$E \rightarrow +T {E}' |\varepsilon$

first和follow 集合：

根据消除左递归后的文法，写出各非终结符的first和follow 集合：

文法：

first集合：

first(E) = { i,( }

first(E1) = { +,e }

first(T) = { i,( }

first(T1) = { *,e }

first(F) ={ i,( }

follow集合：1. 写入# 2. TE 则E的first(除过e)是T的follow 3. T->aEb （b->空）则follow(T)写入follow(E)

follow(E) =follow(E1) = { ), # }

follow(T) =follow(T1) = { +, ), # }

follow(F) = { * ,+ ,) , # }

构造预测分析表：

预测分析表
	i	+	*	(	)	#
E	TE1			TE1
E1		+TE1
T	FT1			FT1
T1			*FT1
F	i			(E)

自下而上语法分析（LR文法）

1. 构造移进-归约SLR分析表

s 表示 shift 移入动作；r 表示 reduced 归约

2. 用于归约处理的产生式文法：

3.分析输入序列的过程：

穿越到未来calc

关注

2
点赞
踩
9

收藏

觉得还不错? 一键收藏
0
评论
编译原理期末复习

目录第一章1. 编译程序与解释程序的异同2.编译过程概述3. 编译阶段的组合第二章：词法分析1.记号的识别：有限自动机第三章：语法分析（文法和语言）2. 文法和语言的形式定义：3.文法的类型4. 推导，分析树，语法树5. 句型的分析6. 短语，直接短语，句柄有关文法的实用限制:自上而下的语法分析LL（1）文法：消除左递归：first和follow 集合：构造预测分析表：自下而上语法分析（LR文法）相同点：都是进行翻译，将源程序翻译成目标程序不同：编译程序是整体翻译，解释程序是逐条翻译编译的各个阶段：词法分
复制链接

扫一扫