1: \begin{abstract}

2: 	Holt and R\"over proved that finitely generated bounded automata groups have indexed co-word problem.

3: 	Here we sharpen this result to show they are in fact co-ET0L.

4: 	\bigskip

5: 	

6: 	\noindent 2010 Mathematics Subject Classification: 20B27, 68Q42, 68Q45.

7: 	

8: 	\noindent \textit{Keywords:}

9: 	ET0L language,

10: 	check-stack pushdown automaton,

11: 	bounded automata groups,

12: 	co-word problem.

13: \end{abstract}

14: