Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems

Authors:
Angel V. Baranda;Fernando Arroyo;Juan Castellanos;Rafael Gonzalo
Affiliations:
-;-;-;-
Venue:
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Year:
2001

Citing 2
Cited 3

Computing with membranes

Journal of Computer and System Sciences
P systems with active membranes: attacking NP-complete problems

Journal of Automata, Languages and Combinatorics

A formalization of transition P Systems

Fundamenta Informaticae - Membrane computing
A Software Simulation of Transition P Systems in Haskell

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
A Formalization of Transition P Systems

Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is part of a program of our research group, aiming to implement membrane computing on electronic computers. We here present Transition P systems, which is the preliminary steep of our approach. The formalisation we before have in mind the functional programming framework for developing the software modules. Part of these modules has already realised, in Haskell, and they are briefly described in the second section of the paper.