Groups, Languages and Automata