Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||||
| 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
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.
| 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 |
| 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 |
| 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. |