Mostra el registre d'ítem simple

dc.contributor.authorArratia Quesada, Argimiro Alejandro
dc.contributor.authorStewart, Iain A.
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2010-07-01T17:40:43Z
dc.date.available2010-07-01T17:40:43Z
dc.date.created2009-11
dc.date.issued2009-11
dc.identifier.citationArratia, A.; Stewart, I. On the power of deep pushdown stacks. "Acta informatica", Novembre 2009, vol. 46, núm. 7, p. 509-531.
dc.identifier.issn0001-5903
dc.identifier.urihttp://hdl.handle.net/2117/7964
dc.descriptionThe original publication is available at http://www.springerlink.com/content/y46h6501746506p0/fulltext.pdf
dc.description.abstractInspired 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.extent23 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat
dc.subject.lcshComputational complexity
dc.subject.lcshComputer algorithms
dc.titleOn the power of deep pushdown stacks
dc.typeArticle
dc.subject.lemacComplexitat computacional
dc.subject.lemacAlgorismes computacionals
dc.identifier.doi10.1007/s00236-009-0103-x
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://www.springerlink.com/content/y46h6501746506p0/
dc.rights.accessOpen Access
local.identifier.drac2559432
dc.description.versionPostprint (author’s final draft)
local.citation.authorArratia, A.; Stewart, I.
local.citation.publicationNameActa informatica
local.citation.volume46
local.citation.number7
local.citation.startingPage509
local.citation.endingPage531


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple