A Formalization of Transition P Systems
| Title | A Formalization of Transition P Systems |
| Publication Type | Journal Papers |
| Year of Publication | 2002 |
| Authors | Pérez-Jiménez, M. J., & Sancho-Caparrini F. |
| Journal Title | Fundamenta Informaticae |
| Publisher | IOS Press |
| Place Published | Warsaw, Poland |
| Volume | 49 |
| Pages | 261-272 |
| 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 | Formal Verification, Natural computing, P system |
| URL | http://portal.acm.org/citation.cfm?id=1220112 |
| Issue | 1-3 |
| ISSN Number | 0169-2968 |
Research Group on Natural Computing (PAI - TIC 193)
Department of Computer Science and Artificial Intelligence
University of Seville
Webmasters: the members of the RGNC
| Follow us: |  |
 |
|
Featured News: |
|
Mario J. Pérez-Jiménez in the top 2% of scientists of the World |
|
Agustín became Full Professor |
|
Science names our most recent research project |