产生集

产生集（productive set），计算机科学技术名词，给定自然数集合 P ，若存在一个部分可计算函数 ψ 使得对任何 x ，如果，那么 ψ(x) ↓而且 ψ(x) ∈ P/，则称 P 是一个产生集，这里是编码为 x 的图灵机的定义域。