English

Characterization of infinite LSP words and endomorphisms preserving the LSP property

Discrete Mathematics 2018-08-09 v1 Formal Languages and Automata Theory

Abstract

Answering a question of G. Fici, we give an SS-adic characterization of thefamily of infinite LSP words, that is, the family of infinite words having all their left special factors as prefixes.More precisely we provide a finite set of morphisms SS and an automaton A{\cal A} such that an infinite word is LSP if and only if it is SS-adic and one of its directive words is recognizable by A{\cal A}.Then we characterize the endomorphisms that preserve the property of being LSP for infinite words.This allows us to prove that there exists no set SS' of endomorphisms for which the set of infinite LSP words corresponds to the set of SS'-adic words. This implies that an automaton is required no matter which set of morphisms is used.

Keywords

Cite

@article{arxiv.1808.02680,
  title  = {Characterization of infinite LSP words and endomorphisms preserving the LSP property},
  author = {Gwenaël Richomme},
  journal= {arXiv preprint arXiv:1808.02680},
  year   = {2018}
}

Comments

arXiv admin note: text overlap with arXiv:1705.05786