C. Zandron, C. Ferretti, G. Mauri
Two normal forms for rewriting P systems.

Abstract

P systems have been recently introduced by Gh. P\u{a}un as a new model 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.