Sturmian and infinitely desubstitutable words accepted by an ω-automaton

Pierre Béaur, Benjamin Hellouin de Menibus

Given an $\omega$-automaton and a set of substitutions, we look at which accepted words can also be defined through these substitutions, and in particular if there is at least one. We i…