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

• 作者: 宋方敏 戴静安
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 不动点算子 β-范式
• 年，卷（期）: 2006,（4）
• 页码范围: 342-345
• 页数: 4页
• 分类号: TN13
• 字数: 1875字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2006.04.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋方敏	南京大学计算机软件新技术国家重点实验室	29	191	9.0	13.0
2	戴静安	南京大学计算机软件新技术国家重点实验室	3	44	2.0	3.0