Résumé : Cet article présente une
synthèse sur les descriptions équationnelles de langages. La
première partie est consacrée aux théorèmes de
Birkhoff et de Reiterman sur les descriptions de variétés
équationnelles. La seconde partie décrit le
théorème des variétés d'Eilenberg et ses
généralisations successives. Enfin, les résultats les
plus récents sur les descriptions équationnelles de treillis
de langages sont présentés dans la troisième partie de
l'article.
Abstract : 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.