Overlapping tile automata

Abstract : Premorphisms are monotonic mappings between partially ordered monoids where the morphism condition φ(xy) = φ(x)φ(y) is relaxed into the condition φ(xy) ≤ φ(x)φ(y). Their use in place of morphisms has recently been advocated in situations where classical algebraic recognizability collapses. With languages of overlapping tiles, an extension of classical recognizability by morphisms, called quasi-recognizability, has already proved both its effectiveness and its power. In this paper, we complete the theory of such tile languages by providing a notion of (finite state) non deterministic tile automata that capture quasi-recognizability in the sense that quasi-recognizable languages correspond to finite boolean combinations of languages recognizable by finite state non deterministic tile automata. As a consequence, it is also shown that quasi-recognizable languages of tiles correspond to finite boolean combination of upward closed (in the natural order) languages of tiles definable in Monadic Second Order logic.
Type de document :
Communication dans un congrès
A.A. Bulatov and A.M. Shur. The 8th International Computer Science Symposium in Russia (CSR), Jun 2013, Ekaterinburg, Russia. Springer, 7913, pp.431--443, 2013, LNCS. 〈10.1007/978-3-642-38536-0_37〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00766261
Contributeur : David Janin <>
Soumis le : vendredi 1 mars 2013 - 09:51:47
Dernière modification le : jeudi 11 janvier 2018 - 06:20:17
Document(s) archivé(s) le : dimanche 2 juin 2013 - 02:35:08

Fichier

RR1465-12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

David Janin. Overlapping tile automata. A.A. Bulatov and A.M. Shur. The 8th International Computer Science Symposium in Russia (CSR), Jun 2013, Ekaterinburg, Russia. Springer, 7913, pp.431--443, 2013, LNCS. 〈10.1007/978-3-642-38536-0_37〉. 〈hal-00766261v2〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

185