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.

Membrane Systems with Promoters/Inhibitors / Bottoni, Paolo Gaspare; C., Martin Vide; Grzegorz, Rozenberg; G., Paun. - In: ACTA INFORMATICA. - ISSN 0001-5903. - STAMPA. - 38:10(2002), pp. 695-720. [10.1007/s00236-002-0090-7]

Membrane Systems with Promoters/Inhibitors

BOTTONI, Paolo Gaspare;
2002

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.
2002
01 Pubblicazione su rivista::01a Articolo in rivista
Membrane Systems with Promoters/Inhibitors / Bottoni, Paolo Gaspare; C., Martin Vide; Grzegorz, Rozenberg; G., Paun. - In: ACTA INFORMATICA. - ISSN 0001-5903. - STAMPA. - 38:10(2002), pp. 695-720. [10.1007/s00236-002-0090-7]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/47707
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 55
  • ???jsp.display-item.citation.isi??? 48
social impact