Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Forum Mathematicum Année : 2014

Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited

Résumé

We present an extension of Eilenberg's variety theorem, a well-known result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the original theory. We also prove a similar result for ordered monoids.
Nous présentons une extension du théorème des variétés d'Eilenberg, un résultat célèbre reliant l'algèbre à la théorie des langages formels. Nous montrons qu'il existe une correspondance bijective entre les formations de monoïdes finis et certaines classes de langages, les formations de langages. Notre résultat permet d'étudier des classes de monoïdes qui ne sont pas nécessairement fermées par passage au sous-monoïde, contrairement à la théorie originale. Nous prouvons un résultat similaire pour les monoïdes ordonnés.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
Formations.pdf (229 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Adolfo Ballester-Bolinches, Jean-Eric Pin, Xaro Soler-Escrivà. Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited. Forum Mathematicum, 2014, 26, pp.1737-1761. ⟨10.1515/forum-2012-0055⟩. ⟨hal-01247266⟩
45 Consultations
284 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More