1: \begin{abstract}

2: When decomposing a finite semigroup into a wreath product of groups and aperiodic semigroups, complexity measures the

3: minimal number of groups that are needed. Determining an algorithm to compute complexity has been an open problem 

4: for almost 60 years. The main result of this paper proves that if it is decidable for a 

5: finite semigroup or finite automaton to have Krohn--Rhodes complexity 1, then it is decidable if a finite semigroup or finite 

6: automaton has complexity $n$ for all $n \geqslant 0$.

7: \end{abstract}

8: