BIBLIOS

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Inequalities for One-Step Products

Participantes na publicação
Mário J. J. Branco (Author)
Dep. Matemática
CEMAT
Jean-Éric Pin (Author)

Resumo
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.


Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Suporte
Developments in Language Theory, Lecture Notes in Computer Science

Identificadores da Publicação
ISSN - 0302-9743
eISSN - 1611-3349
ISBN - 9783319986531,9783319986548

Editora
Springer International Publishing



Identificadores do Documento
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

Identificadores de Qualidade
SCIMAGO Q2 (2016) - 0.339 - Computer Science (miscellaneous)