Abstract:
This thesis contributes to the eld of automatic structures and contains a collection of new results on representations of transitive graphs by automata. The results obtained in this thesis lay at the junction of group theory and formal language theory.