A Hierarchy of Automatic Words having a Decidable MSO Theory
We investigate automatic presentations of infinite words. Starting points of our study are the works of Rigo and Maes, and Carton and Thomas concerning the lexicographic presentation, respectively the decidability of the MSO theory of morphic words. Refining their techniques we observe that the lexi...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference item |
| Published: |
2006
|