1: \begin{abstract}

2: 	Elder, Kambites, and Ostheimer showed that if the word problem of a finitely generated group \(H\)

3: 	is accepted by a \(G\)-automaton for an abelian group \(G\), then \(H\) is virtually abelian.

4: 	We give a new, elementary, and purely combinatorial proof to the theorem.

5: 	Furthermore, our method extracts an explicit connection between the two groups \(G\) and \(H\) from the automaton

6: 	as a group homomorphism from a subgroup of \(G\) onto a finite index subgroup of \(H\).

7: \end{abstract}

8: