更改

===自指===

===自指===

# 如果“算”指的是“计算过程”，那么自指不是算法，而是不动点计算或定义中的关键要素。

# 如果“算”指的是“计算过程”，那么自指不是算法，而是不动点计算或定义中的关键要素。

# 如果“算”指的是“等价于”，那么可以说：在计算机科学和指称语义的核心模型中，一个（良定义的）自指（递归）的数学含义，就是一个不动点。自指是语法，不动点是语义。

# 如果“算”指的是“等价于”，那么可以说：在计算机科学和指称语义的核心模型中，一个（良定义的）自指（递归）的数学含义，就是一个不动点。自指是语法，不动点是语义。

# 自指是产生不动点现象和结构的源泉与表现形式，而不动点定理是理解和驯服自指（使其有意义、不矛盾）的数学工具和框架。

# 自指是产生不动点现象和结构的源泉与表现形式，而不动点定理是理解和驯服自指（使其有意义、不矛盾）的数学工具和框架。