Duality and the equational theory of regular languages. (Q2874893)

The author reviews a number of notions and facts pertaining to varieties of regular languages, varieties of finite monoids, profinite monoids and profinite equations as well as the Stone duality between Boolean algebras and Stone spaces. By combining Eilenberg's variety theorem and Reiterman's theorem on varieties of finite algebras (here restricted to monoids), he characterizes the varieties of regular languages as the families of languages definable by profinite equations. Furthermore, he considers the Boolean algebras and the residuated Boolean algebras of regular languages over a given alphabet from the perspective of the Stone duality and an extension of it.NEWLINENEWLINEFor the entire collection see [Zbl 1280.03005].