Structures and Bio-language to Simulate Transition P Systems on Digital Computers

Authors:
Fernando Arroyo;Angel V. Baranda;Juan Castellanos;Carmen Luengo;Luis F. Mingo
Affiliations:
-;-;-;-;-
Venue:
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Year:
2000

Citing 4
Cited 1

A parallel machine for multiset transformation and its programming style

Future Generation Computer Systems
The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
Studying artificial life using a simple, general cellular model

Artificial Life
Computing with membranes

Journal of Computer and System Sciences

A Software Simulation of Transition P Systems in Haskell

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The aim of this paper is to show that some computational models inspired from biological membranes, such as P systems, can be simulated on digital computers in an efficient manner. To this aim, it is necessary to characterize non-determinism and parallel execution of evolution rules inside regions. Both these issues are formally described here in order to obtain a feasible description in terms of data structures and operations able to be implemented in a functional programming language. Static and dynamic structures of transition P systems are formalised in order to define a bio-language to represent them. Finally, a draft of a language for describing a transition P systems is presented. It will facilitate the description of transition P systems in terms of sentences in a high level programming language; such sentences will define a program. A process of compilation will parse the program to appropriate data structures and will launch the execution of the simulation process.