A syntactic congruence for languages of birooted trees

Achim Blumensath 1 David Janin 2, 3
3 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Abstract : The study of languages of labelled birooted trees, that is, elements of the free inverse monoid enriched by a vertex labelling, has led to the notion of quasi-recognisability. It generalises the usual notion of recognisability by replacing homomorphisms by certain prehomomorphism into finite ordered monoids, called adequate, that only preserve some products: the so-called disjoint ones. In this paper we study the underlying partial algebra setting and we define a suitable notion of a syntactic congruence such that (i) having a syntactic congruence of finite index captures MSO-definability; (ii) a certain order-bisimulation refinement of the syntactic congruence captures quasi-recognisability in the same way.
Liste complète des métadonnées

Cited literature [28 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00947972
Contributor : David Janin <>
Submitted on : Monday, February 17, 2014 - 3:33:22 PM
Last modification on : Tuesday, May 29, 2018 - 9:14:04 AM
Document(s) archivé(s) le : Sunday, April 9, 2017 - 12:53:04 PM

File

RR-1478-14.pdf
Files produced by the author(s)

Identifiers

Citation

Achim Blumensath, David Janin. A syntactic congruence for languages of birooted trees. Semigroup Forum, Springer Verlag, 2014, 91 (3), pp.675-698. ⟨10.1007/s00233-014-9677-x⟩. ⟨hal-00947972⟩

Share

Metrics

Record views

324

Files downloads

197