On the power of deep pushdown stacks

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/7964

Título:	On the power of deep pushdown stacks
Autor/a:	Arratia Quesada, Argimiro Alejandro; Stewart, Iain A.
Otros autores:	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Abstract:	The original publication is available at http://www.springerlink.com/content/y46h6501746506p0/fulltext.pdf
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.
Abstract:	Peer Reviewed
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat -Computational complexity -Computer algorithms -Complexitat computacional -Algorismes computacionals
Derechos:
Tipo de documento:	Artículo - Versión presentada Artículo
Compartir:

Arratia Quesada, Argimiro Alejandro; Stewart, Iain A.

Arratia Quesada, Argimiro Alejandro; Stewart, Iain A.

Arratia Quesada, Argimiro Alejandro; Cabaña, Ana Alejandra; Cabaña Perez, Enrique

Junike, Gero; Arratia Quesada, Argimiro Alejandro; Cabaña Nigro, Ana Alejandra; Schoutens, Wim

Arratia Quesada, Argimiro Alejandro; Cabaña, Ana Alejandra

Coordinación

Patrocinio