一个微小编译器.pptVIP

Thank you 第二章 一个微小的编译器 小语言Micro的定义 Micro程序的编译过程 表达式的处理 小语言Micro的定义 P ? begin VDL;SL end. VDL ? VD | VD ; VDL VD ? var id : T SL ? S | S ; SL S ? id:= E | write(E) | read(id) T ? integer | real E ? id | num | E + E | E * E |(E) 程序例： begin var x1:real ; var z1:real ; x1 := 0.5 ; z1 := x1 + 55 ; write( z1 +5.5 ); read( x1 ) ; z1 :=z1 + x1 end. Micro的词法分析 单词的种类 Token定义 词法分析过程 Micro的词法分析 Micro语言中单词的分类： 标识符：字母开头的字母/数字串 整常数：数字开头的数字串 实常数：整数.整数 保留字：begin end var read write integer real 符号词：+ * ( ) : := ; . 控制词：? (换行符） Micro的词法分析 TOKEN定义： 二元组（单词种类，单词自身值） 标识符的Token: ($id,标识符）如($id,x) 整常数的Token: ($intC,整常数）如（$intC,5) 实常数的Token: ($realC,实常数）如($realC,0.5) 保留字的Token: ($begin,-),($end,-),($var,-) … 符号词的Token: ($plus,-),($mult,-),($LParen,-)… 换行符的Token: ($line,-) Micro的词法分析 词法分析过程： 读当前字符流，直至文件结束。如果是： (1)标识符时判断是保留字还是变量标识 符，构造Token表示 (2)数字时判断是整型还是实型，构造 Token表示 (3)构造其它合法的符号的Token表示 (4)遇到非法符号则报错。 Micro的词法分析 ; ; ? ? ? ? ? ? l l a a e e 1 z 1 x △ a a r △ n i b e t i r w ; 5 5 + 1 x = : z 1 x 5 . 0 = 1 = z ; ) 1 ( d a e r ) ; . 5 1 z ( . # n d ? 1 x 1 z 图2.2.1 源程序在文件中的表示 e g v r r r v △ : : : ; + 5 V 1 + e : Micro的词法分析 ($id,z1) （$begin，－） ($line，-) ($line，-) （$semi，－） （$assig ，－） ($id,x1) （$semi，－） （$semi，－） （$real，－） （$real，－） （$colon，－） ($line，-) ($line，-) （$var，－） （$var，－） $assig ($realC，0.5) （$colon，－） ($id,x1) ($line，-) ($line，-) （$semi，－） ($intC，55) （$plus，－） （$assig，－） ($id,x1) ($id,z1) $Lparen，－） （$read，－） （$semi，－） ($realC，5.5) $Rparen，－） （$plus，－） ($id,z1) （$write，－） $Lparen，－) # （$stop ，－） （$end ，－） ($id,x1) （$plus ，－） ($id,z1) ($id,z1) （$semi，－） ($id,x1) $Rparen，－） 图2.2.2 词法分析后的TOKEN表示 Micro的语法分析 输入：是词法分析后所得的Token序列。 功能：进行语法检查。构造语法短语的 表示形式（语法树） 说明：语法分析只用到单词的Token表 示，并不改变单词的Token表示。 Micro程序结构语法图 I