On sets of indefinitely desubstitutable words

Gwenaël Richomme
DOI: https://doi.org/10.1016/j.tcs.2021.01.004
IF: 1.002
2021-02-01
Theoretical Computer Science
Abstract:<p>The stable set associated to a given set <span class="math"><math>S</math></span> of nonerasing endomorphisms or substitutions is the set of all right infinite words that can be indefinitely desubstituted over <span class="math"><math>S</math></span>. This notion generalizes the notion of sets of fixed points of morphisms. It is linked to <em>S</em>-adicity and to property preserving morphisms. Two main questions are considered. Which known sets of infinite words are stable sets? Which ones are stable sets of a finite set of substitutions? While bringing answers to the previous questions, some new characterizations of several well-known sets of words such as the set of binary balanced words or the set of episturmian words are presented. A characterization of the set of nonerasing endomorphisms that preserve episturmian words is also provided.</p>
computer science, theory & methods
What problem does this paper attempt to address?