|
|||||
|
|
| 关于递归控制Turing可化归性 | |
| 引用本文： | 谷新民.关于递归控制Turing可化归性[J].江苏理工大学学报(自然科学版),1996,17(5):109-112. |
| 作者姓名： | 谷新民 |
| 摘 要： | 证明了“递归控制Ｔｕｒｉｎｇ可化归性”崩溃成平凡情形，即证明了任何两个有穷集合任何两无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的。也即有且 只有两个递归可枚举的ｒｃｔ－度。 |
| 关 键 词： | 递归函数 递归可枚举集 递归论 rct－可化归性 |
| 本文献已被 维普 等数据库收录！ | |