计算可枚举集完全性准则

（计算机科学技术）

计算可枚举集完全性准则（completeness criterion for the computably enumerable sets），计算机科学技术名词，一个计算可枚举集 A 是完全的，当且仅当存在函数 fA 使得对一切 x ，，即 f 没有不动点。