Lyndon word
= Lyndon word
{c}
A nonempty finite <word> that is strictly smaller in <lexicographic order> than each of its nontrivial cyclic rotations. For example, $001$ is a Lyndon word, whereas $010$ is not because its rotation $001$ is smaller.