Subshifts as Models for MSO Logic

Abstract : We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw links between classes of formula and classes of subshifts. We give a characterization of existential MSO in terms of projections of tilings, and of universal sentences in terms of combinations of ''pattern counting'' subshifts. Conversely, we characterise logic fragments corresponding to various classes of subshifts (subshifts of finite type, sofic subshifts, all subshifts). Finally, we show by a separation result how the situation here is different from the case of tiling pictures studied earlier by Giammarresi et al.
Type de document :
Pré-publication, Document de travail
2009
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00439407
Contributeur : Guillaume Theyssier <>
Soumis le : mercredi 6 mars 2013 - 15:39:00
Dernière modification le : vendredi 9 mars 2018 - 11:26:12
Document(s) archivé(s) le : vendredi 7 juin 2013 - 04:00:49

Fichiers

mso.journal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00439407, version 2
  • ARXIV : 0912.1272

Citation

Emmanuel Jeandel, Guillaume Theyssier. Subshifts as Models for MSO Logic. 2009. 〈hal-00439407v2〉

Partager

Métriques

Consultations de la notice

435

Téléchargements de fichiers

107