Rapport (Rapport De Recherche) Année : 2015

Free inverse monoids up to rewriting

Résumé

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 FIM(A,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.

Fichier principal
Vignette du fichier
full.pdf (371.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01182934 , version 1 (05-08-2015)

Licence

Identifiants

  • HAL Id : hal-01182934 , version 1

Citer

David Janin. Free inverse monoids up to rewriting. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015. ⟨hal-01182934⟩
293 Consultations
450 Téléchargements

Partager

  • More