Artículo
A Formalization of Transition P Systems
Autor/es | Pérez Jiménez, Mario de Jesús
Sancho Caparrini, Fernando |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2002 |
Fecha de depósito | 2021-04-15 |
Publicado en |
|
Resumen | 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 ... 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. |
Cita | Pérez Jiménez, M.d.J. y Sancho Caparrini, F. (2002). A Formalization of Transition P Systems. Fundamenta Informaticae, 49 (1-3), 261-271. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
A formalization of transition P ... | 389.0Kb | [PDF] | Ver/ | |