| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [12 references]
https://hal.inria.fr/hal-00992870
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
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
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
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