Automatic Sequences of Rank Two
Abstract
Given a right-infinite word $\bf x$ over a finite alphabet $A$, the rank of $\bf x$ is the size of the smallest set $S$ of words over $A$ such that $\bf x$ can be realized as an infinite concatenation of words in $S$. We show that the property of having rank two is decidable for the class of $k$-automatic words for each integer $k\ge 2$.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2021
- DOI:
- 10.48550/arXiv.2108.05434
- arXiv:
- arXiv:2108.05434
- Bibcode:
- 2021arXiv210805434B
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Discrete Mathematics