A Software Simulation of Transition P Systems in Haskell
P systems are a parallel and distributed computational model, based on the membrane structure notion. Membranes define regions. Inside regions, objects and rules are placed in order to make evolve the P system. Evolution is achieved by transitions between two consecutive system configurations. Therefore, a computation can be obtained as a transitions series between consecutive configurations. Where and how P systems can be implemented is nowadays an open problem, but implementation on digital computers could be one way to show the capabilities of such systems. This paper presents a transition P systems implementation in Haskell, based on a theoretical framework previously developed.
Unable to display preview. Download preview PDF.
- 1.F. Arroyo, A.V. Baranda, J. Castellanos, C. Luengo, L.F. Mingo, A Recursive Algorithm for Describing Evolution in Transition P Systems, Pre-Proceedings of Workshop on Membrane Computing, Curtea de Arges,Romania, August 2001, Technical Report 17/01 of Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain, 2001, 19–30.Google Scholar
- 2.F. Arroyo, A.V. Baranda, J. Castellanos, C. Luengo, L.F. Mingo, Structures and Bio-Language to Simulate Transition P Systems on Digital Computers, in Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View (C.S. Calude, Gh. Paun, G. Rozenberg, A. Salomaa, eds.), Lecture Notes in Computer Science 2235, Springer-Verlag, 2001, 1–16.Google Scholar
- 3.A.V. Baranda, J. Castellanos, F. Arroyo, R. Gonzalo, Towards an Electronic Implementation of Membrane Computing: A Formal Description of Nondeterministic Evolution in Transition P Systems, Proc. 7th Intern. Meeting on DNA Based Computers (N. Jonoska, N.C. Seeman, eds.), Tampa, Florida, USA, 2001, 273–282.Google Scholar
- 4.A.V. Baranda, J. Castellanos, R. Gonzalo, F. Arroyo, L.F. Mingo, Data Structures for Implementing Transition P Systems in Silico, Romanian J. of Information Science and Technology, 4, 1–2(2001), 21–32Google Scholar