Overlapping tile automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Overlapping tile automata

David Janin

Résumé

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.
Fichier principal
Vignette du fichier
RR1465-12.pdf (142.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00766261 , version 1 (18-12-2012)
hal-00766261 , version 2 (01-03-2013)

Identifiants

Citer

David Janin. Overlapping tile automata. The 8th International Computer Science Symposium in Russia (CSR), Jun 2013, Ekaterinburg, Russia. pp.431--443, ⟨10.1007/978-3-642-38536-0_37⟩. ⟨hal-00766261v2⟩

Collections

CNRS ANR
113 Consultations
254 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More