BIBLIOS

Document type
Journal articles

Document subtype
Full paper

Title
Inequalities for One-Step Products

Participants in the publication
Mário J. J. Branco (Author)
Dep. Matemática
CEMAT
Jean-Éric Pin (Author)

Summary
Let a be a letter of an alphabet A. Given a lattice of languages W, we describe the set of ultrafilter inequalities satisfied by the lattice W_a generated by the languages of the form L or LaA^∗ , where L is a language of W. We also describe the ultrafilter inequalities satisfied by the lattice W_1 generated by the lattices W_a , for a in A . When L is a lattice of regular languages, we first describe the profinite inequalities satisfied by W_a and W_1 and then provide a small basis of inequalities defining W_1 when W is a Boolean algebra of regular languages closed under quotient.


Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
Developments in Language Theory, Lecture Notes in Computer Science

Publication Identifiers
ISSN - 0302-9743
eISSN - 1611-3349
ISBN - 9783319986531,9783319986548

Publisher
Springer International Publishing



Document Identifiers
DOI - https://doi.org/10.1007/978-3-319-98654-8_13
URL - http://dx.doi.org/10.1007/978-3-319-98654-8_13

Rankings
SCIMAGO Q2 (2016) - 0.339 - Computer Science (miscellaneous)