Communication Dans Un Congrès Année : 2009

Subshifts, Languages and Logic

Résumé

We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tilings. Conversely, we characterise logic fragments corresponding to various classes of infinite pictures (subshifts of finite type, sofic subshifts).

Fichier principal
Vignette du fichier
mso.hal.pdf (188.92 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00375816 , version 1 (16-04-2009)

Licence

Identifiants

Citer

Emmanuel Jeandel, Guillaume Theyssier. Subshifts, Languages and Logic. 13th International Conference on Developments in Language Theory, Jun 2009, Stuttgart, Germany. ⟨hal-00375816⟩
325 Consultations
410 Téléchargements

Altmetric

Partager

  • More