Hiérarchies de concaténation - Archive ouverte HAL
Article Dans Une Revue RAIRO - Theoretical Informatics and Applications (RAIRO: ITA) Année : 1984

Hiérarchies de concaténation

Résumé

Is it well-known that there exists a one-to-one correspondence between varieties of recognizable languages and varieties of finite semigroups. New hierarchies of varieties of languages (based on the concatenation product) are defined and an algebraic description of the corresponding hierarchies of varieties of semigroups is given. Various well-known hierarchies are obtained as particular cases. The construction is based on the following result: if a language L is recognized by the Schützenberger product of the monoids M_0, ..., M_n, then L belongs to the Boolean closure of the set of languages of the form L_{i_0}a_1L_{i_1} ... a_rL_{i_r} (0 ≤ i_0 < i_1 < ... < i_r ≤ n) where the ak are letters and the Lik are recognized by M_{i_k} (0 ≤ k ≤ r). Decidability and inclusion problems are also discussed.
Fichier principal
Vignette du fichier
HierarchiesRAIRO.pdf (223.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00340781 , version 1 (22-11-2008)

Identifiants

  • HAL Id : hal-00340781 , version 1

Citer

Jean-Eric Pin. Hiérarchies de concaténation. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 1984, 18, pp.23-46. ⟨hal-00340781⟩
127 Consultations
90 Téléchargements

Partager

More