1: \begin{abstract}

2:   This paper revisits the solution of the word problem for

3:   $\omega$-terms interpreted over finite aperiodic semigroups,

4:   obtained by J.~McCammond. The original proof of correctness of

5:   McCammond's algorithm, based on normal forms for such terms, uses

6:   McCammond's solution of the word problem for certain Burnside

7:   semigroups. In this paper, we establish a new, simpler, correctness

8:   proof of McCammond's algorithm, based on properties of certain

9:   regular languages associated with the normal forms. This method

10:   leads to new applications.

11: 

12:   \keywords{Pseudovariety, relatively free profinite semigroup, word

13:     problem, McCammond normal form, aperiodic semigroup, finite

14:     semigroup, star-free language, regular language.}

15: \end{abstract}

16: