Skip to main content
Erschienen in: Natural Computing 2/2016

01.06.2016

The computational capability of chemical reaction automata

verfasst von: Fumiya Okubo, Takashi Yokomori

Erschienen in: Natural Computing | Ausgabe 2/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We propose a new computing model called chemical reaction automata (CRAs) as a simplified variant of reaction automata (RAs) studied in recent literature (Okubo in RAIRO Theor Inform Appl 48:23–38 2014; Okubo et al. in Theor Comput Sci 429:247–257 2012a, Theor Comput Sci 454:206–221 2012b). We show that CRAs in maximally parallel manner are computationally equivalent to Turing machines, while the computational power of CRAs in sequential manner coincides with that of the class of Petri nets, which is in marked contrast to the result that RAs (in both maximally parallel and sequential manners) have the computing power of Turing universality (Okubo 2014; Okubo et al. 2012a). Intuitively, CRAs are defined as RAs without inhibitor functioning in each reaction, providing an offline model of computing by chemical reaction networks (CRNs). Thus, the main results in this paper not only strengthen the previous result on Turing computability of RAs but also clarify the computing powers of inhibitors in RA computation.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Fußnoten
1
This trick has been used for simulating M by an RA (with inhibitor) in sequential manner in Okubo (2014).
 
Literatur
Zurück zum Zitat Angluin D, Aspnes J, Eisenstat D (2006) Stably computable predicates are semilinear. In: Proceedings of the 25th annual ACM symposium on principles of distributed computing. ACM Press, New York, pp 292–299 Angluin D, Aspnes J, Eisenstat D (2006) Stably computable predicates are semilinear. In: Proceedings of the 25th annual ACM symposium on principles of distributed computing. ACM Press, New York, pp 292–299
Zurück zum Zitat Calude C, Păun G, Rozenberg G, Salomaa A (eds.) (2001) Multiset processing. LNCS, vol 2235. Springer, Heidelberg Calude C, Păun G, Rozenberg G, Salomaa A (eds.) (2001) Multiset processing. LNCS, vol 2235. Springer, Heidelberg
Zurück zum Zitat Chen H-L, Doty D, Soloveichik D (2012) Deterministic function computation with chemical reaction networks. In: Stefanovic D, Turberfield A (eds) DNA 18, LNCS. Springer, Heidelberg, pp 25–42 Chen H-L, Doty D, Soloveichik D (2012) Deterministic function computation with chemical reaction networks. In: Stefanovic D, Turberfield A (eds) DNA 18, LNCS. Springer, Heidelberg, pp 25–42
Zurück zum Zitat Csuhaj-Varju E, Vaszil G (2010) P automata. In: Păun G, Rozenberg G, Salomaa A (eds) The oxford handbook of membrane computing. Oxford University Press, New York, pp 145–167 Csuhaj-Varju E, Vaszil G (2010) P automata. In: Păun G, Rozenberg G, Salomaa A (eds) The oxford handbook of membrane computing. Oxford University Press, New York, pp 145–167
Zurück zum Zitat Csuhaj-Varju E, Vaszil G (2003) P automata or purely communicating accepting P systems. In: Păun G, Rozenberg G, Salomaa A, Zandron C (eds) LNCS, vol 2597. Springer, Berlin, pp 219–233 Csuhaj-Varju E, Vaszil G (2003) P automata or purely communicating accepting P systems. In: Păun G, Rozenberg G, Salomaa A, Zandron C (eds) LNCS, vol 2597. Springer, Berlin, pp 219–233
Zurück zum Zitat Hopcroft JE, Motwani T, Ullman JD (2003) Introduction to automata theory, language and computation, 2nd edn. Addison-Wesley, BostonMATH Hopcroft JE, Motwani T, Ullman JD (2003) Introduction to automata theory, language and computation, 2nd edn. Addison-Wesley, BostonMATH
Zurück zum Zitat Kudlek M, Martin-Vide C, Păun G (2001) Toward a formal macroset theory. In: Calude C, Păun G, Rozenberg G, Salomaa A (eds) Multiset processing, LNCS. Springer, New York, pp 123–134CrossRef Kudlek M, Martin-Vide C, Păun G (2001) Toward a formal macroset theory. In: Calude C, Păun G, Rozenberg G, Salomaa A (eds) Multiset processing, LNCS. Springer, New York, pp 123–134CrossRef
Zurück zum Zitat Okubo F, Kobayashi S, Yokomori T (2012b) On the properties of language classes defined by bounded reaction automata. Theor Comput Sci 454:206–221MathSciNetCrossRefMATH Okubo F, Kobayashi S, Yokomori T (2012b) On the properties of language classes defined by bounded reaction automata. Theor Comput Sci 454:206–221MathSciNetCrossRefMATH
Zurück zum Zitat Okubo F, Yokomori T (2014) The computational capability of chemical reaction automata. In: Murata S, Kobayashi S (eds) DNA20, LNCS. Springer, Switzerland, pp 53–66 Okubo F, Yokomori T (2014) The computational capability of chemical reaction automata. In: Murata S, Kobayashi S (eds) DNA20, LNCS. Springer, Switzerland, pp 53–66
Zurück zum Zitat Peterson JL (1981) Petri net theory and the modelling of systems. Prentice-Hall, Englewood CliffsMATH Peterson JL (1981) Petri net theory and the modelling of systems. Prentice-Hall, Englewood CliffsMATH
Zurück zum Zitat Qian L, Soloveichik D, Winfree E (2011) Efficient turing-universal computation with DNA polymers. In: Sakakibara Y, Mi Y (eds) DNA16, LNCS. Springer, Heidelberg, pp 123–140 Qian L, Soloveichik D, Winfree E (2011) Efficient turing-universal computation with DNA polymers. In: Sakakibara Y, Mi Y (eds) DNA16, LNCS. Springer, Heidelberg, pp 123–140
Zurück zum Zitat Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput 7(4):615–633MathSciNetCrossRefMATH Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput 7(4):615–633MathSciNetCrossRefMATH
Zurück zum Zitat Suzuki Y, Fujiwara Y, Takabayashi J, Tanaka H (2001) Artificial life applications of a class of P systems: abstract rewriting systems on multisets. In: Calude C, Păun G, Rozenberg G, Salomaa A (eds) Multiset processing, LNCS. Springer, Heidelberg, pp 299–346CrossRef Suzuki Y, Fujiwara Y, Takabayashi J, Tanaka H (2001) Artificial life applications of a class of P systems: abstract rewriting systems on multisets. In: Calude C, Păun G, Rozenberg G, Salomaa A (eds) Multiset processing, LNCS. Springer, Heidelberg, pp 299–346CrossRef
Zurück zum Zitat Thachuk C, Condon A (2012) Space and energy efficient computation with DNA strand displacement systems. In: Stefanovic D, Turberfield A (eds) DNA 18, LNCS, vol 7433. Springer, Heidelberg, pp 135–149 Thachuk C, Condon A (2012) Space and energy efficient computation with DNA strand displacement systems. In: Stefanovic D, Turberfield A (eds) DNA 18, LNCS, vol 7433. Springer, Heidelberg, pp 135–149
Metadaten
Titel
The computational capability of chemical reaction automata
verfasst von
Fumiya Okubo
Takashi Yokomori
Publikationsdatum
01.06.2016
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 2/2016
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-015-9504-7

Weitere Artikel der Ausgabe 2/2016

Natural Computing 2/2016 Zur Ausgabe

Premium Partner