相对递归可枚举性

递归可枚举性概念的推广.若在得知集合A的信息后,集合B的全体元素可以被能行地枚举出来,则称集合B相对于A递归可枚举,或称B为A递归可枚举的.形式地,B相对于A递归可枚举,当且仅当B=∅,或存在一A递归函数f,使得B=rangf.与递归可枚 ......    （本文共 317 字 ）     [阅读本文] >>