📄 5.5.0b.htm

📁 建立《编译原理网络课程》的目的不仅使学生掌握构造编译程序的原理和技术
💻 HTM
字号:
<html>

<head>
<title>编译原理</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<link type="text/css" rel="stylesheet" href="../css/specification.css">
</head>

<BODY>

<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='5.5.0.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='5.5.1_1.htm'"></img></td>
</tr>
</table>
<br><br>

<br>


<table><tr><td>&nbsp&nbsp&nbsp&nbsp</td>
<td class="content">
<p>
在新的翻译模式中，每个数都是由T产生的，并且T.val的值就是数的词法值。这个值通过属性<b>num</b>.val给出。子表达式9-5中的数字9是由最左边的T生成的，但是减号和5是由根的右子结点生成的。继承属性R.i从P.val得到值9。计算9-5＃把结果4传递到中间的R结点，这是通过在产生式R→T        
R<span class="down">1</span>中插入动作｛R<span class="down"><sub>1</sub></span>.i:=R.i-T.val｝而实现的。类似的动作是把2加到9-5的值上，在R的最下面的结点处得到结果R.i=6。这个结果将成为在根结点处的E.val的值；R的综合属性s在图5.15中没有表示出来，它用来向上复制这一结果直到树根。
</p>
</td>
</tr>
</table>


<table><tr><td width=150>&nbsp;</td>
<td class="content">
<p>
&nbsp;&nbsp;&nbsp;&nbsp; E→T {R.i:=T.val}<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;R｛E.val:=R.s｝<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;R→＋<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;T｛R<sub>1</sub>.i:=R.i+T.val}<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;R<span class="down"><sub>1</sub></span>｛R.s:=R<span class="down"><sub>1</sub></span>.s}<br>    
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;R→-<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;T｛R<span class="down"><sub>1</sub></span>.i:=R.i-T.val}<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;R<span class="down"><sub>1</sub></span>｛R.s:=R<span class="down"><sub>1</sub></span>.s}<br>    
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;R→ε｛R.s:=R.i}<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;T→（<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;E<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;）&nbsp;｛T.val:=E.val}<br>     
&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;T→<b>num</b> {T.val:=<b>num</b>.val}<br>     
&nbsp;&nbsp;&nbsp;<br>
&nbsp;&nbsp;&nbsp; <font face="楷体_GB2312">图5.14经过转换的带有右递归文法的翻译模式</font>      
</p>
</td>
</tr>
</table>

<table><tr><td>&nbsp&nbsp&nbsp&nbsp</td>
<td class="content">
<p>
对于自顶向下的分析，我们可以假设动作是在与之处于相同位置上的一个符号被充分展开后被执行的。例如，图5.14的第二个产生式中，第一个动作（对R<span class="down"><sub>1</sub></span>.i赋值）是在于被完全展开成终结符号后执行的；第二个动作是在R<span class="down">1</span>被完全展开后执行的。正如第5.4节中讨论的L-属性定义那样，一个符号的继承属性必须由这个符号以前出现的动作来计算，并且产生式左边非终结符号的综合属性必须在它所依赖的所有属性都计算出来以后才能计算。 
</p>
</td>
</tr>
</table>

<center><img src="images/5_15.gif"><br><br>
图5.15 表达式9-5+2的计算</center>

<br>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='5.5.0.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='5.5.1_1.htm'"></img></td>
</tr>
</table>

</BODY>

<html><script language="JavaScript">
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -