Can I read The Monadic Theory of Toric Words on EtoBox?

The Monadic Theory of Toric Words by Berthé, Valérie; Karimov, Toghrul; Ouaknine, Joël; Vahanwala, Mihir; Worrell, James is a scholarly article available to read on EtoBox.

What is The Monadic Theory of Toric Words about?

For which unary predicates $P_1, \ldots, P_m$ is the MSO theory of the structure $\langle \mathbb{N}; <, P_1, \ldots, P_m \rangle$ 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 $P_i$ can be generated by a toric dynamical system of a certain kind, then the attendant MSO theory is decidable.

Author

Berthé, Valérie; Karimov, Toghrul; Ouaknine, Joël; Vahanwala, Mihir; Worrell, James

Published

2023

Language

EN