第二章PL0编译的实现材料.pptVIP

PL/0语言的编译程序是用高级语言PASCAL语言编写的。程序由嵌套、过程和函数构成，采用一趟扫描方法。采用自顶向下的递归子程序法。所产生的目标程序为假想栈式计算机的汇编语言。 PL/0语言编译程序是适合教学用的，它的数据类型只有整形数，数据运算只有四则运算。语句有赋值语句、条件语句、WHILE循环语句、输出、输入语句和不带参数允许递归调用的过程语句及复合语句。 第二章 PL/0编译程序的实现 2.1.1 PL/0语言的语法描述图 下面借用语法图来描述语法规则。其中： 英文表示终结符，中文表示非终结符。 终结符：构成语言文法的单词，是语法成分 的最小单位。 非终结符：是个语法成分,还没有进行分析。 程序 2.1 PL/0 语言描述 分程序 语句 条件： 表达式 项 因子： 2.12 PL/0 语言文法的EBNF表示 EBNF：扩充的巴科斯-瑙尔范式，是对文法的一种描述形式。其符号说明如下： ：括号的中文表示语法成分，为非终结符 = ：表示定义为 | ：表示“或”关系 { } ：括号内的语法成分可以重复 [ ] ：括号内的成分为任选项 ( ) : 括号内的成分优先 2.2 PL/0编译程序的结构 编译过程采用一遍扫描方式。以语法分析程序为核心。 词法分析程序 语法分析程序 代码生成程序 表格管理程序 出错处理程序 源程序 目标程序 PL/0编译程序的过程或函数的功能表见表2.1 过程或函数的嵌套定义层次结构如图2.3所示 语法分析程序 图2.4 PL/0编译程序总体流程图 词法分析程序是为语法分析提供单词用的，是语法分析的基础。它把输入的字符串形式的源程序分割成一个个单词符号。编译器为此设置了3个全程量的公用单元为： SYM：存放每个单词的类别 ID：存放用户所定义的标识符的值 NUM：存放用户定义的数 2.3 PL/0编译程序的词法分析 单词的种类有五种： 1．? 基本字：也称保留字，如END、IF等 2．? 运算符：如+、—、*、/、 =、# 等等 3．? 标识符：用户定义的变量名、常数名、 过程名 4．? 常数：如100等整数 5．? 界符：如‘，’、‘.’、‘（’‘；’ 等 词法分析程序完成下列任务： 1.滤空格：语法分析时没用 2.识别保留字：对应的类别放在SYM中，若查不到，认为是用户定义的标识符 3.识别标识符：对用户定义的标识符放在SMY中，标识符本身的值放在ID中 4.拼数：所取单词是数字时，将数的类别放在SYM中，数值本身的值存放在NUM中 5.拼复合词：对两个字符组成的算符进行识别(=) 6.输出源程序：边读入字符边输出 取字符过程 GETCH 所用单元说明: CH: 存放当前读取的字符,初字为空 LINE:一维数组,数组元素是字符,界对为1:80.用于输入一行字符的缓冲区 LL和CC为计数器,初值为0 2.4 PL/0语言的语法语义分析 语法分析的任务，是识别由词法分析给出的单词符号序列在结构上是否符合给定的文法规则。 语法分析从读入第一个单词由非终极符“程序”即开始符出发，沿语法描述图箭头所指出的方向进行分析。 如果一个PL/0语言的单词系列在整个语法分析中，每个单词都能逐个得到匹配，直到程序结束符“.”, 这时就说所输入的程序是正确的,对于正确的语法分析做相应的语义翻译,最终得出目标程序。 程序 →分 程 序?→ · 表2.2 TABLE表中信息 2.5 PL/0 编译程序目标代码结构和代码生成 代码指令有8条： LIT：将常量值取到运行栈顶 LOD：将变量放到栈顶 STO：将栈顶内容送入变量单元 CAL：调用过程的指令 INT：为被调用的过程在运行栈中开辟数据区 JMP：无条件转移指令 JPC：条件转移指令 OPR：关系运算和算术运算指令 指令格式如下: f:功能码 l:层次差 a:针对不同指令 f l a PL/0源程序与目标程序例: 2.6 语法错误处理： PL/0编译程序对语法错误的处理采用两种方法： 1.对于有些易于校正的错误如丢了逗号、分号等，则指出出错位置，并加以校正。校正的方式就是补上逗号或分号。 2．有些错误编译程序难于确定校正的措施。为了使当前的错误不致影响整个程序的崩溃，把错误尽量局限在一个局部的语法单位中。这样就需要跳过一些后面输入的单词符号，直到读入一个能使编译程序恢复正常语法分析工作的单词为止。 2.7 PL/0语言目标程序解释执行时的存储分配 当源程序经过语法分析，如果未发现错误时，由编译程序调用解释程序，对存放在CODE中的目标程序代码进行解释执行。当编译结束后，记录源