摘要
本文才巴 Ker-IKO 文中实数归约性推广到实函数,讨论了推广后各种归约之间的关系。证明了两种递归实函数定义的等价性。引入了算子图灵机的概念,利用算子图灵机给出了 C[1,0]上的一个分层(不可解度的分层)。证明了该分层有一个子结构与(?)同构。
出处
《贵州大学学报（自然科学版）》
1987年第3期173-182,共10页
Journal of Guizhou University:Natural Sciences
关键词
带函数型信息源灵机
算子图灵机
依点归约一致归约
经由算子图灵机归纳
C[0
1]的图灵分层
Functional oracle Turing machine
Operator Turing machine
Pointwise reducibility
Uniform reduciblity
Reducibiliy by a operator Turing machine
Turing hierarchy of C[0
1]
