当前位置:
X-MOL 学术
›
arXiv.cs.FL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Automatic sequences: from rational bases to trees
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-02-22 , DOI: arxiv-2102.10828 Michel Rigo, Manon Stipulanti
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-02-22 , DOI: arxiv-2102.10828 Michel Rigo, Manon Stipulanti
The $n$th term of an automatic sequence is the output of a deterministic
finite automaton fed with the representation of $n$ 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 these 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 $r$-block
substitutions where $r$ 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.
中文翻译:
自动序列:从有理数到树
自动序列的$ n $项是确定性有限自动机的输出,该有限自动机在适当的计算系统中馈入$ n $的表示形式。在本文中,我们不考虑基于具有常规编号语言的编号系统构建的自动序列,而是考虑基于与具有周期性标签签名的树相关的语言(尤其是合理的基本编号系统)构建的自动序列。我们获得了这些序列的两个主要特征。第一个与$ r $块替换有关,其中$ r $态射定期应用。特别是,我们提供了此类非形态序列的示例。第二个特征涉及与计算系统关联并由序列项修饰的树的因子或有限高度的子树。
更新日期:2021-02-23
中文翻译:
自动序列:从有理数到树
自动序列的$ n $项是确定性有限自动机的输出,该有限自动机在适当的计算系统中馈入$ n $的表示形式。在本文中,我们不考虑基于具有常规编号语言的编号系统构建的自动序列,而是考虑基于与具有周期性标签签名的树相关的语言(尤其是合理的基本编号系统)构建的自动序列。我们获得了这些序列的两个主要特征。第一个与$ r $块替换有关,其中$ r $态射定期应用。特别是,我们提供了此类非形态序列的示例。第二个特征涉及与计算系统关联并由序列项修饰的树的因子或有限高度的子树。