Computational Completeness of P Systems with Active Membranes and Two Polarizations

P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of type (c) , i.e., communication rules sending out an object of a membrane thereby possibly changing the polarization of this membrane, assigned to at most two membranes are shown to be computationally complete, which improves the previous result of this type with respect to the number of polarizations as well as to the number of membranes. Allowing a special variant (c) of rules of type (c) to delete symbols by sending them out, even only one membrane is enough.

• Type: Conference
• Year: 2004
• Where: MCU
• Authors: Artiom Alhazov, Rudolf Freund, Gheorghe Paun
• Keywords: Active Membranes, Electrical Charges, MCU 2004, MCU 2007, Membrane System