《编译原理》第2章-一个微小的编译器.pptVIP

第二章 一个微小的编译器 小语言ToyL的定义 ToyL语言词法分析器 ToyL语言语法分析器 ToyL语言解释器 ToyL语言编译器 1. 小语言ToyL的定义 Prog ::= begin SL end SL ::= S | S ; SL S ::= id:= E | write(E) | read(id) E ::= U | U + E | U * E U ::= id | num 1. 小语言ToyL的定义 程序例： begin x1 := 0.5 ; z1 := x1 + 55 ; write( z1 +5.5 ); read( x1 ) ; z1 :=z1 + x1 end 2. ToyL语言词法分析器 任务：从程序文本中分离出单词，并确定其类别 ToyL语言单词的种类： 整数：num 变量：id 保留字：begin, end, read, write, 运算符：+，*，:= 格式符：空格，回车，换行，文件结束符EOF 分隔符：(,),; 2. ToyL语言词法分析器 单词的内部表示Token: (class, seman) begin: (BEGIN, “begin”) end: (END, “end”) read: (READ,”read”) write: (WRITE, “write”) num: (NUM, digit(num)) id: (ID, name(id)) +: (PLUS, “+”) *: (MULT, “*”) :=: (ASSIG, “:=”) (: (OPEN, “(”) ): (CLOSE, “)”) ; : (SEMI, “;”) eof: (EOF, “\0”) 2. ToyL语言词法分析器 词法分析过程： 读当前字符流，直至文件结束。如果是： (1)标识符时判断是保留字还是变量标识 符，构造Token表示 (2)数字时判断是整型还是实型，构造 Token表示 (3)构造其它合法的符号的Token表示 (4)遇到非法符号则报错。 2. ToyL语言词法分析器 3. ToyL语言语法分析器 任务：检查源程序是否是合法的单词序列，若有错误，则指出错误的位置和性质。构造语法短语的表示形式（语法树） 输入：是词法分析后所得的Token序列。 说明：语法分析只用到单词的Token表示，并不改变单词的Token表示。 3. ToyL语言语法分析器 三个函数：next_token(tk)、token(CLASS)、back_token() 只读而不检查的Token函数next_token(tk ) 读并检查的Token 函数token(CLASS) 将程序文件的指针倒退到已读单词的第一字符位置上的回溯函数back_token()。为了能倒退到已读单词的位置上，每当读新单词时，把当前单词的文件位置保存到old_fp中。 3. ToyL语言语法分析器 void prog_parser() { token(BEGIN); while( tk.class!=END ){ next_token(tk); switch(tk.class) { case READ : token(OPEN); token(IDEN); token(CLOSE); break; case WRITE: token(OPEN); expr_parser(); token(CLOSE); break; case IDEN: token(ASS); expr_parser(); break; default :error() } token(SEMI); } token(END); return; }