智能词典助手

基于汉语知识库 · 词语释义与组词查询

请帮我解释一下「递归可枚举集」这个词的含义。

助手

「递归可枚举集」释义报告

拼音 dì guī kě méi jǔ jí · 更新 2026-08-17 16:44:12

读音

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

补充释义

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