回溯集(retraceable set)是一种回归集。德克尔(Dekker,J.)和迈希尔(Myhill,J.)证明了:若A为递归集,则A为回溯集。反之,若A为回溯集,则A必为递归或禁集。另外,曼斯费尔德(Mansfield,R.)证明了:若A,A-都是回溯集,则A一定是递归集。
【回的意思】:回(迴) huí(ㄏㄨㄟˊ) (一)、还,走向原来的地方:回家。(二)、掉转:回首(回头看)。回顾。 详情>
【溯的意思】:溯 sù(ㄙㄨˋ) (一)、逆着水流的方向走:溯流而上。(二)、追求根源或回想:回溯。追溯。上溯。追 详情>
【集的意思】:集 jí(ㄐ一ˊ) (一)、群鸟栖止于树上:“黄鸟于飞,集于灌木”。(二)、聚合,会合:聚集。集合。 详情>
友情链接:姓名测试