Finite automata; Ordering languages; Regular languages; Wheeler automata

Given an order of the underlying alphabet, we can lift it to the states of a finite deterministic automaton: to compare states we use the order of the strings reaching them. When the order on strings is the co-lexicographic one and this order turns …