Abstract:P systems are a class of parallel computational models inspired by the structure and functioning of living cells, where all the evolution rules used in a system are initially set up and keep unchanged during a computation. In this work, inspired by the fact that chemical reactions in a cell can be affected by both the contents of the cell and the environmental conditions, we introduce a variant of P systems, called P systems with rule production and removal (abbreviated as RPR P systems), where rules in a system are dynamically changed during a computation, that is, at any computation step new rules can be produced and some existing rules can be removed. The computational power of RPR P systems and catalytic RPR P systems is investigated. Specifically, it is proved that catalytic RPR P systems with one catalyst and one membrane are Turing universal; for purely catalytic RPR P systems, one membrane and two catalysts are enough for reaching Turing universality. Moreover, a uniform solution to the SAT problem is provided by using RPR P systems with membrane division. It is known that standard catalytic P systems with one catalyst and one membrane are not Turing universal. These results imply that rule production and removal is a powerful feature for the computational power of P systems.

Further Remark on P Systems with Active Membranes and Two Polarizations

Further Remarks on P Systems with Active Membranes, Separation, Merging, and Release Rules

Solving HPP and SAT by P Systems with Active Membranes and Separation Rules

Polarizationless P Systems with Active Membranes

Solving a PSPACE-complete Problem by Recognizing P Systems with Restricted Active Membranes

Cell-like P Systems with Polarizations and Minimal Rules

P Systems with Active Membranes and Separation Rules

Solving Graph Problems by P Systems with Restricted Elementary Active Membranes.

Trading Polarizations for Labels in P Systems with Active Membranes

Time-free Solution to SAT Problem Using P Systems with Active Membranes

Time-free Solution to SAT Problem by P Systems with Active Membranes and Standard Cell Division Rules

Efficient Solutions to Hard Computational Problems by P Systems with Symport/antiport Rules and Membrane Division

P Systems with Minimal Parallelism

Computational Efficiency and Universality of Timed P Systems with Membrane Creation

P Systems with Symport/antiport Rules: when Do the Surroundings Matter?

P Systems with Rule Production and Removal.

P Systems with Proteins Working in the Minimally Parallel Mode

An Efficient Time-Free Solution to QSAT Problem Using P Systems with Proteins on Membranes

P Systems Based Multi-Objective Optimization Algorithm

On Sequential P Systems with Proteins

Solving multidimensional 0--1 knapsack problem by P systems with input and active membranes