资源描述:
《编译原理compiler2_一个微小编译器.ppt》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、第二章一个微小编译器2.1Micro语言描述2.2Micro语言的词法分析2.3Micro语言的语法分析2.4Micro语言的语义分析2.5Micro语言的目标代码第二章一个微小编译器2.1Micro语言描述Micro语言(称Micro,Pascal语言的子集)程序组成变量声明序列语句序列赋值语句输入语句输出语句beginvarx1:real;varz1:real;x1:=0.5;z1:=x1+56;write(z1+2.3);read(x1)end.Micro的有用单词的种类:以字母开头:保留字:begin,en
2、d,var,read,write,int,real标识符:字母/数字串以数字开头:整常数:数字开头的数字串实常数:整数.整数符号词:+,-,*,/,(,),:,:=,;,.控制词:enter2.2Micro语言的词法分析(单词的分析)1.特点:不依赖于语法分析,只依赖于单词的文法定义2.任务:程序的字符串序列Token序列(单词的内部表示)保留字:$begin,$end,$var,$read,$write,$int,$real标识符:($id,标识符)整常数:($intC,整常数)实常数:($reaC,实常数)符号
3、词:$plus,$sub,$mult,$div,$Lparen,$Rparen,$colon,$assig,$semi,$line,$stop(+,-,*,/,(,),:,:=,;,enter,.)输入输出例:beginvarx1:real;varz1:real;x1:=0.5;z1:=x1+56;write(z1+2.3);read(x1)end.$begin$var($id,x1)$colon$real$semi$line$var($id,z1)$colon$real$semi$line($id,x1)$ass
4、ig($reaC,0.5)$semi$line($id,z1)$assig($id,x1)$plus($intC,56)$semi$line$write$Lparen($id,z1)$plus($reaC,2.3)$Rparen$semi$line$read$Lparen($id,x1)$Rparen$line$end$stop#程序的字符串序列Token序列3.Micro语言的词法分析程序Procedurescanner();beginwhile~Eofdo{Noblank(ch);casechof‘A’..’Z
5、’
6、’a’..’z’{Identifier(name);casenameof“begin”GenToken($begin);“end”GenToken($end);“var”GenToken($var);“int”GenToken($int);“real”GenToken($real);“read”GenToken($read);“write”GenToken($write);otherGenToken($id,name);end};Noblank(ch):跳过空格符串将第一个非空格字符读到ch中(删除空格符)例:
7、beginvarx1:real;varz1:real;x1:=0.5;z1:=x1+56;write(z1+2.3);read(x1)end.‘0’..’9’{Constant(class,C);GenToken(Class,C)};‘(’GenToken($Lparen);Read(ch);‘)’GenToken($Rparen);Read(ch);‘+’GenToken($plus);Read(ch);‘*’GenToken($mult);Read(ch);‘;’GenToken($semi);Read(ch)
8、;‘:’{Read(ch);ifch=‘=’then{GenToken($assig);Read(ch)}elseGenToken($colon)}‘.’GenToken($stop);Read(ch);‘enter’GenToken($line);Read(ch);‘other’LexicalError(ch)end}endProcedureIdentifier(name:string);Beginname:=“”;Append(name,ch);Read(ch);whileisLetter(ch)orisDig
9、it(ch)do{Append(name,ch);Read(ch);}EndMicro语言的词法分析程序的相关子程序(1)——读标识符,保留字(关键字)Identifier(name):从输入流把当前标识符名读到name中(它可能是保留字)。在调用时,当前字符一定是字母,且已被读到ch中。isLetter(ch):如果ch是字母,则取true,否则取fal