Equational descriptions of languagesReportar como inadecuado




Equational descriptions of languages - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LIAFA - Laboratoire d-informatique Algorithmique : Fondements et Applications

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 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.

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.

Keywords : Equations identities formal languages equational theory





Autor: Jean-Eric Pin -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados