活变量分析的迭代次数

Question

我知道活变量分析的算法最终可以终止并给出解决方案。然而，我想知道算法的迭代次数是否确定(即，我可以用一些参数来计算算法的迭代数量吗，我猜这些参数可能与要分析的程序有关(。

Answer 1

尽管我仍然不知道如何计算准确的迭代次数，但计算我们需要的最大迭代次数很容易。它可以通过应用格定理来求解。

为了简单起见，假设与分析相对应的格的高度为i，CFG中的节点数量为k，则最大迭代次数为i*k。