东北大学秦皇岛分校编译原理 第二章课件.pptVIP

第2章 PL/0编译程序; PL/0编译程序;;PL/0语言; PL/0程序示例; ;const;PL/0语言文法的EBNF表示;例：用EBNF描述整数的定义 ：整数∷=[+|-]数字{数字}数字∷=0|1|2|3|4|5|6|7|8|9 或更好的写法 整数∷=[+|-]非零数字{数字}|0非零数字∷=1|2|3|4|5|6|7|8|9 数字∷=0|非零数字; PL/0语言是PASCAL语言的子集; 目标代码类pcode;指 令 功 能 表; const a=10;var b,c;procedure p; begin c:=b+a; end;begin read(b); while b#0 do begin call p; write(2*c); read(b); endend.; PL/0编译程序的结构;PL/0编译程序的总体设计; PL/0编译程序词法分析的设计与实现;词法分析过程GETSYM所要完成的任务： 读源程序（getch) 滤空格 识别保留字 识别标识符 拼数 识别单字符单词 拼双字符单词;词法分析过程:GETSYM框图（见教材图2.5） 程序（ procedure getsym） 当识别到标识符时先查保留字表 保留字表：（ begin (* main * ) ） word[1]:=‘begin ‘；word[2]:=‘call ‘； ... word[13]:=‘write ‘； 查到时找到相应的内部表示 Wsym[1]:=beginsym; wsym[2]:=callsym； … wsym[13]:=writesym； ;字符对应的单词表： ssym[‘+’]:=plus; ssym[‘-’]:=minus; … ssym[‘;’]:=semicolon; 词法分析如何把单词传递给语法分析 type symbol=(nul,ident,number,plus,…,varsym,procsym)； 3个全程量 sym:symbol; id:alfa; num:integer;;通过三个全程量 SYM 、ID和NUM 将识别出的单词信息传递给语法分析程序。 SYM：存放单词的类别 如：有程序段落为： begin initial := 60；end 对应单词翻译后变为： begin beginsym, initial ident, ‘:= ‘ becomes, 60 number, ‘；’ semicolon， end endsym 。 ID： 存放用户所定义的标识符的值 如： initial （在SYM中放ident，在ID中放initial） NUM：存放用户定义的数 如：60 （在SYM中放在number在NUM中放60）;使用状态转换图实现词法分析程序的设计方法;庄牙窟岩空妻巢哮总涝简工钻脾癌鳖部沟背坯幼岸获韧禄桥媳宫皂菊达慕东北大学秦皇岛分校编???原理 第二章课件东北大学秦皇岛分校编译原理 第二章课件; PL/0编译程序语法语义分析 PL/0编译程序语法分析的设计与实现; ;const;ident; 自顶向下的语法分析;递归子程序法; 程序 pl0;编译程序总体流程图; PL/0编译程序语义分析的设计与实现;说明部分的分析与处理;;tx ：table表的下标指针,是以值参数形式使用的。 dx: 计算每个变量在运行栈中相对本过程基地址的偏移量 ，放在table表中的adr域，生成目标代码时再放在code中的a域;过程体的处理;代码生成;PL/0编译程序错误处理的实现; ;类pcode代码解释器的实现;类pcode解释器的结构;目标代码解释执行时数据栈的布局（运行栈的存储分配）; 目标代码的解释执行 运行栈S;目标代码的解释执行;目标代码的解释执行;附 运行时数据栈S的变化状态