The monadic theory of toric words

The monadic theory of toric words

For which unary predicates P1,…,Pm is the MSO theory of the structure 〈N;

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science 2025-02, Vol.1025, p.114959, Article 114959
Hauptverfasser: Berthé, Valérie, Karimov, Toghrul, Nieuwveld, Joris, Ouaknine, Joël, Vahanwala, Mihir, Worrell, James
Format: Artikel
Sprache:eng
Schlagworte:
Dynamical systems
Linear recurrence sequences
Monadic second-order logic
Morphic words
Pisot conjecture
Toric words
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:For which unary predicates P1,…,Pm is the MSO theory of the structure 〈N;
ISSN:0304-3975
DOI:10.1016/j.tcs.2024.114959