Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P

In this paper we introduce a variant of membrane systems with elementary division and without charges. We allow only elementary division where the resulting membranes are identical; we refer to this using the biological term symmetric division. We prove that this model characterises P and introduce logspace uniform families. This result characterises the power of a class of membrane systems that fall under the so-called P conjecture for membrane systems.

• Type: Conference
• Year: 2007
• Where: MEMBRANE
• Authors: Niall Murphy, Damien Woods
• Keywords: Elementary Division, MEMBRANE 2007, Membrane Systems, Term Symmetric Division