词语回溯集的详细解释,回溯集的拼音及基本释义

回溯集

【词语拼音】huí sù jí

【词语繁体】回溯集

【词语结构】ABC式词语

【词语字数】三字词语

【网络解释】
回溯集(retraceable set)是一种回归集。德克尔(Dekker,J.)和迈希尔(Myhill,J.)证明了:若A为递归集,则A为回溯集。反之,若A为回溯集,则A必为递归或禁集。另外,曼斯费尔德(Mansfield,R.)证明了:若A,A-都是回溯集,则A一定是递归集。