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

作者：戴静安; 宋方敏

来源：南京大学学报(自然科学版), 2006, (04): 342-345.

• 不动点算子
• β-范式 fixed point combinators
• β-Normal Form

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