Enumeration and Decidable Properties of Automatic Sequences
- Cite this paper as:
- Charlier É., Rampersad N., Shallit J. (2011) Enumeration and Decidable Properties of Automatic Sequences. In: Mauri G., Leporati A. (eds) Developments in Language Theory. DLT 2011. Lecture Notes in Computer Science, vol 6795. Springer, Berlin, Heidelberg
We show that various aspects of k-automatic sequences — such as having an unbordered factor of length n — are both decidable and effectively enumerable. As a consequence it follows that many related sequences are either k-automatic or k-regular. These include many sequences previously studied in the literature, such as the recurrence function, the appearance function, and the repetitivity index. We also give a new characterization of the class of k-regular sequences. Many results extend to other sequences defined in terms of Pisot numeration systems.
Unable to display preview. Download preview PDF.