📄 9.5.5b.htm.bak
字号:
<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>
<img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.5.5ab.htm'" ></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.5.5bb.htm'" ></td>
</tr>
</table>
<br><br><br>
<table width=100%>
<tr><td>    </td>
<td class="content">
<p>
<p><font class = "example"> 计算图9.27(2)（d）的in和out </font></p>
<p><span style="FONT-SIZE: large">
<img border="0" src="images/9_25_4.gif"></span></p>
<p><font size="4" color="#FF0000">in[S<sub>1</sub>]=in[S]∪gen[S<sub>1</sub>]
</font>
</p>
<p><font size="4" color="#FF0000">out[S]=out[S<sub>1</sub>] </font> </p>
<p>解析：do_while控制结构提出了特殊的问题。若由自底向上计算得到gen[S<sub>1</sub>]和kill[S<sub>1</sub>],且在分析树的深度优先遍历中得到了in[S],和情况（b）和（c）不一样的是，不能使用in[S]作为in[S<sub>1</sub>]，因为可以到达S<sub>1</sub>结束点的S<sub>1</sub>的定值，能够顺着边回到达S<sub>1</sub>的开始点，于是out[S<sub>1</sub>]也在in[S<sub>1</sub>]中，即：
</p>
<p> in[S<sub>1</sub>]=in[S]∪out[S<sub>1</sub>] （方程9.6） </p>
<p>还有一个明显的out[S]方程 </p>
<p> out[S]=out[S<sub>1</sub>] </p>
<p>如何计算出out[S<sub>1</sub>]，一般是先计算语句的in，然后再计算它的out。但是，根据上面方程 in[S<sub>1</sub>]=in[S]∪out[S<sub>1</sub>]，似乎在算出out[S<sub>1</sub>]之前不能计算in[S<sub>1</sub>]。
</p>
<p>幸好,可以直接用in表达out，即方程式out[S]=gen[S]∪(in[S]-kill[S])，把它用到这儿成为 </p>
<p> out[S<sub>1</sub>]=gen[S<sub>1</sub>]∪(in[S<sub>1</sub>]-kill[S<sub>1</sub>]) （方程9.7） </p>
<p>
可以证明,方程9.7对任意语句都是正确的。对于方程9.6和9.7，这两个方程中都出现了in[S<sub>1</sub>]和out[S<sub>1</sub>]。让我们把方程写成 </p>
<p><font size="4" color="#FF0000"> I=J∪O </font> </p>
<p><font size="4" color="#FF0000"> O=G∪（I-K） （方程9.8）
</font> </p>
<p>其中I，O，J，G和K分别对应in[S<sub>1</sub>],out[S<sub>1</sub>],in[S],gen[S<sub>1</sub>]和kill[S<sub>1</sub>]。前两个是变量，其余的是常量。 </p>
</td>
</tr>
</table>
</p>
</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.5.5ab.htm'" ></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.5.5bb.htm'" ></td>
</tr>
</table>
</BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -