A formalization of membrane systems with dynamically evolving structures

Abstract

This article introduces a general formalism/framework flexible enough to cover descriptions of different variants of P systems having a dynamic membrane structure. Our framework can be useful for the precise definition of new variants of P systems with a dynamic structure and for the comparison of existing definitions as well as for their extension. We give a detailed definition of the formalism and we present some examples of how to translate several existing variants of P systems with a dynamic structure.

Keywords:

• P systems
• dynamic structure
• formal definition

2000 AMS Subject Classification:

• 68Q05

Acknowledgements

The work of the second and the third authors was supported by Project TIN2009-13192 of the Ministerio de Ciencia e Innovación of Spain, cofinanced by FEDER funds and Project of Excellence with Investigador de Reconocida Valía, from Junta de Andalucía, grant P08 – TIC 04200.