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.
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