Subshifts, Languages and Logic

  • Authors:

  • Emmanuel Jeandel;Guillaume Theyssier

  • Affiliations:

  • Laboratoire d'informatique fondamentale de Marseille (LIF), Aix-Marseille Université, CNRS, Marseille Cedex 13, France 13 453;LAMA (Université de Savoie, CNRS), Le Bourget-du-lac cedex, France 73376

  • Venue:
  • DLT '09 Proceedings of the 13th International Conference on Developments in Language Theory
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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