Evolution and Observation: A New Way to Look at Membrane Systems

  • Matteo Cavaliere
  • Peter Leupold
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2933)


An architecture for investigating the dynamical behaviour of biological systems is proposed by using the concepts of “behaviour” and “observer”. The behaviour of a biological system is the sequence of states traversed as time passes; the observer is a device translating this behaviour into a readable output.

As an instance of this architecture we investigate P/O systems constituted by a membrane system and a multiset finite automaton observer. We first characterize the infinite behaviours of conservative systems, i.e., systems whose number of objects is constant. These systems behave very regularly. For more sophisticated systems we then use also more complicated multiset automata as observers: they map the configurations into an output alphabet and thus we obtain words describing the entire computations. Even for seemingly simple membrane systems using only non-cooperative rules and regular-like observers through this combination a great power emerges, in our case computational universality.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Berstel, J., Pin, J.E.: Infinite Words. In: preparation; draft, available at
  2. 2.
    Csuhai-Varjú, E., Martín-Vide, C., Mitrana, V.: Multiset Automata. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol. 2235, pp. 69–83. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Csuhai-Varjú, E., Martín-Vide, C., Păun, G., Salomaa, A.: From Watson-Crick L Systems to Darwinian P Systems. Natural Computing 2(3), 299–318 (2003)CrossRefMathSciNetGoogle Scholar
  4. 4.
    Hopcroft, J.E., Ullmann, J.D.: Introduction to Automata Theory, Languages and Computation. Addison Wesley, Reading (1979)zbMATHGoogle Scholar
  5. 5.
    Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)zbMATHGoogle Scholar
  6. 6.
    Rozenberg, G., Salomaa, A.: Watson-Crick Complementarity, Universal Computations and Genetic Engineering, Technical Report 96-28, Dept. of Computer Science, Leiden University (1996)Google Scholar
  7. 7.
    Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Berlin (1997)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Matteo Cavaliere
    • 1
  • Peter Leupold
    • 1
  1. 1.Research Group on Mathematical LinguisticsRovira i Virgili UniversityTarragonaSpain

Personalised recommendations