 |
|
|
|
| HAL : hal-00375816, version 1 |
| arXiv : 0904.2457 |
| Fiche détaillée |  Récupérer au format |
|
|
| 13th International Conference on Developments in Language Theory, Stuttgart : Germany (2009) |
|
|
|
|
| Subshifts, Languages and Logic |
|
|
Emmanuel Jeandel 1Guillaume Theyssier 2 |
|
|
| (30/06/2009) |
|
|
|
| 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). |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
| 2 : | Laboratoire de Mathématiques (LAMA) |
|
|
|
CNRS : UMR5127 – Université de Savoie |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Mathématique discrète |
|
|
| tilings – sofic subshifts – MSO logic |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00375816, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00375816 | |
| oai:hal.archives-ouvertes.fr:hal-00375816 | |
| Contributeur : Guillaume Theyssier | |
| Soumis le : Jeudi 16 Avril 2009, 11:05:20 | |
| Dernière modification le : Mardi 19 Mai 2009, 15:19:11 | |
