基于有限递归和μ-算子的α-递归论

• 作者: 张再跃 眭跃飞
• 来源期刊: 扬州大学学报（自然科学版）
• 学科: 工学
• 关键词: 实数可计算函数 递归可枚举集 α-递归集
• 年，卷（期）: 2000,（3）
• 页码范围: 55-58
• 页数: 4页
• 分类号: TP301|O141.3
• 字数: 4250字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-824X.2000.03.014

摘要

根据Blum,Shub和Smale定义实数环上的计算模型中将递归和μ-算子限制在自然数上这一特点, 提出了基于自然数上的递归定义和μ-算子.研究了在可允许序数α-上定义的可计算函数--弱α-递归函数的弱α-递归论的基本性质及其与α-递归论的差别,证明了每个弱α-递归函数是以自然数为参量关于取值α上的变量的多项式函数, 并且每个弱α-递归可枚举集与自然数集的交集是递归可枚举的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	眭跃飞		35	313	9.0	17.0
2	张再跃	扬州大学工学院计算机科学与工程系	5	20	2.0	4.0