The monadic theory of toric words
For which unary predicates P1,,…,Pm is the MSO theory of the structure ⟨N; ⟨,P1,…,Pm⟩ decidable? We survey the state of the art, leading us to investigate combinatorial properties of almost-periodic, morphic, and toric words. In doing so, we show that if each Pi can be generated by a toric dynamical...
| Main Authors: | , , , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2024
|