Mostra el registre d'ítem simple
On the power of deep pushdown stacks
dc.contributor.author | Arratia Quesada, Argimiro Alejandro |
dc.contributor.author | Stewart, Iain A. |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2010-07-01T17:40:43Z |
dc.date.available | 2010-07-01T17:40:43Z |
dc.date.created | 2009-11 |
dc.date.issued | 2009-11 |
dc.identifier.citation | Arratia, A.; Stewart, I. On the power of deep pushdown stacks. "Acta informatica", Novembre 2009, vol. 46, núm. 7, p. 509-531. |
dc.identifier.issn | 0001-5903 |
dc.identifier.uri | http://hdl.handle.net/2117/7964 |
dc.description | The original publication is available at http://www.springerlink.com/content/y46h6501746506p0/fulltext.pdf |
dc.description.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. |
dc.format.extent | 23 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat |
dc.subject.lcsh | Computational complexity |
dc.subject.lcsh | Computer algorithms |
dc.title | On the power of deep pushdown stacks |
dc.type | Article |
dc.subject.lemac | Complexitat computacional |
dc.subject.lemac | Algorismes computacionals |
dc.identifier.doi | 10.1007/s00236-009-0103-x |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://www.springerlink.com/content/y46h6501746506p0/ |
dc.rights.access | Open Access |
local.identifier.drac | 2559432 |
dc.description.version | Postprint (author’s final draft) |
local.citation.author | Arratia, A.; Stewart, I. |
local.citation.publicationName | Acta informatica |
local.citation.volume | 46 |
local.citation.number | 7 |
local.citation.startingPage | 509 |
local.citation.endingPage | 531 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.046]