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

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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J.P. Banătre, A. Coutant, D. Le Metayer, A parallel machine for multiset transformation and its programming style, Future Generation Computer Systems, 4 (1988), 133–144.CrossRefGoogle Scholar
  2. 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
  3. 3.
    G. Berry, G. Boudol, The chemical abstract machine, Theoretical Computer Science, 96(1992), 217–248.MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Gh. Păun, Computing with membranes, Journal of Computer and Systems Sciences, 61, 1 (2000), 108–143.CrossRefMATHGoogle Scholar
  5. 5.
    M. Sipper, Studying artificial life using a simple, general cellular model, Artificial Life Journal, 2, 1 (1995), 1–35.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Fernando Arroyo
    • 1
  • Angel V. Baranda
    • 2
  • Juan Castellanos
    • 2
  • Carmen Luengo
    • 1
  • Luis F. Mingo
    • 3
  1. 1.Dpto. de Lenguajes, Proyectos y Sistemas Inform’aticosEscuela Unversitaria de Inform’atica, Universidad Polit’ecnica de MadridMadridSpain
  2. 2.Dpto. de Inteligencia Artificial, Facultad de Inform’aticaUniversidad Polit’ecnica de MadridMadridSpain
  3. 3.Dpto. de Organizaci’on y Estructura de la Informaci’onEscuela Unversitaria de Inform’atica, Universidad Polit’ecnica de MadridMadridSpain

Personalised recommendations