2000 character limit reached
The Monadic Theory of Toric Words (2311.04895v2)
Published 8 Nov 2023 in cs.LO
Abstract: 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.
- doi:10.1007/978-1-4613-8928-6_23.
- doi:10.2307/2269808.
- doi:0.1090/S0002-9939-1958-0093479-4.
- doi:10.2307/2275227.
- doi:10.1070/im1984v022n03abeh001456.
- doi:10.1006/inco.2001.3139.
- doi:10.1007/978-3-0348-0903-0_2.
- doi:10.1109/LICS56636.2023.10175758.
- doi:10.1007/978-3-031-22337-2_2.
- doi:10.1145/3434329.
- doi:10.1017/CBO9780511760860.
- doi:10.1007/BF01472228.
- doi:10.1515/crll.1984.349.63.
- doi:10.1007/BF01156238.
- doi:10.4171/DMS/8.
- doi:10.1007/BF02590997.
- doi:10.24033/bsmf.1823.
- doi:10.1007/978-1-4612-6264-0.
- doi:10.1137/1.9781611973402.2.
- doi:10.1017/CBO9780511546563.
- doi:10.1007/BFb0081890.
- doi:10.1016/s0304-3975(02)00847-2.
- doi:10.1007/978-3-642-59136-5_5.
- doi:10.24033/bsmf.1957.
- doi:10.1051/ITA/1994283-402551.
- doi:10.1007/BF01351676.
- doi:10.1016/j.ic.2006.12.004.
- doi:10.1007/11874683_37.
- doi:10.1017/CBO9780511897184.016.
- doi:https://doi.org/10.1016/j.indag.2016.02.002.
- doi:10.1007/978-3-662-11569-5_3.
- doi:10.4230/LIPIcs.MFCS.2020.54.
- doi:10.1017/CBO9780511902659.
- doi:10.1145/3498727.