λ定义可计算函数时不动点算子的不必要性

摘要：

λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.

关键词：不动点算子、β-范式

所属期刊栏目：42

分类号：TN131(真空电子技术)

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：342-345