递归可枚举集合-一流百科

递归可枚举集合

递归可枚举集合在可计算性理论中，一组自然数 S 被称为可计算可枚举 (c.e.)、递归可枚举 (r.e.)、半可判定、部分可判定、可列出、可证明或图灵可识别，如果：...

词条百科