图灵机在康托集上的可计算性

• 作者: 张汉昭
• 来源期刊: 湖南工业大学学报
• 学科: 工学
• 关键词: 型2图灵机 标准表示 可计算性 名
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 应用技术
• 页码范围: 18-22
• 页数: 5页
• 分类号: TP148
• 字数: 4871字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-9833.2008.05.006

摘要

对定义在集合∑*上的函数f:(∈)(∑*)n→∑*引入可计算性,该方法不能应用于不可数集合M,如实数集R.利用无限符号序列作为名,同时定义作用于这些无限序列函数的可计算性.将可计算性拓展到以上不可数集合,从而引入型2图灵机.部分可递归函数(即可计算数函数)集合p(1)中的概念"有效的哥德尔数"ψ:N→P(1)是一般递归理论的基础,而ψ由通用图灵机定理等价唯一定义.利用∑ω将ψ的概念推广到可计算函数f:(∈)∑a→∑b和某些连续函数f:(∈)∑a→∑b,其中a,b∈{ω,*},这就是型2图灵机的表示.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张汉昭	南京大学数学系	1	0	0.0	0.0