Recurrence in Finite State Spaces