A robust class of regular languages - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

A robust class of regular languages

Résumé

In this survey paper, we present known results and open questions on a proper subclass of the class of regular languages. This class, denoted by W, is especially robust: it is closed under union, intersection, product, shuffle, left and right quotients, inverse of morphisms, length preserving morphisms and commutative closure. It can be defined as the largest positive variety of languages not containing the language (ab)*. It admits a nontrivial algebraic characterization in terms of finite ordered monoids, which implies that W is decidable: given a regular language, one can effectively decide whether or not it belongs to W. We propose as a challenge to find a constructive description and a logical characterization of W.

Domaines

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

Dates et versions

hal-00423474 , version 1 (10-10-2009)

Identifiants

  • HAL Id : hal-00423474 , version 1

Citer

Antonio Cano Gómez, Jean-Eric Pin. A robust class of regular languages. MFCS 2008, Aug 2008, Torun, Poland. pp.36-51. ⟨hal-00423474⟩
76 Consultations
69 Téléchargements

Partager

Gmail Facebook X LinkedIn More