相对可计算性(relative computability)可计算性概念的推广.若在给定一个集合A的信息后，就可能行地计算一个部分函数f或集合B的特征函数，则称f或B是相对于A可计算的. 相对可计算性(relative computability)可计算性概念的推广.若在给定一个集合A的信息后，就可能行地计算一个部分函数f或集合B的特征函数，则称f或B是相对于A可计算的.正如T可计算性很好地刻画了直观可计算性一样，相对可计算性也可以用带外部信息源的图灵机进行刻画.即如果一个部分递归函数f可由一带有外部信息源A图灵机进行计算(}e(.f=}e ))，则称f相对于A可计算.若集合B的特征函数相对于A可计算，则称B相对于A可计算(记为B镇TA)，亦称B是A可计算的.这样一来，B是A可计算与BT可化归到A实际上是一致的.