The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words

Abstract : The join of two varieties is the smallest variety containing both. In finite semigroup theory, the varieties of R-trivial and L-trivial monoids are two of the most prominent classes of finite monoids. Their join is known to be decidable due to a result of Almeida and Azevedo. In this paper, we give a new proof for Almeida and Azevedo's effective characterization of the join of R-trivial and L-trivial monoids. This characterization is a single identity of omega-terms using three variables.
Type de document :
Article dans une revue
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2012, Vol. 14 no. 1 (1), pp.141-146
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00992870
Contributeur : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Soumis le : lundi 19 mai 2014 - 13:57:30
Dernière modification le : jeudi 7 septembre 2017 - 01:03:47
Document(s) archivé(s) le : lundi 10 avril 2017 - 23:44:10

Fichier

2081-6947-2-PB.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00992870, version 1

Collections

Citation

Manfred Kufleitner, Alexander Lauser. The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2012, Vol. 14 no. 1 (1), pp.141-146. 〈hal-00992870〉

Partager

Métriques

Consultations de la notice

87

Téléchargements de fichiers

195