Author： Kunc Michal
Publisher： Edp Sciences
E-ISSN： 1290-385x|37|3|243-254
ISSN： 0988-3754
Source： RAIRO - Theoretical Informatics and Applications, Vol.37, Iss.3, 2010-03, pp. : 243-254
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
The notion of pseudovarieties of homomorphisms onto finite monoidswas recently introduced by Straubing as an algebraic characterizationfor certain classes of regular languages.In this paper we provide a mechanism of equational descriptionof these pseudovarieties based on an appropriategeneralization of the notion of implicit operations.We show that the resulting metric monoids of implicit operationscoincide with the standard ones,the only difference being the actual interpretation of pseudoidentities.As an example, an equational characterization of the pseudovarietycorresponding to the class of regular languages in
Related content
Access to resources
Recommend
International Journal of Energy, Environment and Economics, Vol. , Iss. , 2015-10 ,pp. :