Affiliations: Computer and Automation Research Institute, Hungarian
Academy of Sciences, Kende utca 13–17, H-1111 Budapest, Hungary.
E-mail: {csuhaj,vaszil}@sztaki.hu | Department of Mathematics and Computer Science,
University of Salerno, 84081 Baronissi, Salerno, Italy. E-mail: [email protected] | Institute of Mathematics of the Romanian Academy, PO
Box 1-764, 014700 Bucureşti, Romania. E-mail: [email protected] | Research Group on Natural Computing, Department of
Computer Science and Artificial, Intelligence, University of Sevilla Avda. Reina
Mercedes s/n, 41012 Sevilla, Spain. E-mail: [email protected]
Abstract: This paper proposes and investigates the possibility of transforming
a configuration of a P system (the membrane structure and the multisets of
symbol-objects present in the compartments) into another configuration by means
of a given set of rules to be applied to the membranes and to the multisets of
objects. Although this transformation is obtained during the computation in a P
system, we consider it as a goal per se, as a pre-computation phase, when the
system itself is built. In this framework, several important problems appear:
the edit-distance between configurations (with respect to a given set of
editing rules), normal forms, the reachability of configurations, or the
existence of single configurations from which a given family of configurations
can be constructed, only to mention a few. We investigate here some of these
questions; the paper is mainly devoted to formulating problems in the new
framework, to calling attention to the possible extensions and the usefulness
of the present approach.
