Abstract:Tissue P systems with channel states are a class of bio-inspired parallel computational models, where rules are used in a sequential manner (on each channel, at most one rule can be used at each step). In this work, tissue P systems with channel states working in a flat maximally parallel way are considered, where at each step, on each channel, a maximal set of applicable rules that pass from a given state to a unique next state, is chosen and each rule in the set is applied once. The computational power of such P systems is investigated. Specifically, it is proved that tissue P systems with channel states and antiport rules of length two are able to compute Parikh sets of finite languages, and such P systems with one cell and noncooperative symport rules can compute at least all Parikh sets of matrix languages. Some Turing universality results are also provided. Moreover, the NP-complete problem SAT is solved by tissue P systems with channel states, cell division and noncooperative symport rules working in the flat maximally parallel way; nevertheless, if channel states are not used, then such P systems working in the flat maximally parallel way can solve only tractable problems. These results show that channel states provide a frontier of tractability between efficiency and non-efficiency in the framework of tissue P systems with cell division (assuming P ≠ NP ).

P Systems with Minimal Parallelism

P Systems with Proteins Working in the Minimally Parallel Mode

Cell-like P Systems with Polarizations and Minimal Rules

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

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

The Computational Power of Cell-like P Systems with Symport/Antiport Rules and Promoters.

Further Remark on P Systems with Active Membranes and Two Polarizations

Cell-Like P Systems with Symport/Antiport Rules and Promoters

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

P Systems with Active Membranes and Separation Rules

Flat Maximal Parallelism in P Systems with Promoters

Polarizationless P Systems with Active Membranes

Computational Efficiency and Universality of Timed P Systems with Membrane Creation

Cell-Like P Systems with Channel States and Symport/Antiport Rules

On Sequential P Systems with Proteins

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

Tissue P Systems with Channel States Working in the Flat Maximally Parallel Way

P Systems with Rule Production and Removal.

P Systems Based Multi-Objective Optimization Algorithm

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

Tissue-like P Systems with Evolutional Symport/antiport Rules