?? 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 + -