INEQUALITIES FOR ONE-STEP PRODUCTS - Archive ouverte HAL
Conference Papers Year : 2018

INEQUALITIES FOR ONE-STEP PRODUCTS

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01816900 , version 1

Cite

Mário Branco, Jean-Eric Pin. INEQUALITIES FOR ONE-STEP PRODUCTS. DLT 2018, Sep 2018, Tokyo, Japan. ⟨hal-01816900⟩
87 View
114 Download

Share

More