Abstract | ||
---|---|---|
In an earlier paper, the second author generalized Eilenberg's variety theory by establishing a basic correspondence between certain classes of monoid morphisms and families of regular languages. We extend this theory in several directions. First, we prove a version of Reiterman's theorem concerning the definition of varieties by identities, and illustrate this result by describing the identities associated with languages of the form (a(1)a(2)...a(k))(+), where a(1),...,a(k) are distinct letters. Next, we generalize the notions of Mal'cev product, positive varieties, and polynomial closure. Our results not only extend those already known, but permit a unified approach of different cases that previously required separate treatment. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1051/ita:2005014 | RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS |
DocType | Volume | Issue |
Journal | 39 | 1 |
ISSN | Citations | PageRank |
0988-3754 | 1 | 0.41 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-Eric Pin | 1 | 632 | 67.86 |
Howard Straubing | 2 | 528 | 60.92 |