Skip to main content
SpringerLink
Log in
Book cover

Reversibility and Universality pp 279–298Cite as

The Computing Power of Determinism and Reversibility in Chemical Reaction Automata

  • Chapter
  • First Online:

Part of the book series: Emergence, Complexity and Computation ((ECC,volume 30))

Abstract

Chemical reaction automata (CRAs) are computing models with multiset storage based on multiset rewriting introduced in Okubo, Yokomori, (DNA20, LNCS, vol. 8727, pp. 53–66, (2014), [25]). A CRA consists of a finite set of reactions (or pairs of multisets called reactants and products, respectively) and an initial multiset as well as a set of final multisets. Taking an input symbol in the current configuration (multiset) a CRA changes it into a new configuration. Thus, a CRA offers an automaton-like computing model to investigate the computational analysis of chemical reactions. On the other hand, since any (irreversible) Turing machine was proven to be effectively simulated by a reversible Turing machine in Bennett, (IBM J Res Dev, 17(6), 525–532, (1973), [4]), reversible computing has become a research field that has been receiving increased attention. In this paper we introduce the notions of determinism and reversibility into CRAs, and investigate the computational powers of those classes of CRAs in comparison with the language classes of Chomsky hierarchy. The computing power of reversible CRAs involves the physical realization of molecular programming of chemical reaction networks (Thachuk, Condon, DNA 18, LNCS, vol. 7433, pp. 135–149, (2012), [32]) with DNA strand displacement system implementation (Qian, Winfree, Science, 332, 1196–1201, (2011), [29]), and therefore, it is of great significance to elucidate the computing capabilities of both deterministic and reversible CRAs from the theoretical viewpoint of molecular computing.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Angluin, D.: Inference of reversible languages. J. ACM 29(3), 741–765 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  2. Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Urn Automata. No.YLEU/DCS/TR-1280, Department of Computer Science, Yale University, New Haven CT, USA (2003)

    Google Scholar 

  3. Alhazov, A., Freund, R., Morita, K.: Sequential and maximally parallel multiset rewriting: reversibility and determinism. Nat. Comput. 11, 95–106 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525–532 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  5. Calude, C., Păun, Gh, Rozenberg, G.: In: Salomaa, A. (ed.) Multiset Processing. LNCS, vol. 2235. Springer, Heidelberg (2001)

    Google Scholar 

  6. Csuhaj-Varju, E., Vaszil, G.: P Automata or Purely Communicating Accepting P Systems. LNCS, vol. 2597, pp. 219–233. Springer, Berlin (2003)

    Google Scholar 

  7. Csuhaj-Varju, E., Vaszil, G.: P automata. In the Oxford Handbook of Membrane Computing, pp. 145–167. (2010)

    Google Scholar 

  8. Daley, M., Eramian, M., McQuillan, I.: The bag automaton: a model of nondeterministic storage. J. Autom. Lang. Comb. 13, 185–206 (2008)

    MathSciNet  MATH  Google Scholar 

  9. Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inform. 75, 263–280 (2007)

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  11. Hopcroft, J.E., Motwani, T., Ullman, J.D.: Introduction to automata theory, language and computation, 2nd edn. Addison-Wesley, Reading (2003)

    MATH  Google Scholar 

  12. Ibarra, O.: On strong reversibility in P systems and related problems. Int. J. Found. Comput. Sci. 22(1), 7–14 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  13. Kudlek, M., Martin-Vide, C., Păun, Gh: Toward a formal macroset theory. In: Calude, C., Păun, Gh, Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol. 2235, pp. 123–133. Springer, Berlin (2001)

    Google Scholar 

  14. Kutrib, M., Malcher, A.: Reversible pushdown automata. J. Comput. Syst. Sci. 78, 1814–1827 (2012)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  17. Morita, K., Shirasaki, A., Gono, Y.: A 1-tape 2-symbol reversible turing machines. Trans. IEICE Japan E72(3), 223–228 (1989)

    Google Scholar 

  18. Morita, K.: Universality of a reversible two-counter machine. Theor. Comput. Sci. 168, 303–320 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  19. Morita, K.: Reversible computing and cellular automata - a survey. Theor. Comput. Sci. 395, 101–131 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  20. Morita, K.: Two-way reversible multi-head finite automata. Fundam. Inform. 110(1–4), 241–254 (2011)

    MathSciNet  MATH  Google Scholar 

  21. Nishida, T.Y.: Reversible P systems with symport/antiport Rules. In: Proceedings of the 10th Workshop on Membrane Computing, pp. 452–460 (2009)

    Google Scholar 

  22. Okubo, F.: Reaction automata working in sequential manner. RAIRO Theor. Inform. Appl. 48, 23–38 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  23. Okubo, F., Kobayashi, S., Yokomori, T.: Reaction automata. Theor. Comput. Sci. 429, 247–257 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  24. Okubo, F., Kobayashi, S., Yokomori, T.: On the properties of language classes defined by bounded reaction automata. Theor. Comput. Sci. 454, 206–221 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  25. Okubo, F., Yokomori, T.: The computational capability of chemical reaction automata. In: Murata, S., Kobayashi, S. (eds.) DNA20. LNCS, vol. 8727, pp. 53–66. Springer, Switzerland (2014). Also, in Natural Computing, vol. 15, pp. 215–224. (2016)

    Google Scholar 

  26. Paun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press, Inc., New York (2010)

    Google Scholar 

  27. Peterson, J.L.: Petri Net Theory and the Modelling of Systems. Prentice-Hall, Englewood Cliffs (1981)

    Google Scholar 

  28. Pin, J.E.: On Reversible Automata. In: Proceedings of LATIN ’92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, pp. 401–416 (1992)

    Google Scholar 

  29. Qian, L., Winfree, E.: Scaling up digital circuit computation with DNA strand displacement cascades. Science 332, 1196–1201 (2011)

    Article  Google Scholar 

  30. Qian, L., Soloveichik, D., Winfree, E.: Efficient turing-universal computation with DNA polymers. In: Sakakibara, Y., Mi, Y. (eds.) DNA16. LNCS, vol. 6518, pp. 123–140. Springer, Heidelberg (2011)

    Google Scholar 

  31. Rozenberg, G., Back, T.: Section IV: molecular computation. In: Kok, J.N. (ed.) Handbook of Natural Computing, vol. 3, pp. 1071–1355. Springer, Berlin (2012)

    Google Scholar 

  32. Thachuk, C., Condon, A.: In: Stefanovic, D., Turberfield, A. (eds.) Space and energy efficient computation with DNA strand displacement systems. DNA 18. LNCS, vol. 7433, pp. 135–149. Springer, Heidelberg (2012)

    Google Scholar 

  33. Toffoli, T.: Computation and construction universality of reversible cellular automata. J. Comput. Syst. Sci. 15, 213–231 (1977)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors are deeply indebted to referees for their useful comments which greatly improved the consistency and readability of an earlier version of this paper.

