Free inverse monoids up to rewritingReport as inadecuate

Free inverse monoids up to rewriting - Download this document for free, or read online. Document in PDF available to download.

1 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 2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Abstract : In this paper, generalizing the study of free partially commutative inverse monoids 5, for any rewriting system T over an alphabet A, we define the notion of T-compatible inverse A-generated monoids, we show there is a free T-compatible monoid FIMA,T generated by A and we provide an explicit construction of this monoid. Then, as examples, free partially commutative inverse monoid and free partially semi-commutative inverse monoids are studied and shown to have effective representations.

Author: David Janin -



Related documents