A robust class of regular languages - Archive ouverte HAL
Conference Papers Year : 2008

A robust class of regular languages

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
PinMFCS.pdf (182.85 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00423474 , version 1

Cite

Antonio Cano Gómez, Jean-Eric Pin. A robust class of regular languages. MFCS 2008, Aug 2008, Torun, Poland. pp.36-51. ⟨hal-00423474⟩
93 View
85 Download

Share

More