Editing Configurations of P Systems

  • Authors:

  • Erzsébet Csuhaj-Varjú;Antonio Di Nola;Gheorghe Păun;Mario J. Pérez-Jiménez;György Vaszil

  • 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: adinola@unisa.it;Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700 Bucureşti, Romania. E-mail: george.paun@imar.ro;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: marper@us.es;Computer and Automation Research Institute, Hungarian Academy of Sciences, Kende utca 13-17, H-1111 Budapest, Hungary. E-mail: {csuhaj,vaszil}@sztaki.hu

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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.