Advertisement

Acta Informatica

, Volume 38, Issue 10, pp 695–720 | Cite as

Membrane systems with promoters/inhibitors

  • Paolo Bottoni
  • Carlos Martín-Vide
  • Gheorghe Păun
  • Grzegorz Rozenberg
Original article

Abstract.

The computational model of membrane computing (formalized through membrane systems, also called P systems) is based on the way that biological membranes define compartments, each having its set of molecules and (enzymes enhancing) reactions, with compartments communicating through the transport of molecules through membranes. In this paper we augment the basic model of membrane systems with promoters and inhibitors, which formalize the reaction enhancing and reaction prohibiting roles of various substances (molecules) present in cells. We formalize such membrane systems with promoters/inhibitors and investigate their basic properties. In particular we establish universality results, i.e., we provide characterizations of recursively enumerable sets (of vectors of natural numbers) using these systems. It turns out that systems with promoters/inhibitors achieve universal computations without using the standard “auxiliary” features of membrane systems, for instance, without using catalysts.

Keywords

Computational Model Natural Number Basic Property Biological Membrane Membrane System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Paolo Bottoni
    • 1
  • Carlos Martín-Vide
    • 2
  • Gheorghe Păun
    • 2
  • Grzegorz Rozenberg
    • 3
  1. 1.Department of Computer Science, University of Rome “La Sapienza”, Via Salaria 113, 00198 Roma, Italy (e-mail: bottoni@dsi.uniromA1.it) IT
  2. 2.Research Group in Mathematical Linguistics, Rovira i Virgili University, Pl. Imperial Tàrraco 1, 43005 Tarragona, Spain (e-mail: {cmv,gp}@astor.urv.es) ES
  3. 3.Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands (e-mail: rozenber@liacs.nl) NL

Personalised recommendations