Two Normal Forms for Rewriting P Systems

P systems have been recently introduced by Gh. Paun as a newmo del for molecular computations based on the notion of membrane structure. In this work, we consider Rewriting P Systems which use electrical charges to move objects between the membranes. We show that electrical charges, a feature introduced in order to obtain more "realistic" systems, induces simple systems: we define two normal forms for two variants of Rewriting P Systems which make use of electrical charges.

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

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

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

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

[5]  Gheorghe Paun,et al.  On Synchronization in P Systems , 1999, Fundam. Informaticae.

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

[7]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

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

[9]  Gheorghe Paun,et al.  Computing with Membranes: An Introduction , 1999, Bull. EATCS.

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

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