Free inverse monoids up to rewriting

David Janin 1, 2
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
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 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.
Type de document :
Rapport
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01182934
Contributeur : David Janin <>
Soumis le : mercredi 5 août 2015 - 17:38:23
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : mercredi 26 avril 2017 - 08:38:44

Fichier

full.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01182934, version 1

Citation

David Janin. Free inverse monoids up to rewriting. [Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2015. 〈hal-01182934〉

Partager

Métriques

Consultations de la notice

271

Téléchargements de fichiers

148