概述
在编译原理中，不动点法通常用于计算属性文法中的属性值，其中属性之间可能存在循环依赖关系
文法规则
举个例子，假设我们有以下的EBNF文法：
expr ::= term ( "+" term )*
term ::= factor ( "" factor )
factor ::= number | "(" expr ")"
规则执行
我们想要使用LL算法来实现对这个文法的语法分析。首先，我们需要计算每个非终结符的First集合和Follow集合。
然后，我们可以根据这些集合来构建预测分析表，并进行语法分析
在计算First集合和Follow集合时，可能会存在循环依赖的情况
-
例如，在计算expr的First集合时，我们需要知道term的First集合
-
而计算term的First集合又需要知道factor的First集合。这时，我们可以使用不动点法来解决这个循环依赖的问题
具体操作
-
给每个非终结符的集合分配初始值，可以是空集合
-
对所有非终结符进行迭代计算，直到所有集合都稳定为止
-
在每次迭代中，根据其他非终结符的集合来更新当前非终结符的集合。如果集合发生变化，则需要进行下一次迭代
计算步骤
在计算expr的First集合时，我们可以先将其初始值设为空集合.
然后，根据term的First集合更新expr的First集合
再根据"+"和term的First集合更新expr的First集合。
如果在某次迭代中，expr的First集合没有发生变化，说明已经达到稳定状态，计算结束
结论
通过不动点法，我们可以解决属性之间的循环依赖问题，确保计算出准确的First集合和Follow集合，从而实现LL算法对EBNF文法的语法分析
标签：term,终结符,expr,计算,不动点,集合,First From： https://blog.csdn.net/weixin_40398522/article/details/137498346