McCammond's normal forms for free aperiodic semigroups revisited

Jorge Almeida, José Carlos Costa, Marc Zeitoun

This paper revisits the solution of the word problem for $\omega$-terms interpreted over finite aperiodic semigroups, obtained by J. McCammond. The original proof of correctness of McCa…