Top

Natural Computing

Published in:

01-06-2010

Computing with energy and chemical reactions

Authors: Alberto Leporati, Daniela Besozzi, Paolo Cazzaniga, Dario Pescini, Claudio Ferretti

Published in: Natural Computing | Issue 2/2010

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Taking inspiration from some laws of Nature—energy transformation and chemical reactions—we consider two different paradigms of computation in the framework of Membrane Computing. We first study the computational power of energy-based P systems, a model of membrane systems where a fixed amount of energy is associated with each object and the rules transform objects by manipulating their energy. We show that if we assign local priorities to the rules, then energy-based P systems are as powerful as Turing machines; otherwise, they can be simulated by vector addition systems, and hence are not universal. Then, we consider stochastic membrane systems where computations are performed through chemical networks. We show how molecular species and chemical reactions can be used to describe and simulate the functioning of Fredkin gates and circuits. We conclude the paper with some research topics related to computing with energy-based P systems and with chemical reactions.

previous article On spiking neural P systems

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Bennett CH (1973) Logical reversibility of computation. IBM J Res Dev 17:525–532MATHCrossRef

Besozzi D, Cazzaniga P, Pescini D, Mauri G (to appear) A multivolume approach to stochastic modelling with membrane systems. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Natural computing series. Springer-Verlag, Berlin

Cao Y, Gillespie DT, Petzold LR (2006) Efficient step size selection for the tau-leaping simulation method. J Chem Phys 124:044109CrossRef

Cazzaniga P, Pescini D, Besozzi D, Mauri G (2006) Tau leaping stochastic simulation method in P systems. In: Hoogeboom HJ, Păun Gh, Rozenberg G, Salomaa A (eds) Membrane computing. 7th international workshop, WMC 2006, LNCS 4361, Springer-Verlag, Berlin, pp 298–313

Dittrich P (2005) Chemical computing. In: Banâtre JP, Fradet P, Giavitto JL, Michel O (eds) Unconventional programming paradigms, UPP 2004, LNCS 3566, Springer-Verlag, Berlin, pp 19–32

Fredkin E, Toffoli T (1982) Conservative logic. Int J Theor Phys 21(3–4):219–253MATHCrossRefMathSciNet

Freund R (2003) Energy-controlled P systems. In: Păun Gh, Rozenberg G, Salomaa A, Zandron C (eds) Membrane computing. Proceedings of the international workshop, WMC–CdeA 2002, LNCS 2597, Springer-Verlag, Berlin, pp 247–260

Freund R, Oswald M (2002) GP systems with forbidding context. Fundam Inf 49(1–3):81–102MATHMathSciNet

Freund R, Leporati A, Oswald M, Zandron C (2005) Sequential P systems with unit rules and energy assigned to membranes. In: Margenstern M (ed) Machines, computations, and universality. 4th international conference, MCU 2004, LNCS 3354, Springer-Verlag, Berlin, pp 200–210

Frisco P (2004) The Conformon-P system: a molecular and cell biology-inspired computability model. Theor Comput Sci 312:295–319MATHCrossRefMathSciNet

Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81:2340–2361CrossRef

Gillespie DT (2007) Stochastic simulation of chemical kinetics. Ann Rev Phys Chem 58:35–55CrossRef

Karp R, Miller R (1969) Parallel program schemata. J Comput Syst Sci 3(4):167–195. Also RC2053, IBM T.J. Watson Research Center, New York, April 1968

Landauer R (1961) Irreversibility and heat generation in the computing process. IBM J Res Dev 5:183–191MATHCrossRefMathSciNet

Landauer R (1982) Uncertainty principle and minimal energy dissipation in the computer. Int J Theor Phys 21(3–4):283–297MATHCrossRef

Leporati A, Zandron C, Mauri G (2004) Simulating the Fredkin gate with energy-based P systems. J Univers Comput Sci 10(5):600–619MathSciNet

Leporati A, Zandron C, Mauri G (2006) Reversible P systems to simulate Fredkin circuits. Fundam Inf 74:529–548MATHMathSciNet

Matsumaru N, Centler F, Speroni di Fenizio P, Dittrich P (2005) Chemical organization theory as a theoretical base for chemical computing. Int J Unconv Comput 3:285–309

Minsky ML (1967) Finite and infinite machines. Prentice-Hall, Englewood CliffsMATH

Păun Gh (2000) Computing with membranes. J Comput Syst Sci 1(61):108–143. See also Turku Centre for Computer Science, TUCS Report No. 208, 1998

Păun Gh (2002) Membrane computing—an introduction. Springer-Verlag, BerlinMATH

Păun Gh, Suzuki Y, Tanaka H (2001) P systems with energy accounting. Int J Comput Math 78(3):343–364MATHCrossRefMathSciNet

Pescini D, Cazzaniga P, Ferretti C, Mauri G (2009) First steps toward a wet implementation for τ-DPP. In: Corne DW, Frisco P, Păun Gh, Rozenberg G, Salomaa A (eds) Membrane computing. 9th international workshop, WMC 2008, LNCS 5391, Springer-Verlag, Berlin, pp 355–373

Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs

Toffoli T (1980) Reversible computing. MIT/LCS Technical Report 51

Title: Computing with energy and chemical reactions
Authors: Alberto Leporati
Daniela Besozzi
Paolo Cazzaniga
Dario Pescini
Claudio Ferretti
Publication date: 01-06-2010
Publisher: Springer Netherlands
Published in: Natural Computing / Issue 2/2010
Print ISSN: 1567-7818
Electronic ISSN: 1572-9796
DOI: https://doi.org/10.1007/s11047-009-9160-x

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 2/2010

Representation before computation

Trace monoids with idempotent generators and measure-only quantum automata

On spiking neural P systems

Preface

Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing

Watson–Crick palindromes in DNA computing

Premium Partner