Variedades de linguagens M-sólidas

Motivado pela conexão entre linguagens livres de estrela e monóides aperiódicos, Eilenberg estabeleceu um isomorfismo entre o reticulado de todas as pseudovariedades de monóides e o reticulado das variedades de linguagens regulares. Thérien mostrou que estes dois reticulados são também isomorfos ao reticulado das variedades de congruências do monóide livre. Estes resultados foram generalizados para linguagens de árvore, independentemente, por J. Almeida e M. Steinby. Alguns dos subreticulados completos do reticulado das pseudovariedades surgem a partir das classes hiperequacionais. Neste seminário, apresenta-se uma caracterização das variedades de linguagens e das variedades de congruências, correspondentes às pseudovariedades M-sólidas.