Trading polarizations for labels in P systems with active membranes

A Alhazov, L Pan, G Păun - Acta Informatica, 2004 - Springer
A Alhazov, L Pan, G Păun
Acta Informatica, 2004Springer
This paper addresses the problem of removing the polarization of membranes from P
systems with active membranes-and this is achieved by allowing the change of membrane
labels by means of communication rules or by membrane dividing rules. As consequences
of these results, we obtain the universality of P systems with active membranes which are
allowed to change the labels of membranes, but do not use polarizations. Universality
results are easily obtained also by direct proofs. By direct constructions, we also prove that …
Abstract
This paper addresses the problem of removing the polarization of membranes from P systems with active membranes - and this is achieved by allowing the change of membrane labels by means of communication rules or by membrane dividing rules. As consequences of these results, we obtain the universality of P systems with active membranes which are allowed to change the labels of membranes, but do not use polarizations. Universality results are easily obtained also by direct proofs. By direct constructions, we also prove that SAT can be solved in linear time by systems without polarizations and with label changing possibilities. If non-elementary membranes can be divided, then SAT can be solved in linear time without using polarizations and label changing. Several open problems are also formulated.
Springer
Showing the best result for this search. See all results