可计算函数时不动点算子的不必要性.pdfVIP

南京大学学报 (自然科学) 第 42卷 第 4期 Vo1．42，No．4 JOURNALOFNANJINGUNIVERSITY 2006年 7月 July，2OO6 (NATURALSCIENCES) 定义可计算函数时不动点算子的不必要性 戴静安，宋方敏 (南京大学计算机软件新技术国家重点实验室，南京，210093) 摘 要： 演算这种计算模型，是一种 良好的数学工具，与递归函数密切相关．演算中的不动点算 子，增强了系统的表达能力，表达了递归函数中递归的性质，但同时也略有不足，因为常见不动点算子， 都没有 范式．介绍了一种方法，可以不借助不动点算子，利用 Church数字系统的特点，用 范式定义 所有可计算函数． 关键词： 不动点算子，范式 中图分类号： TN131 To —definetheComputableFunctionswithout theFixedPointOperators DaiJing—An，SongFang-Min (StateKeyLaboratryforNovelSoftwareTechnology， NanjingUniversity，Nanjing，210093，China) Abstract： A-CalculusiSamodelofcomputation． It iSrelated with Recursive function． another modelof computation． TherearefixedpointcombinatorsinA-CalculusexpressingtherecursivenatureinRecursivefunction． However，asthefixedpointcombinatorssuchasY，0haveno~NormalForms，mostA-temr sA-definingrecusive functionsbyusingfixedpointcombinatorshavenop-NomralFomrs．Thispaperintroducesamethodthatcan defineallthecomputablefunctionsbyusingp-Nomr alFomrs，withoutthefixedpointcombinators．Itisbasedonthe particularityoftheChurchsnumeralsystem，wheretherecursivenatureishiddeninherently ． A problem ishow to keepcombinationsof Nomr alFomr sA-definingfunctionsthatstillhave NormalFomr s，asitisnecessaryto definesetsofcomputablefunctions． Keywords： fixedpointcombinators，p-NomralFomr 不动点算子 的引入，使得 演算的表 不动点算子的作用，实际上相当于表达一 达能力显得更强了，但不动点算子，如y，都没 个递归的过程．但递归不是唯一的表示方法，递 有 范式．这样，用其构造出来的各个项，也就 归过程都可以用递推的方式表达，下文就是递 没有 范式．