Membrane creation and symport/antiport rules solving QSAT

Abstract

AbstractIn Membrane Computing, different variants of devices can be found by changing both syntactical and semantic ingredients. These devices are usually called membrane systems or P systems, and they recall the structure and behavior of living cells in the nature. In this sense, rules are introduced as a way for objects to interact with membranes, giving P systems the ability to solve computational problems. Some of these rules, as division, separation and creation rules are inspired by the membrane division through the mitosis process or new membranes are created through gemmation. These rules seem to be crucial in the path to solve computationally hard problems. In this work, creation rules are used in classical P systems with symport/antiport rules, where objects travel through membranes without changing to achieve enough computational power to efficiently solve PSPACE-complete problems. More precisely, a solution to the problem is given by means of a uniform family of these systems. This paper was originally submitted to the International Conference on Membrane Computing 2021.