Membrane computing and complexity theory: A characterization of PSPACE

From MaRDI portal
Publication:859989

DOI10.1016/j.jcss.2006.10.001zbMath1178.68260OpenAlexW2085484366MaRDI QIDQ859989

Alfonso Rodríguez-Patón, Petr Sosík

Publication date: 22 January 2007

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2006.10.001




Related Items (33)

P Systems Simulating Oracle ComputationsNon-confluence in divisionless P systems with active membranesOn the power of P systems with active membranes using weak non-elementary membrane divisionCharacterising the complexity of tissue P systems with fission rulesP systems with proteins on membranes characterize PSPACEThe counting power of P systems with antimatterReaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperationOn the power of membrane dissolution in polarizationless P systems with active membranesShallow Non-confluent P SystemsSpace complexity equivalence of P systems with active membranes and Turing machinesComputing with cells: membrane systems – some complexity issuesCell-like P systems with evolutional symport/antiport rules and membrane creationA limitation of cell division in tissue P systems by PSPACEA Characterisation of NL Using Membrane Systems without Charges and DissolutionA Turing machine simulation by P systems without chargesBounding the space in P systems with active membranesSimulating counting oracles with cooperationSeeking computational efficiency boundaries: the Păun's conjectureA new method to simulate restricted variants of polarizationless P systems with active membranesSelected Topics in Computational Complexity of Membrane SystemsRESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICSThe computational power of membrane systems under tight uniformity conditionsSubroutines in P systems and closure properties of their complexity classesWhen object production tunes the efficiency of membrane systemsActive Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise PP SYSTEMS WITH PROTEINS ON MEMBRANES: A SURVEYCharacterizing PSPACE with shallow non-confluent P systemsP systems attacking hard problems beyond NP: a surveyRule synchronization for tissue P systemsCell-like P systems with polarizations and minimal rulesOptical computingDepth-two P systems can simulate Turing machines with \textbf{NP} oraclesP systems with evolutional symport and membrane creation rules solving QSAT



Cites Work




This page was built for publication: Membrane computing and complexity theory: A characterization of PSPACE