📄 9.5.2_2.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.2.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.5.3.htm'" ></img></td>
</tr>
</table>
<br><br>
<font class="title2"><b>9.5.2 到达_定值（续）</b></font>
<table>
<tr>
<td>    </td>
<td class="content">
<p>
<font class = "example">例9.14</font> 请看图9.26,请思考：B1中定值点d2:j:=n能否到达B4、B5、和B6的开始点。
</p>
</td>
</tr>
</table>
<p align=center><img src="images/9_24.gif"></p>
<table>
<tr>
<td>    </td>
<td class="content">
<p>
我们所定义的到达_定值有时是不精确的，但是，这是安全和稳妥的定义。例如，我们假设流图的所有边是会经过的，但实际上可能不这样，例如：不管a和b是什么值，控制也不会到达下面程序段的赋值a:=4
</p>
         <font color="#0000FF">if</font> a = b
<font color="#0000FF">then</font> a := 2 <br>
         <font color="#0000FF">else</font>
<font color="#0000FF">if</font> a = b <font color="#0000FF">then</font> a := 4<br>
     一般而言，决定流图中是否每条路径都会经过是不可判定问题，我们不打算解决这个问题。<br>
<p>
再次提醒，在设计代码改进变换时，面临任何怀疑，我们必须取稳妥的策略，虽然稳妥策略会使我们失去某些实际可做得安全的变换。一个策略是稳妥的，如果它决不会导致改变程序的计算结果。在到达_定值的应用中，通常稳妥地认为一个定值会到达某点，即使它可能不到达。
</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.2.htm'" ></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.5.3.htm'" ></td>
</tr>
</table>
</BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -