2016/06/16 by Yuke, Huang, Zhiying, Wen
Computer Science · #semigroups and automata theory #Algorithms and Data Compression #Natural Language Processing Techniques
paper · pdf · doi:10.48550/arxiv.1606.05150
We consider the infinite one-sided sequence generated by the period-doubling substitution σ(a,b)=(ab,aa), denoted by \mathbbD. Since \mathbbD is uniformly recurrent, each factor ω appears infinite many times in the sequence, which is arranged as ωp (p≥ 1). Let rp(ω) be the p-th return word over ω. The main result is: for each factor ω, the sequence \rp(ω)\p≥1 is Θ1 or Θ2, which are substitutive sequences and determined completely in this paper.