A Survey on Difference Hierarchies of Regular Languages - Archive ouverte HAL
Article Dans Une Revue Logical Methods in Computer Science Année : 2018

A Survey on Difference Hierarchies of Regular Languages

Résumé

Difference hierarchies were originally introduced by Hausdorff and they play an important role in descriptive set theory. In this survey paper, we study difference hierarchies of regular languages. The first sections describe standard techniques on difference hierarchies, mostly due to Hausdorff. We illustrate these techniques by giving decidability results on the difference hierarchies based on shuffle ideals, strongly cyclic regular languages and the polynomial closure of group languages. Dedicated to the memory of Zoltán Ésik.
Les hiérarchies de différence ont été introduites à l'origine par Hausdorff et elles jouent un rôle important dans la théorie descriptive des ensembles. Dans cet article, nous étudions les différences de hiérarchies des langages rationnels. Les premières sections décrivent les techniques standard sur les hiérarchies de différences, principalement dues à Hausdorff. Nous illustrons ces techniques en donnant des résultats de décidabilité sur les hiérarchies de différence basées sur les idéaux de mélange, les langages fortement cycliques et la fermeture polynomiale des langages à groupe. Dédié à la mémoire de Zoltán Ésik.
Fichier principal
Vignette du fichier
DifferenceHierarchy_LMCS.pdf (488.25 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02104436 , version 1 (19-04-2019)

Identifiants

Citer

Olivier Carton, Dominique Perrin, Jean-Eric Pin. A Survey on Difference Hierarchies of Regular Languages. Logical Methods in Computer Science, 2018, 14, pp.1 - 23. ⟨10.23638/LMCS-14(1:24)2018⟩. ⟨hal-02104436⟩
65 Consultations
42 Téléchargements

Altmetric

Partager

More