The work of F. Okubo was in part supported by JSPS KAKENHI Grant Number JP16K16008, Japan Society for the Promotion of Science. The work of T.Yokomori was in part supported by a Grant-in-Aid for Scientific Research on Innovative Areas “Molecular Robotics”(No. 24104003) and JSPS KAKENHI, Grant-in-Aid for Scientific Research (C) 17K00021 of The Ministry of Education, Culture, Sports, Science, and Technology, Japan, and by Waseda University grant for Special Research Projects: 2016B-067, 2016K-100 and 2017K-121.

Author information

Authors and Affiliations

  1. Faculty of Arts and Science, Kyushu University, 744 Motooka, Nishi-ku, Fukuoka, 819-0395, Japan

    Fumiya Okubo

  2. Department of Mathematics, Faculty of Education and Integrated Arts and Sciences, Waseda University, 1-6-1 Nishiwaseda, Shinjuku-ku, Tokyo, 169-8050, Japan

    Takashi Yokomori

Authors
  1. Fumiya Okubo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Takashi Yokomori
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Takashi Yokomori .

Editor information

Editors and Affiliations

  1. Unconventional Computing Centre, University of the West of England, Bristol, United Kingdom

    Andrew Adamatzky

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Okubo, F., Yokomori, T. (2018). The Computing Power of Determinism and Reversibility in Chemical Reaction Automata. In: Adamatzky, A. (eds) Reversibility and Universality. Emergence, Complexity and Computation, vol 30. Springer, Cham. https://doi.org/10.1007/978-3-319-73216-9_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-73216-9_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-73215-2

  • Online ISBN: 978-3-319-73216-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation