基本属性
- 拼音字母di gui ke mei ju ji
- 拼音首字母dgkmjj
- 注音符号ㄉㄧ ㄍㄨㄟ ㄎㄜ ㄇㄟ ㄐㄩ ㄐㄧ
扩展释义
递归可枚举集，又称部分递归集。在能行性理论中，基本概念是递归函数，它可刻画为：任给x，只要它在x处有定义必可在有限步骤内求出其值。因此递归全函数（即处处有定义的）必可在有限步骤内求出它的任一值，至于递归部分函数（未必处处有定义的）则只要求有定义处可求出其值，但不要求能够在有限步骤内判定它的定义域的元素，即对任给的x判定x是否属于函数的定义域。
递归可枚举集，又称部分递归集。在能行性理论中，基本概念是递归函数，它可刻画为：任给x，只要它在x处有定义必可在有限步骤内求出其值。因此递归全函数（即处处有定义的）必可在有限步骤内求出它的任一值，至于递归部分函数（未必处处有定义的）则只要求有定义处可求出其值，但不要求能够在有限步骤内判定它的定义域的元素，即对任给的x判定x是否属于函数的定义域。