|
|||||
|
|
| 实函数的归约性 | |
| 引用本文： | 韦元军.实函数的归约性[J].贵州大学学报(自然科学版),1987(3). |
| 作者姓名： | 韦元军 |
| 作者单位： | 贵州大学计算机系 贵阳 |
| 摘 要： | 本文才巴 Ker-IKO 文中实数归约性推广到实函数,讨论了推广后各种归约之间的关系。证明了两种递归实函数定义的等价性。引入了算子图灵机的概念,利用算子图灵机给出了 C1,0]上的一个分层(不可解度的分层)。证明了该分层有一个子结构与(?)同构。 |
| 关 键 词： | 带函数型信息源灵机 算子图灵机 依点归约一致归约 经由算子图灵机归纳 C[0 1]的图灵分层 |
Reducibilities of Real Functions |
|
| Wei Yunjun.Reducibilities of Real Functions[J].Journal of Guizhou University(Natural Science),1987(3). | |
| Authors: | Wei Yunjun |
| Abstract: | |
| Keywords: | Functional oracle Turing machine Operator Turing machine Pointwise reducibility Uniform reduciblity Reducibiliy by a operator Turing machine Turing hierarchy of C[0 1] |
| 本文献已被 CNKI 等数据库收录！ | |