递归可枚举集

dì guī kě méi jǔ jí · ㄉㄧˋ ㄍㄨㄟ ㄎㄜˇ ㄇㄟˊ ㄐㄩˇ ㄐㄧˊ

修撰于 2026-06-30 00:13:11

拼音dì guī kě méi jǔ jí
字母di gui ke mei ju ji
首字母dgkmjj
注音ㄉㄧˋ ㄍㄨㄟ ㄎㄜˇ ㄇㄟˊ ㄐㄩˇ ㄐㄧˊ
注音符号ㄉㄧ ㄍㄨㄟ ㄎㄜ ㄇㄟ ㄐㄩ ㄐㄧ

广

递归可枚举集,又称部分递归集。在能行性理论中,基本概念是递归函数,它可刻画为:任给x,只要它在x处有定义必可在有限步骤内求出其值。因此递归全函数(即处处有定义的)必可在有限步骤内求出它的任一值,至于递归部分函数(未必处处有定义的)则只要求有定义处可求出其值,但不要求能够在有限步骤内判定它的定义域的元素,即对任给的x判定x是否属于函数的定义域。