A Formalization of Transition P Systems

Issue title: Membrane Computing (WMC-CdeA2001)

Article type: Research Article

Authors: Pérez-Jiménez, Mario J. | Sancho-Caparrini, Fernando

Affiliations: Dpto. Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla, España

Abstract: In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: transition P systems as they were given in [3], addressed with completely different techniques than in [1] and [2]. For this, we present a formal syntax and semantic of the transition P systems capturing the synchronized work of P systems, and the nondeterministic and maximally parallel manner in which the rules of these systems can be applied.

Keywords: Natural computing, P system, Formal verification

Journal: Fundamenta Informaticae, vol. 49, no. 1-3, pp. 261-271, 2002