📄 9.6.0.htm

📁 建立《编译原理网络课程》的目的不仅使学生掌握构造编译程序的原理和技术

💻 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.7.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.6.1.htm'" ></img></td>
</tr>
</table>
<br><br>

<font class="title2"><b>9.6.0 数据流方程的迭代求解</b></font>            


<table>
<tr>
<td>&nbsp&nbsp&nbsp&nbsp</td>
<td class="content">
<p>
上一节讨论的解数据流问题的方法是简单的和快速的，本节将讨论解数据流问题的另一重要方法，这个方法不是用分析树制导in和out集合的计算;而是首先建立流图,然后同时为每个结点计算in和out。在讨论这种新方法时，还介绍许多不同的数据流分析问题，给出它们的应用，并指出这些问题间的区别。
</p>
<p>
许多数据流分析问题的方程形式上类似于产生和注销信息的方程，不过，它们有下面的区别:
</p>
<p>
1、上节的到达_定值方程是正向的方程，正向的含义是out集合根据in集合来计算。我们将看到另一类数据流问题，它们是反向的，从out集合来计算in集合。
</p>
<p>
2、当多于一条边到达块B时，到达B开始点的定值是沿着各条边到达B的定值的并集，这个并叫做<font class = "definition2">合流算符</font>。与此相反，在考虑全局可用表达式问题时，交是合流算符，因为一个表达式在B的开始点可用，只有当它在B的所有前驱的结束点可用。
</p>
<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.7.htm'" ></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.6.1.htm'" ></td>
</tr>
</table>

</BODY>
<html><script language="JavaScript">

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -