We introduce a new variant of membrane systems where the rules are directly assigned to membranes (and not to the regions as this is usually observed in the area of membrane systems) and, moreover, every membrane carries an energy value that can be changed during a computation by objects passing through the membrane. For the application of rules leading from one configuration of the system to the succeeding configuration we consider a sequential derivation mode and do not use the mode of maximal parallelism. The result of a successful computation is considered to be the distribution of energy values carried by the membranes. We show that for such systems using a kind of priority relation on the rules we already obtain universal computational power. When omitting the priority relation, we obtain a characterization of the family of Parikh sets generated by context-free matrix grammars (with lambda-rules).

Freund, R., Leporati, A., Oswald, M., Zandron, C. (2005). Sequential P Systems with Unit Rules and Energy Assigned to Membranes. In Machines, Computations and Universality, 4th International Conference, MCU 2004 (pp.200-210). Springer Verlag [10.1007/978-3-540-31834-7_16].

Sequential P Systems with Unit Rules and Energy Assigned to Membranes

LEPORATI, ALBERTO OTTAVIO;ZANDRON, CLAUDIO
2005

Abstract

We introduce a new variant of membrane systems where the rules are directly assigned to membranes (and not to the regions as this is usually observed in the area of membrane systems) and, moreover, every membrane carries an energy value that can be changed during a computation by objects passing through the membrane. For the application of rules leading from one configuration of the system to the succeeding configuration we consider a sequential derivation mode and do not use the mode of maximal parallelism. The result of a successful computation is considered to be the distribution of energy values carried by the membranes. We show that for such systems using a kind of priority relation on the rules we already obtain universal computational power. When omitting the priority relation, we obtain a characterization of the family of Parikh sets generated by context-free matrix grammars (with lambda-rules).
paper
Membrane computing, UREM P systems
English
4th International Conference on Machines, Computations, and Universality, MCU 2004
2004
Machines, Computations and Universality, 4th International Conference, MCU 2004
978-3-540-25261-0
2005
3354
200
210
none
Freund, R., Leporati, A., Oswald, M., Zandron, C. (2005). Sequential P Systems with Unit Rules and Energy Assigned to Membranes. In Machines, Computations and Universality, 4th International Conference, MCU 2004 (pp.200-210). Springer Verlag [10.1007/978-3-540-31834-7_16].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/13143
Citazioni
  • Scopus 14
  • ???jsp.display-item.citation.isi??? 9
Social impact