arti_10695.htm

编译原理

<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; P1&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; p2</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">说明：e’ p1 BZ&nbsp;&nbsp; e’为0跳转到p1&nbsp;&nbsp;&nbsp; p2 BR 无条件跳转到p2。</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">3．请将-(a+b)* (c+d)-(a+b+c)分别表示成三元式、间接三元式和四元式序列。</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">解答：</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp; 四元式序列为：</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （1）（＋，a，b，T1）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （2）（@，T1，-，T2）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （3）（+，c，d，T3）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （4）（*，T2，T3，T4）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （5）（+，a，b，T5）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （6）（+，T5，c，T6）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （7）（-，T4，T6，T7）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp; 三元式序列为：</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （1）（+，a，b）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （2）（＠，（1），-）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （3）（+，c，d）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （4）（*，（2），（3））</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （5）（+，a，b）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （6）（+，（5），c）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （7）（-，（4），（6））</P>
<P class=MsoNormal style="TEXT-INDENT: 5.25pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt; mso-char-indent-count: .5">间接三元式为：</P>
<P class=MsoNormal style="TEXT-INDENT: 5.25pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt; mso-char-indent-count: .5">&nbsp; 三元式表为：&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 间接码表:</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （1）（+，a，b）&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(1)</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （2）（＠，（1），-）&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (2)</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （3）（+，c，d）&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (3)</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （4）（*，（2），（3））&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (4)</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （5）（+，（1），c）&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (1)</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 256.0pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; （6）（-，（4），（5））&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (5)</P>
<P class=MsoNormal style="TEXT-INDENT: 5.25pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt; mso-char-indent-count: .5">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (6)</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">4．按7.3节所说的方法，写出下面赋值语句的自下而上语法制导翻译过程，给出所产生的三地址代码。</P>
<P class=MsoNormal style="TEXT-INDENT: 157.5pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt; mso-char-indent-count: 15.0">A：=B*（-C+D）</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">解答：语法树为&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </P>
<P class=MsoNormal style="TEXT-INDENT: 189pt; mso-char-indent-count: 18.0"><v:group id=_x0000_s1026 style="MARGIN-TOP: 19.5pt; Z-INDEX: 1; LEFT: 0px; MARGIN-LEFT: 152pt; WIDTH: 88pt; POSITION: absolute; HEIGHT: 27pt; TEXT-ALIGN: left" coordsize="1760,540" coordorigin="4174,4070"><v:line id=_x0000_s1027 style="POSITION: absolute" to="4975,4610" from="4974,4070"></v:line><v:line id=_x0000_s1028 style="POSITION: absolute; flip: x" to="4814,4485" from="4174,4070"></v:line><v:line id=_x0000_s1029 style="POSITION: absolute" to="5934,4485" from="5135,4070"></v:line></v:group>S&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </P>
<P class=MsoNormal>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </P>
<P class=MsoNormal><v:group id=_x0000_s1032 style="MARGIN-TOP: 18.5pt; Z-INDEX: 4; LEFT: 0px; MARGIN-LEFT: 199pt; WIDTH: 88pt; POSITION: absolute; HEIGHT: 27pt; TEXT-ALIGN: left" coordsize="1760,540" coordorigin="4174,4070"><v:line id=_x0000_s1033 style="POSITION: absolute" to="4975,4610" from="4974,4070"></v:line><v:line id=_x0000_s1034 style="POSITION: absolute; flip: x" to="4814,4485" from="4174,4070"></v:line><v:line id=_x0000_s1035 style="POSITION: absolute" to="5934,4485" from="5135,4070"></v:line></v:group>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; id&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <B style="mso-bidi-font-weight: normal">：=</B>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</P>
<P class=MsoNormal><p>&nbsp;</p></P>
<P class=MsoNormal><v:group id=_x0000_s1036 style="MARGIN-TOP: 18.5pt; Z-INDEX: 5; LEFT: 0px; MARGIN-LEFT: 251.75pt; WIDTH: 88pt; POSITION: absolute; HEIGHT: 27pt; TEXT-ALIGN: left" coordsize="1760,540" coordorigin="4174,4070"><v:line id=_x0000_s1037 style="POSITION: absolute" to="4975,4610" from="4974,4070"></v:line><v:line id=_x0000_s1038 style="POSITION: absolute; flip: x" to="4814,4485" from="4174,4070"></v:line><v:line id=_x0000_s1039 style="POSITION: absolute" to="5934,4485" from="5135,4070"></v:line></v:group><v:line id=_x0000_s1031 style="Z-INDEX: 3; LEFT: 0px; POSITION: absolute; TEXT-ALIGN: left" to="198.25pt,44.75pt" from="197.75pt,16.25pt"></v:line>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; E</P>
<P class=MsoNormal>&nbsp;&nbsp; </P>
<P class=MsoNormal><v:line id=_x0000_s1043 style="Z-INDEX: 7; LEFT: 0px; POSITION: absolute; TEXT-ALIGN: left" to="341pt,44pt" from="340.5pt,15.5pt"></v:line><v:group id=_x0000_s1040 style="MARGIN-TOP: 14.75pt; Z-INDEX: 6; LEFT: 0px; MARGIN-LEFT: 237.75pt; WIDTH: 28.5pt; POSITION: absolute; HEIGHT: 30pt; TEXT-ALIGN: left" coordsize="570,600" coordorigin="3054,6075"><v:line id=_x0000_s1041 style="POSITION: absolute; flip: x" to="3254,6675" from="3054,6090"></v:line><v:line id=_x0000_s1042 style="POSITION: absolute" to="3624,6615" from="3305,6075"></v:line></v:group>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; id&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; +&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; E</P>
<P class=MsoNormal><p>&nbsp;</p></P>
<P class=MsoNormal><v:line id=_x0000_s1030 style="Z-INDEX: 2; LEFT: 0px; POSITION: absolute; TEXT-ALIGN: left" to="270.25pt,44pt" from="269.75pt,15.5pt"></v:line>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -&nbsp;&nbsp;&nbsp;&nbsp; E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; id</P>
<P class=MsoNormal><p>&nbsp;</p></P>
<P class=MsoNormal>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;id</P>
<P class=MsoNormal>分析过程：</P>
<P class=MsoNormal>步骤&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 符号栈&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 输入符号串&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 动作&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 语义值&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 产生式&nbsp;&nbsp;&nbsp; 三地址代码</P>
<P class=MsoNormal>1&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A：=B*（-C+D）#&nbsp;&nbsp;&nbsp; 预备</P>
<P class=MsoNormal>2&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #id&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp; ：=B*（-C+D）#&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A&nbsp;&nbsp;&nbsp;&nbsp; </P>
<P class=MsoNormal>3&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #id:=&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; B*（-C+D）#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_</P>
<P class=MsoNormal>4&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #id:=id&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; *（-C+D）#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; A_B</P>
<P class=MsoNormal>5&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #id:=E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; *（-C+D）# &nbsp;&nbsp;&nbsp;&nbsp; 规约&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;E→id</P>
<P class=MsoNormal>6&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #id:=E*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp; （-C+D）#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_</P>
<P class=MsoNormal>7&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #id:=E*(&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp; -C+D）#&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; A_B_ _</P>
<P class=MsoNormal>8&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #id:=E*(-&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp; C+D）#&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_ _ _</P>
<P class=MsoNormal>9&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #id:=E*(-id&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp; +D）#&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_ _ _C</P>
<P class=MsoNormal>10&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; # id:=E*(-E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp; +D）#&nbsp;&nbsp;&nbsp;&nbsp; 规约&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_ _ _C &nbsp;&nbsp;&nbsp;E→id</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">11&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; # id:=E*(E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp; +D）#&nbsp;&nbsp;&nbsp;&nbsp; 规约&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_ _T1&nbsp;&nbsp; &nbsp;&nbsp;E→-E&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;T1:=-C</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">12&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; # id:=E*(E+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; D)#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_ _T1_&nbsp;&nbsp; </P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">13&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; # id:=E*(E+id &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;)#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_ _T1_ D </P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">14&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; # id:=E*(E+E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; )#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 规约&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;A_B_ _T1_ D&nbsp; E→id</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">15&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; # id:=E*(E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; )#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 规约&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_ _T2&nbsp;&nbsp;&nbsp;&nbsp; E→E+E&nbsp;&nbsp;&nbsp; T2:=T1+D</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt">16&nbsp;&nbsp;&nbsp;&nbsp; # id:=E*(E)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &nbsp;#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 移进&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_ _T2_&nbsp;&nbsp; </P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt">17&nbsp;&nbsp;&nbsp;&nbsp; # id:=E*E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 规约&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_B_T2 </P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt">18&nbsp;&nbsp;&nbsp;&nbsp; #id:=E&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;#&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 规约&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; A_T3&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; E→E*E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; T3:=B*T2</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt">19&nbsp;&nbsp;&nbsp;&nbsp; #S&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; #&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 规约&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; T3&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; S→id:=E&nbsp;&nbsp;&nbsp;&nbsp; A:=T3</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt"><p>&nbsp;</p></P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt">6．按7．4．2节的办法，写出布尔式A or （B&nbsp; and not （C or D））的四元式序列。</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt">解答：</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 100（jnz，A，＿，0）E。T</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 101（j，＿，＿，102）</P>
<P class=MsoNormal style="TEXT-INDENT: 31.5pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt; mso-char-indent-count: 3.0">102（jnz，B，＿，104）</P>
<P class=MsoNormal style="TEXT-INDENT: 31.5pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt; mso-char-indent-count: 3.0">103（j，＿，＿，0）E。F</P>
<P class=MsoNormal style="TEXT-INDENT: 31.5pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt; mso-char-indent-count: 3.0">104（jnz，C，＿，103）E。F</P>
<P class=MsoNormal style="TEXT-INDENT: 31.5pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt; mso-char-indent-count: 3.0">105（j，＿，＿，106）</P>
<P class=MsoNormal style="TEXT-INDENT: 31.5pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt; mso-char-indent-count: 3.0">106（jnz，D，＿，104）E。F</P>
<P class=MsoNormal style="TEXT-INDENT: 31.5pt; LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt 200.0pt 240.0pt 296.0pt 360.0pt; mso-char-indent-count: 3.0">107（j，＿，＿，100）E。T</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp; 真出口为： E.truelist=&#123;100，107&#125;&nbsp;&nbsp; 假出口为： E.falselist=&#123;103，104，106&#125;</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt"><p>&nbsp;</p></P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">7．用7.5.1节的办法，把下面的语句翻译成四元式序列：</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; While&nbsp; A&lt; C and&nbsp;&nbsp; B &lt;D&nbsp; do</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; if&nbsp; A=1&nbsp; then&nbsp; C:=C+1&nbsp; else</P>
<P class=MsoNormal style="LINE-HEIGHT: 16pt; mso-line-height-rule: exactly; tab-stops: 49.5pt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; while&nbsp; A≤D&nbsp; do&nbsp; A:=A+2;</P>