1: \begin{abstract}

2:     We introduce the notion of \emph{expandability} in the context of automaton semigroups and groups: a word is \emph{$k$-expandable} if one can append a suffix to it such that the size of the orbit under the action of the automaton increases by at least $k$. This definition is motivated by the question which $\omega$-words admit infinite orbits: for such a word, every prefix is expandable.

3:     

4:     In this paper, we show that, given a word $u$, an automaton $\mathcal{T}$ and a number $k$ as input, it is decidable to check whether $u$ is $k$-expandable with respect to the action of $\mathcal{T}$. In fact, this can be done in exponential nondeterministic space. From this nondeterministic algorithm, we obtain a bound on the length of a potential orbit-increasing suffix $x$. Moreover, we investigate the situation if the automaton is invertible and generates a group. In this case, we give an algebraic characterization for the expandability of a word based on its \emph{shifted stabilizer}. We also give a more efficient algorithm to decide the expandability of a word in the case of automaton groups, which allows us to improve the upper bound on the maximal orbit-increasing suffix length. Then, we investigate the situation for reversible (and complete) automata and obtain that every word is expandable with respect to such automata. Finally, we give a lower bound example for the length of an orbit-increasing suffix.

5:     

6:     \noindent\textbf{Keywords:} automata; automaton group; automaton semigroup; expandability; growth; orbital graph

7:   \end{abstract}

8: