EQUATIONAL DESCRIPTIONS OF LANGUAGES
Jean-Éric Pin · International Journal of Foundations of Computer Science · 2012
This paper is a survey on the equational descriptions of languages. The first part is devoted to Birkhoff's and Reiterman's theorems on equational descriptions of varieties. Eilenberg's variety theorem and its successive generalizations form the second part. The more recent results on equational descriptions of lattices of languages are presented in the third part of the paper.