Matter and anti-matter in membrane systems

Abstract

The concept of a matter object being annihilated when meeting its corresponding anti-matter object is investigated in the context of membrane systems, i.e., of (distributed) multiset rewriting systems applying rules in the maximally parallel way. Computational completeness can be obtained with using only non-cooperative rules besides these matter/anti-matter annihilation rules if these annihilation rules have priority over the other rules. Without this priority condition, in addition catalytic rules with one single catalyst are needed to get computational completeness. Even deterministic systems are obtained in the accepting case. Universal P systems with a rather small number of rules - 57 for computing systems, 59 for generating and 53 for accepting systems - can be constructed when using non-cooperative rules together with matter/anti-matter annihilation rules having weak priority. © 2014 Springer International Publishing.