数据流方程组的公式解法

数据流方程有许多解法,如J.Cocke和 F.E.Allen 等提出的区间法以及J.D.Ullman等提出的迭代法,这些方法的“对角线项”是求解中的主要困难。张鸣华证明了方程的最小解与“对角线项”无关,因此提出了一种直接解法。为了求解,要把数据流方程显式化,本文给出了求显式方程的算法,并且提出了一个公式,应用这个公式,可以直接把显式方程写出来。