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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00766261
Contributor : David Janin <>
Submitted on : Friday, March 1, 2013 - 9:51:47 AM
Last modification on : Thursday, January 11, 2018 - 6:20:17 AM
Document(s) archivé(s) le : Sunday, June 2, 2013 - 2:35:08 AM

File

RR1465-12.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

167

Files downloads

195