| λ定义可计算函数时不动点算子的不必要性 |
| |
| 引用本文： | 戴静安,宋方敏.λ定义可计算函数时不动点算子的不必要性[J].南京大学学报(自然科学版),2006,42(4):342-345. |
| |
| 作者姓名： | 戴静安 宋方敏 |
| |
| 作者单位： | 南京大学计算机软件新技术国家重点实验室 南京210093 |
| |
| 摘 要： | λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.
|
| 关 键 词： | 不动点算子 β-范式 |
| 收稿时间： | 05 21 2005 12:00AM |
To λ-define the Computable Functions without the Fixed Point Operators |
| |
| Dai Jing-An,Song Fang-Min.To λ-define the Computable Functions without the Fixed Point Operators[J].Journal of Nanjing University: Nat Sci Ed,2006,42(4):342-345. |
| |
| Authors: | Dai Jing-An Song Fang-Min |
| |
| Institution: | State Key Laboratry for Novel Software Technology, Nanjing University, Nanjing, 210093,China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
