The University of Southampton
University of Southampton Institutional Repository

A unifying approach for multistack pushdown automata

Record type: Conference or Workshop Item (Paper)

We give a general approach to show the closure under complement and decide the emptiness for many classes of multistack visibly pushdown automata (Mvpa). A central notion in our approach is the visibly path-tree, i.e., a stack tree with the encoding of a path that denotes a linear ordering of the nodes. We show that the set of all such trees with a bounded size labeling is regular, and path-trees allow us to design simple conversions between tree automata and Mvpa’s. As corollaries of our results we get the closure under complement of ordered Mvpa that was an open problem, and a better upper bound on the algorithm to check the emptiness of bounded-phase Mvpa’s.

PDF MFCS14.pdf - Other
Download (274kB)

Citation

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2014) A unifying approach for multistack pushdown automata At 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), Hungary. 25 - 29 Aug 2014. 18 pp.

More information

Published date: August 2014
Venue - Dates: 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), Hungary, 2014-08-25 - 2014-08-29
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 365450
URI: http://eprints.soton.ac.uk/id/eprint/365450
PURE UUID: 7dcaf80a-185f-422e-a901-52dd28504bb4

Catalogue record

Date deposited: 04 Jun 2014 13:52
Last modified: 18 Jul 2017 02:21

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.

×