INEQUALITIES FOR ONE-STEP PRODUCTS - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

INEQUALITIES FOR ONE-STEP PRODUCTS

Résumé

Let a be a letter of an alphabet A. Given a lattice of languages L, we describe the set of ultrafilter inequalities satisfied by the lattice La generated by the languages of the form L or LaA * , where L is a language of L. We also describe the ultrafilter inequalities satisfied by the lattice L1 generated by the lattices La, for a ∈ A. When L is a lattice of regular languages, we first describe the profinite inequalities satisfied by La and L1 and then provide a small basis of inequalities defining L1 when L is a Boolean algebra of regular languages closed under quotient.
Fichier principal
Vignette du fichier
DLT2018.pdf (201.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01816900 , version 1 (15-06-2018)

Identifiants

  • HAL Id : hal-01816900 , version 1

Citer

Mário Branco, Jean-Eric Pin. INEQUALITIES FOR ONE-STEP PRODUCTS. DLT 2018, Sep 2018, Tokyo, Japan. ⟨hal-01816900⟩
87 Consultations
116 Téléchargements

Partager

More