Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



Parameterized regular expressions and their languages
Indexado
WoS WOS:000316584300002
Scopus SCOPUS_ID:84873723852
DOI 10.1016/J.TCS.2012.12.036
Año 2013
Tipo artículo de investigación

Citas Totales

Autores Afiliación Chile

Instituciones Chile

% Participación
Internacional

Autores
Afiliación Extranjera

Instituciones
Extranjeras


Abstract



We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under the possibility semantics, a word belongs to the language if it is denoted by some regular expression obtained by replacing variables with letters; under the certainty semantics, the word must be denoted by every such expression. Such languages are regular, and we show that they naturally arise in several applications such as querying graph databases and program analysis. As the main contribution of the paper, we provide a complete characterization of the complexity of the main computational problems related to such languages: nonemptiness, universality, containment, membership, as well as the problem of constructing NFAs capturing such languages. We also look at the extension when domains of variables could be arbitrary regular languages, and show that under the certainty semantics, languages remain regular and the complexity of the main computational problems does not change. (C) 2013 Elsevier B.V. All rights reserved.

Métricas Externas



PlumX Altmetric Dimensions

Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:

Disciplinas de Investigación



WOS
Computer Science, Theory & Methods
Scopus
Computer Science (All)
Theoretical Computer Science
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



Ord. Autor Género Institución - País
1 BARCELO-BAEZA, PABLO Hombre Universidad de Chile - Chile
2 REUTTER-DE LA MAZA, JUAN LORENZO Hombre UNIV EDINBURGH - Reino Unido
University of Edinburgh - Reino Unido
The University of Edinburgh - Reino Unido
3 Libkin, Leonid Hombre UNIV EDINBURGH - Reino Unido
University of Edinburgh - Reino Unido
The University of Edinburgh - Reino Unido

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Origen de Citas Identificadas



Muestra la distribución de países cuyos autores citan a la publicación consultada.

Citas identificadas: Las citas provienen de documentos incluidos en la base de datos de DATACIENCIA

Citas Identificadas: 30.0 %
Citas No-identificadas: 70.0 %

Muestra la distribución de instituciones nacionales o extranjeras cuyos autores citan a la publicación consultada.

Citas identificadas: Las citas provienen de documentos incluidos en la base de datos de DATACIENCIA

Citas Identificadas: 30.0 %
Citas No-identificadas: 70.0 %

Financiamiento



Fuente
FONDECYT
Fondo Nacional de Desarrollo Científico y Tecnológico
EPSRC
Engineering and Physical Sciences Research Council
H2020 Future and Emerging Technologies
FET-Open Project FoX

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



Agradecimiento
We thank Marian Kedzierski for helpful comments. Partial support was provided by Fondecyt grant 1110171, EPSRC grant G049165 and FET-Open Project FoX, grant agreement 233599.
We thank Marian Ke¸ dzierski for helpful comments. Partial support was provided by Fondecyt grant 1110171, EPSRC grant G049165 and FET-Open Project FoX, grant agreement 233599.

Muestra la fuente de financiamiento declarada en la publicación.