时说"半可判定的"，而第二种情况说明了为什么叫"计算可枚举的"。
定义.可数集合 formula_1 是递归可枚举的，如果存在一个偏可计算函数 formula_2 使得换句话说，formula_1 是 formula_2 的域:集合 formula_1 被成为 co-递归可枚举的或 co-r.e.，如果 formula_1 的补集是递归可枚举的。
等价定义.可数集合 formula_1 被叫做递归可枚举的，如果存在着一个偏可计算函数 formula