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). © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Jeandel, E., & Theyssier, G. (2009). Subshifts, Languages and Logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5583 LNCS, pp. 288–299). https://doi.org/10.1007/978-3-642-02737-6_23
Mendeley helps you to discover research relevant for your work.