📄 9.5.3_3.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.5.3_2.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.5.3b.htm'" ></img></td>
</tr>
</table>
<br><br>
<font class="title2"><b>9.5.3 结构化程序的数据流分析（续）</b></font>
<br><br>
<table>
<tr>
<td>    </td>
<td class="content">
<font class = "example">例9.17</font>
<table>
<tr>
<td class="content">
<p>
<img border="0" src="images/9_25_3.gif"><p>
图9.27(2)（c）中的分支语句产生的定值集合是什么？<p>
解析：对图9.27(2)（c）的if语句，它的任意分支产生的定值都会到达语句S的结束点。所以： </p>
<p><b><font size="4" color="#FF0000">gen[S]= gen[S<sub>1</sub>]∪gen[S<sub>2</sub>]</font></b></td>
</tr>
</table>
<hr size=2 width=90% align=center color=red><br>
<font class = "example">例9.18</font>
<table>
<tr>
<td class="content">
<p>
<img border="0" src="images/9_25_4.gif"><p>
图9.27(2)（d）中的分支语句产生的定值集合是什么？<p>
解析：简单地说，循环不影响gen和kill。如果定值d由S<sub>1</sub>产生，那么S<sub>1</sub>和S的结束点它都能到达。反过来，如果定值d由S产生，那么它肯定由S<sub>1</sub>产生。所以:
</p>
<p><b><font color="#FF0000" size="4">gen[S]= gen[S<sub>1</sub>]</font></b></td>
</tr>
</table>
</p>
<hr size=2 width=90% align=center color=red><br>
<p>
<font class = "definition2">定值d到达一点P</font>: 我们说定值d到达一点p，指如果有路径从紧跟d的点到达P，并且在这条路径上d没有被"注销"。
</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.3_2.htm'" ></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.5.3b.htm'" ></td>
</tr>
</table>
</BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -