📄 9.6.2bb.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='9.6.2b.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.6.2bc.htm'" ></img></td>
</tr>
</table>
<br><br>
<table>
<tr>
<td>    </td>
<td class="content">
<p>
<font class = "example">例9.25</font> 我们集中于下面图中基本块B2来说明in[B2]的初值对out[B2]的影响。令G和K分别是gen[B2]和kill[B2]的缩写，B2的数据流方程是
</p>
 <font color="#FF0000">        in[B2]=out[B1]∩out[B2] <br>
         out[B2]=G∪(in[B2]-K) </font> <br>
这些方程已重写在图中，用I<sup>j</sup>和O<sup>j</sup>分别表示in[B2]和out[B2]的第j次近似。图中还给出，用I<sup>0</sup>=Ф开始，得到O<sup>1</sup>=O<sup>2</sup>=G，而用I<sup>0</sup>=U开始，得到较大的O<sup>2</sup>集合。在两种情况下，out[B2]都等于O<sup>2</sup>，因为它们都收敛在一点。<br>
<p align=center><img src="images/9_33.gif"></p>
<p>
直观上，以I<sup>0</sup>=U开始，用
</p>
 <font color="#FF0000">        out[B2]=G∪(outB1]-K)
</font> <br>
得到的解是我们想要的，因为它正确反映了这个事实，out[B1]中没有被B2注销的表达式在B2的结束点可用，如同B2产生的表达式那样。
</td>
</tr>
</table>
<br>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.6.2b.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.6.2bc.htm'" ></img></td>
</tr>
</table>
</BODY>
<html><script language="JavaScript">⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -