-
题名关于递归控制Turing可化归性
- 1
-
-
作者
谷新民
-
机构
常熟电视大学
-
出处
《江苏理工大学学报（自然科学版）》
1996年第5期109-112,共4页
-
文摘
证明了“递归控制Ｔｕｒｉｎｇ可化归性”（简称ｒｃｔ－可化归性）崩溃成平凡情形，即证明了任何两个有穷集合或任何两个无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的．也即有且只有两个递归可枚举的ｒｃｔ－度．从而ｒｃｔ－可化归性不是通常递归论意义下的合适的可化归性．
-
关键词
递归函数
递归可枚举集
递归论
rct-可化归性
-
Keywords
recursiw runctions
recursively enumerable sets/recursivelycontrolled turing reducibility
-
分类号
O141.3
[理学—基础数学]
-
-
题名每个非零的 a∈ R/ M中不存在极小元(英文)
被引量：1
- 2
-
-
作者
张再跃
眭跃飞
-
机构
扬州大学工业学院计算机系
中国科学院软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第11期1425-1429,共5页
-
基金
国家自然科学基金&&
-
文摘
证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c<a和 d∈M,使得 a≤ d∪ c.由此可以得到 :在每个非零 [a]∈ R∧ M中不存在极小元 ,即给定任何非可盖递归可枚举图灵度 a,存在一个递归可枚举图灵度 c<a,使得 [c]=[a].
-
关键词
图灵度
递归可枚举度
极小时
-
Keywords
turing degree, recursively enumerable set, minimal pair4
-
分类号
O141.3
[理学—基础数学]
-
-
题名一个高的钻石定理(英文)
- 3
-
-
作者
李昂生
杨东屏
-
机构
中国科学院软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第1期23-39,共17页
-
基金
国家自然科学基金!
No.6 99730 4 8
+1 种基金
国家 8 6 3高科技项目基金!No.86 3- 30 6 - 0 5- 0 9- 2 B
中国科学院青年基金
-
文摘
证明存在一个保持最大元 1的可计算枚举高度的钻石格 .
-
关键词
可计算性理论
可计算枚举度
钻石定理
-
Keywords
Computability theory, computably enumerable set, computably enumerable degree, turing reducibility, relative computability.
-
分类号
TP301.4
[自动化与计算机技术—计算机系统结构]
-
