递归集合

递归集合在可计算性理论中，一组自然数被称为可计算的、递归的或可判定的，如果有一种算法将一个数字作为输入，在有限的时间（可能取决于给定的数字）后终止...