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 AC 0 is given.