1: \begin{abstract}
2: Defined on Birman--Ko--Lee monoids, the rotating normal form has strong
3: connections with the Dehornoy's braid ordering.
4: It can be seen as a process for selecting between all the
5: representative words of a Birman--Ko--Lee braid a particular one, called \emph{rotating} word.
6: In this paper we construct, for all $n\geq 2$, a finite-state automaton which recognizes
7: rotating words on $n$ strands, proving that the rotating normal form is regular.
8: As a consequence we obtain the regularity of a $\sigma$-definite normal form defined on the whole braid group.
9: \end{abstract}
10: