Languages generated by P systems with active membranes

We propose an alternative approach to generate languages by means of P systems: building up an appropriate representation for a string by means of a corresponding membrane structure and then generating the string by visiting the membrane structure according to a well-specified strategy. To this aim, we consider P systems with active membranes, allowing membrane creation or division or duplication and dissolution, where the output of a computation may be obtained either by visiting the tree associated with the membrane structure, or by following the traces of a specific object, called traveller, or sending out the objects. For each of these approaches, we provide characterizations of recursively enumerable languages based on P systems that use different sets of operations for modifying the membrane structure.

[1]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[2]  Giancarlo Mauri,et al.  Using membrane features in P-systems , 2001 .

[3]  Carlos Martín-Vide,et al.  Iterated GSM Mappings: A Collapsing Hierarchy , 1999, Jewels are Forever.

[4]  Rodica Ceterchi,et al.  An Application of Dynamic P Systems: Generating Context-Free Languages , 2002, WMC-CdeA.

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

[6]  Andrei Paun,et al.  Membrane Computing: New Results, New Problems , 2002, Bull. EATCS.

[7]  Carlos Martín-Vide,et al.  P Systems with Symport/Antiport Rules: The Traces of Objects , 2002, Grammars.

[8]  Kamala Krithivasan,et al.  P Systems with Membrane Creation: Universality and Efficiency , 2001, MCU.

[9]  Andrei Paun,et al.  ReMembrane Systems with Coupled Transport: Universality and Normal Forms , 2002, Fundam. Informaticae.

[10]  Gheorghe Paun,et al.  Membrane Computing with External Output , 2000, Fundam. Informaticae.

[11]  Rodica Ceterchi,et al.  Dynamic P Systems , 2002, WMC-CdeA.

[12]  Fred Joseph Gruenberger,et al.  Computing: An Introduction , 1969 .

[13]  Gheorghe Paun,et al.  Computing with Membranes: Attacking NP-Complete Problems , 2000, UMC.

[14]  Andrei Paun,et al.  On P Systems with Active Membranes , 2000, UMC.

[15]  Christel Baier,et al.  On Topological Hierarchies of Temporal Properties , 1997, Fundam. Informaticae.

[16]  Carlos Martín-Vide,et al.  A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems , 2001, Words, Semigroups, and Transductions.

[17]  Gheorghe Paun,et al.  On the power of membrane division in P systems , 2004, Theor. Comput. Sci..