Computing with Membranes

@article{Paun2000ComputingWM,
  title={Computing with Membranes},
  author={Gheorghe Paun},
  journal={J. Comput. Syst. Sci.},
  year={2000},
  volume={61},
  pages={108-143}
}
  • G. Paun
  • Published 1 August 2000
  • Computer Science
  • J. Comput. Syst. Sci.
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 Venn diagram without intersected sets and with a unique superset. In the regions delimited by the membranes there are placed objects. These objects are assumed to evolve: each object can be transformed in other objects, can pass through a… 

Figures from this paper

A guide to membrane computing
Computing with cells: membrane systems – some complexity issues
  • O. Ibarra, A. Paun
  • Computer Science
    Int. J. Parallel Emergent Distributed Syst.
  • 2008
TLDR
Some interesting and fundamental complexity issues such as universality vs. nonuniversality, determinism vs. nondeterminism, membrane and alphabet size hierarchies, characterizations of context-sensitive languages and other language classes and various notions of parallelism are surveyed.
Computing with Membranes: Variants with an Enhanced Membrane Handling
TLDR
A general class of membrane systems, where besides rules for objects evolution, there are rules for moving objects from a compartment to another one, and for handling membranes, and this latter feature is important, because it makes possible to interpret several DNA computing experiments as membrane computations.
Membrane systems with limited parallelism
TLDR
Another new variant of membrane systems that uses context-free rewriting rules for the evolution of objects placed inside compartments of a cell, and symport rules for communication between membranes are introduced, which prove that these rewriting-symport P systems generate all recursively enumerable languages.
P Automata: Membrane Systems as Acceptors
TLDR
The concept of a membrane system (a P system) was introduced by Gheorghe Păun in 1998 with the aim of formulating a computational device abstracted from the architecture and the functioning of the living cell and has proved to be a successful area in bio-inspired computing.
Spatial Dynamic Structures and Mobility in Computation
TLDR
This thesis addresses issues concerning the power of operations for modifying the membrane structure of a system of mobile membranes by mobility: endocytosis (moving a membrane inside a neighbouring membrane) and endocyTosis ( moving a membrane outside the membrane where it is placed).
On membrane hierarchy in P systems
  • O. Ibarra
  • Computer Science
    Theor. Comput. Sci.
  • 2005
Computing with membranes: P systems with worm-objects
TLDR
It is proved that P systems of this type can generate all recursively enumerable sets of numbers and the first time that a polynomial solution to an NP-complete problem has been obtained in the P system framework without making use of the (non-realistic) operation of membrane division.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 34 REFERENCES
On P Systems with Active Membranes
TLDR
It is shown that membrane division is not necessary in order to show that P systems with active membranes are computationally complete, and that HPP can be solved in polynomial time also by a variant of P systems, with the possibility of dividing non-elementary membranes under the influence of objects present in them.
Generalized P-Systems
TLDR
The model of generalized P-systems, GP- systems for short, is considered, a new model for computations using membrane structures and recently introduced by Gheorghe Păun, allowing for the simulation of graph controlled grammars of arbitrary type based on productions working on single objects.
On Synchronization in P Systems
TLDR
The P systems were recently introduced as distributed parallel computing models of a biochemical type and, as expected, unsynchronized systems (even using catalysts) are weaker than the synchronized ones, providing that no priority relation among rules is considered.
Multiset Processing by Means of Systems of Finite State Transducers
TLDR
A computing mechanism of a biochemical inspiration which consists of a multiset of symbol-objects and a set of finite state transducers and the power of these mechanisms is investigated, as well as the closure properties of the obtained family.
P Systems with Active Membranes: Attacking NP-Complete Problems
  • G. Paun
  • Computer Science
    J. Autom. Lang. Comb.
  • 2001
TLDR
It is proved that a class of P systems whose membranes are the main active components, in the sense that they directly mediate the evolution and the communication of objects, is not only computationally universal, but also able to solve NP complete problems in polynomial time.
On the Power of Membrane Computing
TLDR
This work compares transition super-cell systems with classic mechanisms in formal language theory, context-free and matrix grammars, E0L and ET0L systems, interpreted as generating mechanisms of number relations (the authors take the Parikh image of the usual language generated by these mechanisms rather than the language).
Grammar Systems with WAvE-like Communication
TLDR
A series of variants of parallel communicating grammar systems (PC grammar systems) which are able to simulate data flow in WAVE/like architectures of parallel processors are proposed and formally defined and investigated in order to demonstrate its computational power and mathematical fruitfulness.
The Chemical Abstract Machine
On membrane computing based on splicing
  • A. Paun, M. Păun
  • Computer Science, Mathematics
    Where Mathematics, Computer Science, Linguistics and Biology Meet
  • 2001
TLDR
Characterizations of recursively enumerable languages are given, by means of splicing P systems, having splicing rules of small size (that is, involving short context strings), and it is shown that with only two membranes the authors can generate all the recursive enumerable Languages.
...
1
2
3
4
...