Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Lecture Notes in Computer Science Année : 2012

Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles

David Janin

Résumé

It has been shown [6] that, within the McAlister inverse monoid [9], whose elements can be seen as overlapping one-dimensional tiles, the class of languages recognizable by finite monoids collapses compared with the class of languages definable in Monadic Second Order Logic (MSO). This paper aims at capturing the expressive power of the MSO definability of languages of tiles by means of a weakening of the notion of algebraic recognizability which we shall refer to as quasi-recognizability. For that purpose, since the collapse of algebraic recognizability is intrinsically linked with the notion of monoid morphism itself, we propose instead to use premorphisms, monotonic mappings on ordered monoids that are only required to be sub- multiplicative with respect to the monoid product, i.e. mapping φ so that for all x and y, φ(xy) ≤ φ(x)φ(y). In doing so, we indeed obtain, with additional but relatively natural closure conditions, the expected quasi-algebraic characterization of MSO definable languages of positive tiles. This result is achieved via the axiomatic definition of an original class of well-behaved ordered monoid so that quasi- recognizability implies MSO definability. An original embedding of any (finite) monoid S into a (finite) well-behaved ordered monoid Q(S) is then used to prove the converse.
Fichier principal
Vignette du fichier
RR-1458-12.pdf (364.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00671917 , version 1 (19-02-2012)
hal-00671917 , version 2 (21-02-2012)
hal-00671917 , version 3 (23-04-2012)

Identifiants

Citer

David Janin. Quasi-recognizable vs MSO definable languages of one-dimensional overlapping tiles. MFCS, Aug 2012, Bratislava, Slovakia. pp.516-528, ⟨10.1007/978-3-642-32589-2_46⟩. ⟨hal-00671917v3⟩

Collections

CNRS
189 Consultations
170 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More