Subshifts, Languages and Logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Subshifts, Languages and Logic


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)

Dates and versions

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



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



Gmail Facebook X LinkedIn More