Equational descriptions of languages - Archive ouverte HAL
Article Dans Une Revue International Journal of Foundations of Computer Science Année : 2012

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]
Fichier principal
Vignette du fichier
EquationalDescriptions.pdf (203.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01247080 , version 1 (21-12-2015)

Identifiants

Citer

Jean-Eric Pin. Equational descriptions of languages. International Journal of Foundations of Computer Science, 2012, 23, pp.1227-1240. ⟨10.1142/S0129054112400497⟩. ⟨hal-01247080⟩
49 Consultations
144 Téléchargements

Altmetric

Partager

More