A Software Simulation of Transition P Systems in Haskell

  • Fernando Arroyo
  • Carmen Luengo
  • Angel V. Baranda
  • Luis de Mingo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2597)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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
  5. 5.
    G. Păun, Computing with Membranes, Journal of Computer and Systems Sciences, 61, 1 (2000) 108–143.MATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Fernando Arroyo
    • 1
  • Carmen Luengo
    • 1
  • Angel V. Baranda
    • 2
  • Luis de Mingo
    • 3
  1. 1.Dept. Lenguajes, Proyectos y Sistemas Informáticos Escuela de InformáticaUniversidad Politécnica de MadridMadridSpain
  2. 2.Dept. Inteligencia Artificial Facultad de InformáticaUniversidad Politécnica de Madrid Campus de MontegancedoMadridSpain
  3. 3.Dept. Organización y Estructura de la Información EscuelaUniversitaria de Informática, Universidad Politécnica de MadridMadridSpain

Personalised recommendations