Membrane Computing with External Output

A membrane computing system (also called P system) consists of computing cells which are organized hierarchically by the inclusion relation: cells may include cells, which again may include cells, etc. Each cell is enclosed by its membrane. Each cell is an independent computing agent with its own computing program, which produces objects. The interaction between cells consists of the exchange of objects through membranes. The output of a computation is a partially ordered set of objects which leave the system through its external membrane. The fundamental properties of computations in such P systems with external output are investigated. These include the computing power, normal forms, and basic decision problems.

[1]  Gheorghe Paun,et al.  Regulated Rewriting in Formal Language Theory , 1989 .

[2]  Gheorghe Paun,et al.  DNA Computing: New Computing Paradigms , 1998 .

[3]  Gheorghe Paun.  P Systems with Active Membranes: Attacking NP-Complete Problems , 2001, J. Autom. Lang. Comb..

[4]  Rudolf Freund.  Generalized P-Systems , 1999, FCT.

[5]  Gheorghe Paun.  Computing with Membranes (P Systems): A Variant , 2000, Int. J. Found. Comput. Sci..

[6]  T. Head.  Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. , 1987, Bulletin of mathematical biology.

[7]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[8]  Grzegorz Rozenberg,et al.  The mathematical theory of L systems , 1980 .

[9]  Ion Petre,et al.  A Normal form for P-Systems , 1999, Bull. EATCS.

[10]  Andrei Păun,et al.  On membrane computing based on splicing , 2001, Where Mathematics, Computer Science, Linguistics and Biology Meet.

[11]  Gheorghe Paun,et al.  On the Power of Membrane Computing , 1999, J. Univers. Comput. Sci..

[12]  Ion Petre,et al.  Mobile Ambients and P-Systems , 1999, J. Univers. Comput. Sci..