南京大学学报（自然科学版）
南京大學學報（自然科學版）
남경대학학보（자연과학판）
JOURNAL OF NANJING UNIVERSITY(NATURAL SCIENCES)
2006年
4期
342-345
,共4页
不动点算子%β-范式
不動點算子%β-範式
불동점산자%β-범식
λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.
λ-縯算這種計算模型,是一種良好的數學工具,與遞歸函數密切相關.λ-縯算中的不動點算子,增彊瞭繫統的錶達能力,錶達瞭遞歸函數中遞歸的性質,但同時也略有不足,因為常見不動點算子,都沒有β-範式.介紹瞭一種方法,可以不藉助不動點算子,利用Church數字繫統的特點,用β-範式定義所有可計算函數.
λ-연산저충계산모형,시일충량호적수학공구,여체귀함수밀절상관.λ-연산중적불동점산자,증강료계통적표체능력,표체료체귀함수중체귀적성질,단동시야략유불족,인위상견불동점산자,도몰유β-범식.개소료일충방법,가이불차조불동점산자,이용Church수자계통적특점,용β-범식정의소유가계산함수.
