HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00992870
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s Connect in order to contact the contributor
Submitted on : Monday, May 19, 2014 - 1:57:30 PM
Last modification on : Thursday, September 7, 2017 - 1:03:47 AM
Long-term archiving on: : Monday, April 10, 2017 - 11:44:10 PM

File

2081-6947-2-PB.pdf
Publisher files allowed on an open archive

Identifiers

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. ⟨10.46298/dmtcs.564⟩. ⟨hal-00992870⟩

Share

Metrics

Record views

76

Files downloads

634