Constructible Words Characterize Rational Languages of Words Indexed by Scattered Linear Orderings

Thomas Braipson, Tom Clara

Automata on linear orderings are finite-state automata introduced by Bruyère and Carton as a broad generalization of finite, infinite and transfinite-word automata. In this context…