柳青《编译技术》Comp-Cha4.pptVIP

* （2）符号栈 用于存放文法符号，栈顶为推导过程中句型尚未匹配部分的开头符号。 分析开始时，栈底先放一个#，然后放进文法开始符号，即 （3）预测分析总控程序 总是按栈顶符号x和当前输入符号行事。 对于任何（x,a），总控程序每次都执行下述三种可能动作之一： （a）若x=a=‘#’，则宣布分析成功。 （b）若x=a?‘#’，则把x从栈顶逐出，指针指向下一输入符号。 （c）若x是一个非终结符，则查看分析表M。 ①如果M[A, a]中存放关于X的一个产生式，那么，首先把X顶出栈，然后把产生式右部符号串按反序一一推进栈。 ②如果M[A, a]中存放“出错标志”，则调用出错处理程序ERROR。 综合例题 S # * 4.5 实例：PL/0编译程序的语法分析 PL/0编译程序语法分析方法是确定的自顶向下分析，采用的是递归子程序法。 PL/0编译程序总体流程图如下： 启动 置初值 调用GETSYM取单词 调用BLOCK过程 出错 当前单词是否为源程序结束符‘·’？ 源程序中是否有错误？ 打印错误 调用解释过程INTERPRET解释执行目标程序 结束 N Y N Y 从图中可看出， BLOCK过程是整个编译过程的核心， 它完成了语法分析和代码生成的任务。 * PL/0编译程序是用PASCAL语言书写的， 整个编译程序是由18个嵌套及并列的过程或函数组成， 如下表所示: 过程或函数名 简要功能说明 PL0 error getsym getch gen test block enter position（函数） constdeclaration vardeclaration listcode statement expression term factor condition interpret base（函数） 主程序 出错处理，打印出错位置和错误编码 词法分析，读取一个单词 滤掉空格，读取一个字符 生成目标代码，并送入目标程序区 测试当前单词符号是否合法 分程序分析处理过程 登录名字表 查找标识符在名字表中位置 常量定义处理 变量说明处理 列出目标代码清单 语句部分处理 表达式处理 项处理 因子处理 条件处理 对目标代码的解释执行程序 通过静态链求出数据区的基地址 PL/0编译程序的过程或函数的功能表 * plo error getsym getch gen test block enter position constdeclaration vardeclaration listcode statement expression term factor condition interpret base 这些过程或函数的嵌套定义层次结构如图: 各分析子程序之间的调用关系如下图： 分 程 序 语 句 条 件 表 达 式 工 页 因 子 * PL/0语法调用关系图。 程 序 注 解 PROCEDURE statement (fsys:symset); var i, xc1, cx2: integer; procedure expression (fsys:symset); var addop:symbol; procedure term (fsys:symset); var mulop:symbol; procedure factor (fsys:symset); var i:integer; begin while sym in facbegsys do begin if sym=ident then