Лексикографический порядок

---

Лексикографический порядок — отношение линейного порядка на множестве слов над некоторым упорядоченным алфавитом ${\displaystyle \Sigma }$. Своё название лексикографический порядок получил по аналогии с сортировкой по алфавиту в словаре.

Слово ${\displaystyle \alpha }$ предшествует слову ${\displaystyle \beta }$ (${\displaystyle \alpha }$ ≺ ${\displaystyle \beta }$), если

---