Theoretical Computer Science - Natural computing
From Molecular Computing to Molecular Programming
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
From regulated rewriting to computing with membranes: collapsing hierarchies
Theoretical Computer Science
Membrane automata with priorities
Journal of Computer Science and Technology - Special issue on bioinformatics
On determinism versus nondeterminism in P systems
Theoretical Computer Science
Deterministic catalytic systems are not universal
Theoretical Computer Science - Implementation and application of automata
P Automata: Membrane Systems as Acceptors
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Complexity aspects of polarizationless membrane systems
Natural Computing: an international journal
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
(UREM) P systems with a quantum-like behavior: background, definition, and computational power
WMC'07 Proceedings of the 8th international conference on Membrane computing
A formal framework for static (tissue) P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Optimizing evolution rules application and communication times in membrane systems implementation
WMC'07 Proceedings of the 8th international conference on Membrane computing
DNA13'07 Proceedings of the 13th international conference on DNA computing
Computing with energy and chemical reactions
Natural Computing: an international journal
An empirical evaluation of P system testing techniques
Natural Computing: an international journal
A membrane algorithm for the min storage problem
WMC'06 Proceedings of the 7th international conference on Membrane Computing
On bounded symport/antiport P systems
DNA'05 Proceedings of the 11th international conference on DNA Computing
Some computational issues in membrane computing
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Universal families of reversible p systems
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources
Fundamenta Informaticae
Reversible P Systems to Simulate Fredkin Circuits
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
On Synchronization in P Systems
Fundamenta Informaticae
Stateless multicounter 5' → 3' Watson---Crick automata: the deterministic case
Natural Computing: an international journal
Hi-index | 0.00 |
We introduce a new computability model, of a distributed parallel type, based on the notion of a membrane structure. Such a structure consists of several cell-like membranes, recurrently placed inside a unique "skin" membrane. A plane representation is a Wenn diagram without intersected sets and with a unique superset. In the regions delimited by the membranes there are placed objects; the obtained construct is called a super-cell. These objects are assumed to evolve: each object can be transformed in other objects, can pass through a membrane, or can disolve the membrane in which it is placed. A priority relation between evolution rules can be considered. The evolution is done in parallel for all objects able to evolve. In this way, we obtain a computing device (we call it a super-cell system): start with a certain number of objects in a certain membrane and let the system evolve; if it will halt (no object can further evolve), then the computation is finished, with the result given as the number of objects in a specified membrane. If the development of the system goes for ever, then the computation fails to have an output. We prove that the super-cell systems with the possibility of objects to cooperate characterize the recursively enumerable sets of natural numbers; moreover, systems with only two membranes suffice. In fact, we do not need cooperation, but we only use catalysts, specified objects which are present in the evolution rules but are not modified by the rule application. One catalyst suffices. A variant is also considered, with the objects being strings over a given alphabet. The evolution rules are now based on string transformations. We investigate the case when either the rewriting operation from Chomsky grammars (with respect to context-free productions) or the splicing operation from H systems investigated in the DNA computing is used. In both cases, characterizations of recursively enumerable languages are obtained by very simple super-cell systems: with three membranes in the rewriting case and four in the splicing case. Several open problems and directions for further research are formulated.