广工编译原理Chapter2老师自己做的选编.ppt

第2章 PL/0编译程序;PL/0编译程序;;PL/0语言;PL/0程序示例; PL/0语言是PASCAL语言的子集;分程序;const;PL/0语言文法的EBNF表示;例：用EBNF描述PL/0的定义;例：用EBNF描述程序的定义; 目标代码类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框图（见教材图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编译程序语法分析的设计与实现; ; ;ident; 自顶向下的语法分析;递归子程序法;例：如何用递归子程序法实现表达式的语法分析;因子的语法图;表达式的EBNF;〈表达式〉的递归子程序实现;〈项〉的递归子程序实现;〈因子〉的递归子程序实现; ; 程序 pl0;编译程序总体流程图; PL/0编译程序语义分析的设计与实现;说明部分的分析与处理;说明部分的分析与处理（程序）;;tx : table表的下标指针,是以值参数形式使用的。 dx: 计算每个变量在运行栈中相对本过程基地址的偏移量 ，放在table表中的adr域，生成目标代码时再放在code中的a域;变量定义语句的处理;变量说明处理;过程ENTER的实现;过程ENTER的实现;过程ENTER的实现;过程体的处理;赋值语句的处理; PL/0编译程序错误处理的实现; ;开始符号集合与后继符号集合;开始符号集合 symset=set of symbol; declbegsys, statbegsys, facbegsys:symset; 开始符号集合（*主程序*） declbegsys:=[constsym,varsym,procsym]; statbegsys:=[beginsym,callsym,ifsym, whilesym,readsym,writesym]; facbegsys:=[ident,number,lparen]; ;后继符号集合fsys作为参数： procedure test(s1,s2:symset; n:integer); procedure block(lev,tx:integer;