大家好,小迪来为大家解答以上的问题。回溯集，关于回溯集介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 回溯集(retraceable set)是一种回归集。

2、德克尔(Dekker，J.)和迈希尔(Myhill，J.)证明了：若A为递归集，则A为回溯集。

3、反之，若A为回溯集，则A必为递归或禁集。

4、另外，曼斯费尔德(Mansfield，R.)证明了：若A，A-都是回溯集，则A一定是递归集。

本文到此分享完毕，希望对大家有所帮助。