$\omega$-Lyndon words

Mickaël Postic, Luca Q. Zamboni

Let $\A$ be a finite non-empty set and $⪯$ a total order on $\A^\nats$ verifying the following lexicographic like condition: For each $n\in \nats$ and $u, v\in \A^n,$ if $u^…