Displaying similar documents to “Varieties of finite categories”

Some results on 𝒞 -varieties

Jean-Éric Pin, Howard Straubing (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

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...