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

• Type: Journal
• Year: 2009
• Where: DLT
• Authors: Emmanuel Jeandel, Guillaume Theyssier
• Keywords: DLT 2009, Existential Mso, Infinite Pictures, Monadic Second Order, Theoretical Computer Science