Conference Papers Year : 2009

Subshifts, Languages and Logic

Abstract

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
Origin Files produced by the author(s)
Licence
Loading...

Dates and versions

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

Licence

Identifiers

Cite

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

Altmetric

Share

  • More