列举定理

（计算机科学技术）

列举定理（listing theorem），计算机科学技术名词，一个集合 A 是计算可枚举的，当且仅当 A =，或者 A 是某个可计算函数的值域。