A Formalization of Transition P Systems

TitleA Formalization of Transition P Systems
Publication TypeJournal Papers
Year of Publication2002
AuthorsPérez-Jiménez, M. J., & Sancho-Caparrini F.
Journal TitleFundamenta Informaticae
PublisherIOS Press
Place PublishedWarsaw, Poland

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.

KeywordsFormal Verification, Natural computing, P system
ISSN Number0169-2968