Woods, Damien and Murphy, Niall and Pérez-Jiménez, Mario J. and Riscos-Núñez, Agustín
Membrane dissolution and division in P.
Unconventional Computation, Proceedings of the 8th International Conference, UC 2009, Ponta Delgada, Portugal.
Springer, Berlin, pp. 262-276.
Membrane systems with dividing and dissolving membranes
are known to solve PSPACE problems in polynomial time. However,
we give a P upperbound on an important restriction of such systems. In
particular we examine systems with dissolution, elementary division and
where each membrane initially has at most one child membrane. Even
though such systems may create exponentially many membranes, each
with dierent contents, we show that their power is upperbounded by P.
||This work is supported by a Project of Excellence TIC-581 from the Junta de
Andalucía, project TIN 2006 13425 of the Ministerio de Educación y Ciencia of
Spain, and the Irish Research Council for Science, Engineering and Technology.
We thank the anonymous reviewers for helpful comments on the presentation.
||Membrane dissolution; membrane division; PSPACE problems;
||Faculty of Science and Engineering > Computer Science
||20 Apr 2011 15:38
Repository Staff Only(login required)
||Item control page