编译原理实践—PL的语法程序构造重点分析.pptVIP

编译原理实践--PL/0的语法分析程序构造 由语法图到过程调用相关图 从相关图到程序的总体结构 写出每一个语法分析子程序 语法分析程序的扩充 PL/0语法分析程序及其执行 PL/0编译程序在对PL/0源程序编译时，要经历词法分析、语法分析、出错处理、代码生成和解释执行一系列过程 自顶向下、逐步扩充、分阶段实施 “结构化程序设计方法” 1.由语法图到过程调用相关图 program block statement condition expression term factor 2.从相关图到程序的总体结构 program PL0; procedure getsym; procedure getch; procedure block; procedure statement; procedure expression; procedure term; procedure factor; procedure condition; getch; getsym; factor; term; expression; condition; statement; block; main program; 3.写出每一个语法分析子程序 按照“从语法图到语法分析程序转换”的有关法则，就能系统地写出各个非终结符语法图对应的语法分析子程序 语法图?SI-NS图?PASCAL子程序 3.1.factor 3.2.term 3.3expression 3.4condition 3.5statement 3.6block 4.语法分析程序的扩充 建立符号表与主程序的扩充 建立error子过程过程和出错信息表 标识符的处理与程序的扩充 4.1建立符号表与主程序的扩充 在主程序的说明部分，对PL/0语言的符号类型symbol及其取值范围做了说明 在主程序部分，对PL/0语言的所有保留字相应的符号，以及在词法分析程序getsym里最后要确定的各个单字符做了定义 4.2建立error子程序过程和出错信息表 error子程序过程：语法分析过程中，一旦遇到语法错误调用error过程时，它能指明错误的类别号，然后执行halt procedure error(n: integer); begin writeln(:cc-1,^,n:2); halt; end(* error *); 出错信息表 4.3标识符的处理和程序的扩充 登记标识符表：table数组，以及它的一个纪录分量kind的类型object 登记标识符入表的enter过程，搜索标识符的函数position procedure enter(k:objekt); begin (*enter objekt into table*) tx:=tx+1; with table[tx] do begin name:=id; kind:=k; end end(*enter*); function position(id:alfa):integer; var i:integer; begin(* find identifier id in table *) table[0].name:=id; i:=tx; while table[i].nameid do i:=i-1; position:=i end(* position *); 扩充常量说明、变量说明和过程说明 扩充涉及调用标识符的有关赋值语句、过程调用语句，还有表达式等。 5.PL/0语法分析程序及其执行 program4.pas