Finite Generators For Countable Group Actions; Finite Index Pairs Of Equivalence Relations; Complexity Measures For Recursive Programs