Membrane Computing: The Power of (Rule) Creation

Fernando Arroyo (Dpto. de Lenguajes, Proyectos y Sistemas Informaticos, Escuela de Informática, Spain)

Angel Baranda (Dpto. de Inteligencia Artificial Facultad de Informática, Spain)

Juan Castellanos (Dpto. de Inteligencia Artificial Facultad de Informática, Spain)

Gheorghe Paun (Institute of Mathematics of the Romanian Academy, Romania)

Abstract: We consider a uniform way of treating objects and rules in P systems: we start with multisets of rules, which are consumed when they are applied, but the application of a rule may also produce rules, to be applied at subsequent steps. We find that this natural and simple feature is surprisingly powerful: systems with only one membrane can characterize the recursively enumerable languages, both in the case of rewriting and of splicing rules, the same result is obtained in the case of symbol-objects, for the recursively enumerable sets of vectors of natural numbers.

Keywords: Chomsky hierarchy, membrane computing, molecular computing, rewriting, splicing

Categories: F.1.1, F.4.2, F.4.3