1: \begin{abstract}

2: We study systematically groups whose marked finite quotients form

3: a recursive set. We give several definitions, and prove basic properties

4: of this class of groups, and in particular emphasize the link between

5: the growth of the depth function and solvability of the word problem.

6: We give examples of infinitely presented groups whose finite quotients

7: can be effectively enumerated. Finally, our main result is that a

8: residually finite group can be even not recursively presented and

9: still have computable finite quotients, and that, on the other hand,

10: it can have solvable word problem while still not having computable

11: finite quotients. 

12: \end{abstract}

13: