回溯集的拼音及读音

网络释义

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