A Formalization of Transition P Systems

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 the system can be applied.

• Type: Journal
• Year: 2002
• Where: FUIN
• Authors: Mario J. Pérez-Jiménez, Fernando Sancho-Caparrini
• Keywords: Basic Features, Complete Formalization, Distributed Parallel Type, FUIN 2002