A formalization of transition P Systems

Authors:
Mario J. Pérez-Jiménez;Fernando Sancho-Caparrini
Affiliations:
Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla, España;Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla, España
Venue:
Fundamenta Informaticae - Membrane computing
Year:
2002

Citing 3
Cited 3

Computing with membranes

Journal of Computer and System Sciences
A guide to membrane computing

Theoretical Computer Science - Natural computing
Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems

DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing

A guide to membrane computing

Theoretical Computer Science - Natural computing
A MzScheme Implementation of Transition P Systems

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Approximating non-discrete p systems

WMC'04 Proceedings of the 5th international conference on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

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.