标签： compiler-construction dataflow mathematical-lattices
我正在为我的编译器构建课程学习，并且在我正在练习的旧考试中，问题之一是：
“给出一个无限高度格的示例以及将在其中使用它的数据流分析”
我知道晶格是部分有序的集合，因此每对元素都有唯一的较大下限和唯一的最小上限。因此，可以对数据流分析（例如“到达定义”和“实时变量”分析）进行定点计算。但是，据我了解，定点计算仅适用于有界晶格。我很难想象一个无限晶格是什么样子，以及它如何有用。
有人可以帮我回答这个问题，也许更深入地解释什么是无限格子？