Free inverse monoids up to rewritingReportar como inadecuado




Free inverse monoids up to rewriting - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





Autor: David Janin -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados