2021-04-152021-04-152002Pérez Jiménez, M.d.J. y Sancho Caparrini, F. (2002). A Formalization of Transition P Systems. Fundamenta Informaticae, 49 (1-3), 261-271.0169-2968https://hdl.handle.net/11441/107106In 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.application/pdf11engAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Natural computingP SystemFormal verificationinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccess6674224