Event-related outputs of computations in P systems

  • Authors:

  • Matteo Cavaliere;Rudolf Freund;Alexander Leitsch;Gheorghe Paun

  • Affiliations:

  • Microsoft Research, University of Trento, CoSBi, Trento, Italy;Faculty of Informatics, Vienna University of Technology, Wien, Austria;Faculty of Informatics, Vienna University of Technology, Wien, Austria;Institute of Mathematics of the Romanian Academy, Bucuresti, Romania and Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain

  • Venue:
  • Journal of Automata, Languages and Combinatorics
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We briefly investigate the idea to consider as the result of a computation in a P system the number of steps elapsed between two events produced during the computation. Specifically, we first consider the case when the result of a computation is defined in terms of events related to using rules, introducing objects, or meeting objects. In each case, symport/antiport P systems are computationally complete, i.e., they can generate any recursively enumerable set of natural numbers. Then, we address the case when the number computed by a system is the length of a computation itself. We obtain a few results both for catalytic multiset-rewriting and for symport/antiport systems (in each case, also with using membrane dissolution) showing that non-semilinear sets of vectors of natural numbers can be computed in that way. Moreover, we prove a general result showing that for no type of systems we can obtain computational completeness when considering the length sets of halting computations. The general problem, of characterizing the sets of natural numbers computed in this way, remains open.