On the power of deep pushdown stacks
Visualitza/Obre
Cita com:
hdl:2117/7964
Tipus de documentArticle
Data publicació2009-11
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Inspired by recent work of Meduna on deep pushdown automata, we consider the computational power of a class of basic program schemes, NPSDSs, based around assignments, while-loops and non-deterministic guessing but with access
to a deep pushdown stack which, apart from having the usual push and pop instructions, also has deep-push instructions which allow elements to be pushed to stack locations deep within the stack. We syntactically define sub-classes of NPSDSs by restricting the occurrences of pops, pushes and deep-pushes and capture the complexity classes NP and PSPACE. Furthermore, we show that all problems accepted by program schemes of NPSDSs are in EXPTIME.
Descripció
The original publication is available at http://www.springerlink.com/content/y46h6501746506p0/fulltext.pdf
CitacióArratia, A.; Stewart, I. On the power of deep pushdown stacks. "Acta informatica", Novembre 2009, vol. 46, núm. 7, p. 509-531.
ISSN0001-5903
Versió de l'editorhttp://www.springerlink.com/content/y46h6501746506p0/
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
AAISActaInf2009.pdf | 237,3Kb | Visualitza/Obre |