Equational descriptions of languages
Résumé
This paper is a survey on the equational descriptions of languages. The first part is devoted to Birkhoff's and Reiterman's theorems on equa-tional 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.
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.
Domaines
Autre [cs.OH]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...