作者:Zohar Manna, Adi Shamir
ACM通信，1977年11月，第20卷第11期，第824-831页
10.1145/359863.359885
评论
针对递归程序的经典不动点方法建议选择“定义最少的不动点”作为递归程序最合适的解决方案。介绍了一种引入“最优不动点”的新方法，与定义最少的不动点相比，它体现了程序中嵌入的最大数量的有价值信息。讨论了这种方法的实际意义，并给出了证明最优不动点性质的技术。演讲是非正式的，强调例子。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
