Subshifts, Languages and Logic

Emmanuel Jeandel (1) , Guillaume Theyssier (2)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
2 LAMA - Laboratoire de Mathématiques

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).

Keywords: tilings; sofic subshifts; MSO logic

Domains: Discrete Mathematics [cs.DM]

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