1: \begin{abstract}

2: In this paper we generalise and unify the results and methods used by Benson, Liardet, Evetts, and Evetts \& Levine, to show that rational sets in a virtually abelian group $G$ have rational (relative) growth series with respect to any generating set for $G$. We prove equivalences between the structures used in the literature, and establish the rationality of important classes of sets in $G$: definable sets, algebraic sets, conjugacy representatives and coset representatives (of any fixed subgroup), among others.

3: Furthermore, we show that any rational set, when written as words over the generating set of $G$, has several EDT0L representations. 	

4: 

5: %Moreover, we show that any rational set, when written as a language over the natural normal form in $G$ consisting of words $ut$, where $u$ belongs to the abelian finite index subgroup and $t$ is a coset representative, is accepted by a multivariable finite state automaton. Additionally, we can express any rational set in terms of a language of geodesics that are accepted by a multivariable finite state automaton. Since multivariable languages give rise to EDT0L ones, our results imply that any rational set has several EDT0L representations. 	

6: \end{abstract}

7: