Automatic sequences: from rational bases to trees
Abstract
The th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration system with a regular numeration language, we consider those built on languages associated with trees having periodic labeled signatures and, in particular, rational base numeration systems. We obtain two main characterizations of these sequences. The first one is concerned with -block substitutions where morphisms are applied periodically. In particular, we provide examples of such sequences that are not morphic. The second characterization involves the factors, or subtrees of finite height, of the tree associated with the numeration system and decorated by the terms of the sequence.
Cite
@article{arxiv.2102.10828,
title = {Automatic sequences: from rational bases to trees},
author = {Michel Rigo and Manon Stipulanti},
journal= {arXiv preprint arXiv:2102.10828},
year = {2023}
}
Comments
26 pages, 16 figures; final version accepted for publication in Discrete Mathematics & Theoretical Computer Science