The University of Southampton
University of Southampton Institutional Repository

Scope-bounded pushdown languages

Record type: Conference or Workshop Item (Paper)

We study the formal language theory of multistack push-down automata (Mpa) restricted to computations where a symbol can be popped from a stack S only if it was pushed within a bounded number of contexts of S (scoped Mpa). We contribute to show that scoped Mpa are indeed a robust model of computation, by focusing on the corresponding theory of visibly Mpa (Mvpa). We prove the equivalence of the deterministic and nondeterministic versions and show that scope-bounded computations of an n-stack Mvpa can be simulated, rearranging the input word, by using only one stack. These results have several interesting consequences, such as, the closure under complement, the decidability of universality, inclusion and equality, and a Parikh theorem. We also give a logical characterization and compare the expressiveness of the scope-bounded restriction with Mvpa classes from the literature.

PDF DLT14.pdf - Other
Download (300kB)

Citation

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2014) Scope-bounded pushdown languages At 18th International Conference on Developments in Language Theory (DLT 2014), Russian Federation. 26 - 29 Aug 2014. 12 pp.

More information

Published date: August 2014
Venue - Dates: 18th International Conference on Developments in Language Theory (DLT 2014), Russian Federation, 2014-08-26 - 2014-08-29
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 365361
URI: http://eprints.soton.ac.uk/id/eprint/365361
PURE UUID: 3c3a5157-c790-49d1-aced-b2fce345d111

Catalogue record

Date deposited: 03 Jun 2014 08:27
Last modified: 18 Jul 2017 02:22

Export record

Contributors

Author: Salvatore La Torre
Author: Margherita Napoli
Author: Gennaro Parlato

University divisions


Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×