Bridges for concatenation hierarchies - Archive ouverte HAL
Communication Dans Un Congrès Année : 1998

Bridges for concatenation hierarchies

Résumé

In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star). Some thirty years later, although much progress has been done, several of the original problems are still open. Furthermore, their significance has grown considerably over the years, on account of the successive discoveries of surprising links with other fields, like non commutative algebra, finite model theory, structural complexity and topology. In this article, we solve positively a question raised in 1985 about concatenation hierarchies of rational languages, which are constructed by alternating boolean operations and concatenation products. We establish a simple algebraic connection between the Straubing-Thérien hierarchy, whose basis is the trivial variety, and the group hierarchy, whose basis is the variety of group languages. Thanks to a recent result of Almeida and Steinberg, this reduces the decidability problem for the group hierarchy to a property stronger than decidability for the Straubing-Thérien hierarchy.
Fichier principal
Vignette du fichier
ICALP98.pdf (142.86 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00113726 , version 1 (14-11-2006)

Identifiants

  • HAL Id : hal-00113726 , version 1

Citer

Jean-Eric Pin. Bridges for concatenation hierarchies. 1998, pp.431-442. ⟨hal-00113726⟩
134 Consultations
130 Téléchargements

Partager

More