Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2012.211
URN: urn:nbn:de:0030-drops-38604
URL: https://drops.dagstuhl.de/opus/volltexte/2012/3860/
Bozzelli, Laura ; Sánchez, César
Visibly Rational Expressions
| pdf-format: |
|
Abstract
Regular Expressions (RE) are an algebraic formalism for expressing regular languages, widely used in string search and as a specification language in verification. In this paper we introduce and investigate Visibly Rational Expressions (VRE), an extension of RE for the well-known class of Visibly Pushdown Languages (VPL). We show that VRE capture the class of VPL. Moreover, we identify an equally expressive fragment of VRE which admits a quadratic time compositional translation into the automata acceptors of VPL. We also prove that, for this fragment, universality, inclusion and language equivalence are EXPTIME-complete. Finally, we provide an extension of VRE for VPL over infinite words.
BibTeX - Entry
@InProceedings{bozzelli_et_al:LIPIcs:2012:3860,
author = {Laura Bozzelli and C{\'e}sar S{\'a}nchez},
title = {{Visibly Rational Expressions}},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) },
pages = {211--223},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-47-7},
ISSN = {1868-8969},
year = {2012},
volume = {18},
editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2012/3860},
URN = {urn:nbn:de:0030-drops-38604},
doi = {10.4230/LIPIcs.FSTTCS.2012.211},
annote = {Keywords: Visibly Pushdown Languages, Context-free specifications, Regular expressions, Algebraic characterization}
}
| Keywords: | Visibly Pushdown Languages, Context-free specifications, Regular expressions, Algebraic characterization | |
| Seminar: | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) | |
| Issue date: | 2012 | |
| Date of publication: | 14.12.2012 |
