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).
Document type :
Conference papers
13th International Conference on Developments in Language Theory, Jun 2009, Stuttgart, Germany. 2009
Liste complète des métadonnées

Cited literature [22 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00375816
Contributor : Guillaume Theyssier <>
Submitted on : Thursday, April 16, 2009 - 11:05:20 AM
Last modification on : Friday, March 9, 2018 - 11:25:11 AM
Document(s) archivé(s) le : Thursday, June 10, 2010 - 8:38:58 PM

Files

mso.hal.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00375816, version 1
  • ARXIV : 0904.2457

Collections

Citation

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

Share

Metrics

Record views

270

Files downloads

261