编译原理读书笔记之"虎书"

虎书（Tiger book）  英文名：Modern Compiler Implementation in C 
作者：Andrew W.Appel,with Jens Palsberg 

中文名：现代编译原理-C语言描述

现在又有了其它两个语言的版本

Modern Compiler Implementation in JAVA

Modern Compiler Implementation in ML

语法分析

1、LL(k)文法： （用于递归下降分析器。进行自顶向下的语法分析。方法是计算出非终结符的FIRST、FELLOW集，建立预测分析表。左递归消除是必须的）

第一个L表示从左到右扫描

第二个L表示最左推导

k表示最多向前使用几个token

LL(0)文法

S --> A

A --> + ID ID

ID --> a

该文法的推导过程不需要知道下一个token就能确定使用哪一个产生式进行推导

示例 +aa 的推导过程

S->A ---> + IDID  --> +aID  -->  +ab

LL(1)文法

产生式一： S --> A | B

产生式二： A --> + ID  ID

产生式三： B -->  - ID  ID

产生式四  :   ID --> a | b

示例 a+b 的推导过程 中 只需要向后搜索一个token 就能判断出来使用产生式三还是产生式四进行推导

预测分析表:

        预测分析表，罗列出在识别

完整示例

文法：

1.     S->AB

       A->CD

       B->+AB|-AB |ε

       C->ID|num|(S)

       D->*CD| /CD |ε

   构造预测分析表：（如果一个格内有两个产生式，那么就不是LL（1）文法

   	ID	num	(	)	+	-	*	/	#
   S	S->AB	S->AB	S->AB
   A	A->CD	A->CD	A->CD
   B				B->ε	B->+AB	B->-AB			B->ε
   C	C->ID	C->num	C->(S)
   D				D->ε	D->ε	D->ε	D->*CD	D->/CD	D->ε

LR(k)

LR(0)：每个状态（LR(0)项集）要么只包含归约，要么只包含移进，不用向前看token就知道是应该进行归约还是进行移进。