BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Equations Defining the Polynomial Closure of a Lattice of Regular Languages

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

Resumo
The polynomial closure Pol(L) of a class of languages L of A^∗ is the set of languages that are finite unions of marked products of the form L_0 a_ 1 L_1 ··· a_ n L_n, where the a_i are letters and the L_i are elements of L. The main result of this paper gives an equational description of Pol(L), given an equational description of L, when L is a lattice of regular languages closed under quotients.

Data de Publicação
2009

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

Suporte
Automata, Languages and Programming, Lecture Notes in Computer Science

Identificadores da Publicação
ISSN - 0302-9743

Editora
Springer Berlin Heidelberg

Edição
Equations Defining the Polynomial Closure of a Lattice of Regular Languages. In: Albers S., Marchetti-Spaccamela A., Matias Y., Nikoletseas S., Thomas W. (eds) Automata, Languages and Programming. ICALP 2009
Volume
5556

Número de Páginas
12
Página Inicial
115
Página Final
126

Identificadores do Documento
DOI - https://doi.org/10.1007/978-3-642-02930-1_10
URL - http://dx.doi.org/10.1007/978-3-642-02930-1_10

Identificadores de Qualidade
SCIMAGO Q2 (2009) - 0.302 - Computer Science (miscellaneous)


Exportar referência

APA
Mário J. J. Branco, Jean-Éric Pin, (2009). Equations Defining the Polynomial Closure of a Lattice of Regular Languages. Automata, Languages and Programming, Lecture Notes in Computer Science, 5556, 115-126. ISSN 0302-9743. eISSN . http://dx.doi.org/10.1007/978-3-642-02930-1_10

IEEE
Mário J. J. Branco, Jean-Éric Pin, "Equations Defining the Polynomial Closure of a Lattice of Regular Languages" in Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 5556, pp. 115-126, 2009. 10.1007/978-3-642-02930-1_10

BIBTEX
@article{50193, author = {Mário J. J. Branco and Jean-Éric Pin}, title = {Equations Defining the Polynomial Closure of a Lattice of Regular Languages}, journal = {Automata, Languages and Programming, Lecture Notes in Computer Science}, year = 2009, pages = {115-126}, volume = 5556 }