程序不动点的直观计算意义 (2007年)

【文件属性】：

文件名称：程序不动点的直观计算意义 (2007年)

文件大小：209KB

文件格式：PDF

更新时间：2024-06-20 12:08:12

自然科学 论文

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质。本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法。