态栈定义状态栈的定义表达式为赋值语句，表达式为布尔表达式。

五编译程序运行测试测试得源程序如下经编译程序运行后得到的输出结果如下词法分析结果程序总共行，产生了个二元式，变量表状态栈变化过程及规约顺序归约归约归约归约归约归约归约归约归约归约归约四元式分析结果布尔表达式的分析表设计如下过程略分析表控制语义加工的实现当扫描分析表的当前状态为归约状态时，则在调用与该状态对应的产生式进行归约的同时，调用相应的语义子程序进行有关的翻译工作。

现在对分析器的分析栈加以扩充，使得每个文法符号之后都跟着它的语义值。

为了清晰起见，我们把这个栈的每项看成由三部分组成状态，文法符号和语义值。

编译程序实现算术表达式布尔表达式及程序语句的语义加工时，都是按这种状态栈加工方式进行的。

例如的分析过程序号是，在完成的翻译之前，这条无条件转移指令的转移目标是不知道的。

甚至，在翻译完之后，这条转移指令的转移目标仍无法确定。

这种情形是由于语句的嵌套性所引起的。

例如下面的语句在的代码之后的那条无条件转移指令不仅应跨越而且应跨越。

这也就是说，转移目标的确定和语句所处的环境密切相关。

条件循环语句条件循环语句通常被翻译成图的代码结构。

布尔式的真出口出向代码段的第个四元式。

紧接代码段之后应产生条转向测试的无条件转移指令。

的假出口将导致程序控制离开整个语句。

的假出口目标即使在整个语句翻译完之后也未必明确。

例如这种情况仍是由于语句的嵌套性引起的。

所以，我们只好把它作为语句的语义值暂留下来，以便在处理外层语句时再伺机回填。

语法翻译实现方法将上述语法翻译付诸实现过程中，我们仅保留了算术表达式和布尔表达式翻译的文法和语义动作面对程序语句的翻译，由于改造后含有较多的非终结符且语义动作又相对简单，故仍恢复为改造之前的程序语句文法。

由于总体上构造个分析表来实现语法分析及语义加工将使得所构造的分析表过大，所以将其分为下面三部分处理对算术表达式单独处理，即为算术表达式构造个分析表，并将赋值语句与算术表达式归为类处理，处理之后的赋值语句仅看作为程序语句文法中的个终结符。

对布尔表达式也单独处理，并为其构造个分析表，经分析表处理后的布尔表达式看作为程序语句文法中的个终结符。

程序语句文法此时变为此时为程序语句构造相应的分析表就简单多了。

前面的程序语句文法中所添加的非终结符是为了能及时回填有关四元式转移目标而引入的，在取消了这些非终结符后又如何解决及时回填转移目标的问题呢我们采取的解决方法是增加两个数组和来分别记录语句嵌套中每层布尔表达式如果有的话的首地址以及每层如果有的话之前的四元式地址即无条件转出此层语句的四元式。

也即，对程序语句的翻译来说在处理完布尔表达式后，回填或语句的真值链在归约完每个语句之后检查符号栈，看在之前的文法符号是否或，若是则回填假值链假值入口为语句所对应的四元式序列之后对语句，此时已在该序列之后加入了条无条件转移的四元式在语句中，前面要加入个无条件转移的四元式转向语句末尾在语句尾要有个无条件转移四元式转向语句开头。

四数据结构说明编译程序中涉及到的数据结构说明如下当前字符存放识别的字行字符缓冲区字符缓冲区指针在分析过程中，第步操作后的状态栈为，根据栈顶状态和现行输入符号栏字符串的第个字符查分析表即按第个产生式来进行归约由于产生式右部仅含项，故去掉状态栈栈顶此时变为新的栈顶状态，再查，的下状态即将状态和文法符号压栈，最后得到第步的状态。

第步操作后也是如此，当前状态栈为，根据栈顶状态和现行输入符号查分析表即按第个产生式进行归约由于产生式右部有三项，故去掉状态栈栈顶的三项此时变为新的栈顶状态，再查，的下状态即将状态和文法符号压栈，最后得到第步的状态。

三中间代码生成器设计布尔表达式布尔表达式在程序语言中有两个基本作用是用作控制语句如或语句的条件式二是用于逻辑演算，计算逻辑值。

布尔表达式是由布尔算符，作用于布尔变量或常数或关系表达式而形成的。

关系表达式的形式是，其中是关系符如或，和是算术式。

在这里，我们只考虑前面给定文法所产生的布尔表达式，遵照我们的约定，布尔算符的优先顺序从高到低为并假定和都服从左结合规则。

所有关系符的优先级都是相同的，而且高于任何布尔算符，低于任何算术算符，关系算符不得结合。

表达式的真假出口的确定考虑表达式，若为真，则立即知道也为真因此，的真出口也就是整个的真出口。

若为假，则必须被计值，的第个四元式就是的假出口。

当然，的真假出口也就是整个的真假出口。

类似的考虑适用于对的翻译，我们将和的翻译用下图表示，在自下而上的分析过程中，个布尔式的真假出口往往不能在产生四元式的同时就填上。

我们只好把这种未完成的四元式的地址编号作为的语义值暂存起来，待到整个表达式的四元式产生完毕之后再来回填这个未填入的转移目标。

条件语句对条件语句中的布尔表达式，其作用仅在于控制对和的选择。

因此，作为转移条件的布尔式，我们可以赋予它两种出口是真出口，出向是假出口，出向。

于是，的代码条件语句可以翻译成如图的般形式。

非终结符具有两项语义值和，它们分别指出了尚待回填真的代码假出口的四元式串。

的真出口只有在往回扫描到时才能知道，而它图条件语句的代码结构的假出口则需到处理过并且到达才能明确。

这就是说，必须把的值传下去，以便到达相应的时才进行回填。

另外，当语句执行完时意味着整个语句也已执行完毕因此，在的编码之后应产生条无条件转移指令。

这条转移指令将导致程序控制离开整个语句。

真值或假值的拉链和返填工作，以便转移目标的正确填入。

控制语句的分析表设计过程如下将扩展文法用∈方法构造项目规范簇为构造文法中非终结符的集如下在项目规范簇中，只有有移进归约冲突，因为∩∮所以可以用方法解决以上冲突，最后我们得到的分析表如下其中，前列为值，后列为值表示个移进状态即表示出错表示分析成功而对应归约产生式算术表达式的分析表设计如下过程略语言编译器的设计与实现我们设计的编译程序涉及到编译五个阶段