Structures and Bio-language to Simulate Transition P Systems on Digital Computers
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.
KeywordsMembrane Structure Algebraic Structure Digital Computer Parallel Execution Evolution Step
Unable to display preview. Download preview PDF.
- 2.V. Baranda, J. Castellanos, R. Molina, F. Arroyo, L.F. Mingo, Data structures for implementing transition P systems in silico, Pre-proceedings of Workshop on Multiset Processing, Curtea de Argeş, Romania, TR140, CDMTCS, Univ. Auckland, 2000, 21–34.Google Scholar