Looking for Computers in the Biological Cell. After Twenty Years

Chapter
First Online:
Part of the Emergence, Complexity and Computation book series (ECC, volume 22)

Abstract

This is a personal, in a great extent autobiographical, view on natural computing, especially about DNA and membrane computing, having as a background the author work in these research areas in the last (more than) two decades. The discussion ranges from precise (though informal) computer science and mathematical issues to very general issues, related, e.g., to the history of natural computing, tendencies, questions (deemed to remain questions, debatable) of a, say, philosophical flavor.

Keywords

Computer Science Turing Machine Finite Automaton Theoretical Computer Science Natural Computing 
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.
This is a preview of subscription content, log in to check access.

Notes

Acknowledgments

Thanks are due to an anonymous referee, who has carefully read the text and also pointed to us paper [6].

References

  1. 1.
    Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science 226, 1021–1024 (1994)CrossRefGoogle Scholar
  2. 2.
    Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 4th edn. Garland Science, New York (2002)Google Scholar
  3. 3.
    Benenson, Y., Paz-Elizur, T., Adar, R., Keinan, E., Livneh, Z., Shapiro, E.: Programmable and autonomous computing machine made of biomolecules. Nature 414, 430–434 (2001)CrossRefGoogle Scholar
  4. 4.
    Benenson, Y., Shapiro, E., Gill, B., Ben-Dor, U., Adar, R.: Molecular computer. A ’smart drug’ in a test tube. In: Pre-proceedings of DNA Computing Conference, p. 49. Milano, invited talk, extended abstract (2004)Google Scholar
  5. 5.
    Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17, 525–532 (1973)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Bollig-Fischer, A., Marchetti, L., Mitrea, C., Wu, J., Krüger, A., Manca, V., Draghici, S.: Modeling time-dependent transcription effects of HER2 oncogene and discovery of a role for E2F2 in breast cancer cell-matrix adhesion. Bioinformatics 30, 3036–3043 (2014)CrossRefGoogle Scholar
  7. 7.
    Boneh, D., Dunworth, C., Lipton, R.: Breaking DES using a molecular computer. In: Proceedings of DNA Based Computers. DIMACS Workshop, pp. 37–66, Princeton (1995)Google Scholar
  8. 8.
    Bray, D.: Protein molecules as computational elements in living cells. Nature 376, 307–312 (1995)CrossRefGoogle Scholar
  9. 9.
    Brooks, R.: The relationship between matter and life. Nature 409, 409–411 (2001)CrossRefGoogle Scholar
  10. 10.
    Calude, C., Păun, Gh: Bio-steps beyond Turing. BioSystems 77, 175–194 (2004)CrossRefGoogle Scholar
  11. 11.
    Cardona, M., Colomer, M.A., Pérez-Jiménez, M.J., Sanuy, D., Margalida, A.: Modeling ecosystems using P systems: The bearded vulture, a case study. Proceedings of WMC, Edinburgh, UK. LNCS, vol. 5391, pp. 137–156. Springer, Berlin (2008)Google Scholar
  12. 12.
    Ciobanu, G., Păun, Gh, Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Berlin (2006)MATHGoogle Scholar
  13. 13.
    Collins, F.S.: The Language of God. A Scientist Presents Evidence for Belief. Simon & Schuster Inc., New York (2006)Google Scholar
  14. 14.
    Constantinescu, E.: God Does not Play Dice. MajestiPress Publishing House, Arad (2008). (in Romanian)Google Scholar
  15. 15.
    Cook, S.: The importance of the P versus NP question. J. ACM 50, 27–29 (2003)MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Conrad, M.: The price of programmability. In: Herken, R. (ed.) The Universal Turing Machine: A Half-Century Survey, pp. 285–307. Kammerer and Unverzagt, Hamburg (1988)Google Scholar
  17. 17.
    Copeland, B.J.: Hypercomputation. Mind. Mach. 12, 461–502 (2002)CrossRefMATHGoogle Scholar
  18. 18.
    Copeland, B.J., Proudfoot, D.: Alan Turing’s forgotten ideas in computer science. Sci. Am. 280, 77–81 (1999)CrossRefGoogle Scholar
  19. 19.
    Dassow, J., Păun, Gh: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)CrossRefMATHGoogle Scholar
  20. 20.
    Davis, M.: The myth of hypercomputation. In: Teuscher, C. (ed.) Alan Turing: The Life and Legacy of a Great Thinker, pp. 195–212. Springer, Berlin (2004)CrossRefGoogle Scholar
  21. 21.
    Dijkstra, E.W.: The end of computer science? Commun. ACM 44, 92 (2001)CrossRefGoogle Scholar
  22. 22.
    Dijkstra, E.W.: Under the spell of Leibniz’s dream. Inf. Process. Lett. 77, 53–61 (2011)MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    Ehrenfeucht, A., Harju, T., Petre, I., Prescott, D.M., Rozenberg, G.: Computation in Living Cells. Gene Assembly in Ciliates. Springer, Berlin (2004)CrossRefMATHGoogle Scholar
  24. 24.
    Eiben, A.E., Smith, J.E.: Introduction to Evolutionary Computing. Springer, Berlin (2003)CrossRefMATHGoogle Scholar
  25. 25.
    Engelfriet, J., Rozenberg, G.: Fixed point languages, equality languages, and representations of recursively enumerable languages. J. ACM 27, 499–518 (1980)MathSciNetCrossRefMATHGoogle Scholar
  26. 26.
    Franco, G., Giagulli, C., Laudana, C., Manca, V.: DNA extraction by XPCR. In: Proceedings of DNA Computing Conference, Milano. LNCS, vol. 3384, pp. 104–112. Springer, Berlin (2004)Google Scholar
  27. 27.
    Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Berlin (2014)Google Scholar
  28. 28.
    Gandy, R.: Church’s thesis and principles for mechanisms. In: Barwise, J., et al. (eds.) The Kleene Symposium, pp. 123–148. North-Holland, Amsterdam (1980)CrossRefGoogle Scholar
  29. 29.
    Gramss, T., Bornholdt, S., Gross, M., Mitchel, M., Pellizzari, Th (eds.): Non-Standard Computation. Wiley-VCH, Weinheim (1998)MATHGoogle Scholar
  30. 30.
    Hameroff, S.R., Dayhoff, J.D., Lahoz-Beltra, R., Samsonovich, A.V., Rasmussen, S.: Models for molecular computation: conformational automata in the cytoskeleton. IEEE Comput. 25, 30–39 (1992)CrossRefGoogle Scholar
  31. 31.
    Hartmanis, J.: About the nature of computer science. Bull. EATCS 53, 170–190 (1994)MATHGoogle Scholar
  32. 32.
    Hartmanis, J.: On the weight of computation. Bull. EATCS 55, 136–138 (1995)MATHGoogle Scholar
  33. 33.
    Head, T.: Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull. Math. Biol. 49, 737–759 (1987)MathSciNetCrossRefMATHGoogle Scholar
  34. 34.
    Hoffmeyer, J.: Surfaces inside surfaces. On the origin of agency and life. Cybern. Hum. Knowing 5, 33–42 (1998)Google Scholar
  35. 35.
    Hoffmeyer, J.: Semiosis and living membranes. Seminário Avançado de Comunicaçao e Semiótica. Biosemiótica e Semiótica Cognitiva, Sao Paolo, Brasil (1998)Google Scholar
  36. 36.
    Horáková, J., Kelemen, J.: Capek, Turing, von Neumann, and the 20th century evolution of the concept of machine. In: Proceedings of the International Conference in Memoriam John von Neumann, pp. 121–135. Budapest Polytechnic (2003)Google Scholar
  37. 37.
    Hromkovic, J.: Communication Complexity and Parallel Computing. Springer, Berlin (1997)CrossRefMATHGoogle Scholar
  38. 38.
    Hromkovic, J.: Why is mathematics useful and how it should be taught? Curtea de la Argeş (2014). www.curteadelaarges.ro (in Romanian)
  39. 39.
    Ionescu, M., Păun, Gh, Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71, 279–308 (2006)MathSciNetMATHGoogle Scholar
  40. 40.
    Kauffman, S.: At Home in the Universe. Oxford Univ, Press (1995)Google Scholar
  41. 41.
    Kitano, H.: Systems biology: a brief overview. Science 295, 1662–1664 (2002)CrossRefGoogle Scholar
  42. 42.
    Kitano, H.: Computational systems biology. Nature 420, 206–210 (2002)CrossRefGoogle Scholar
  43. 43.
    Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183–191 (1961)MathSciNetCrossRefMATHGoogle Scholar
  44. 44.
    Leupold, P.: Is computation observer-relative? In: Sixth Workshop on Non-Classical Models of Automata and Applications, Kassel, Germany (2014)Google Scholar
  45. 45.
    Livio, M.: Is God a Mathematician?. Simon & Schuster Inc., New York (2009)MATHGoogle Scholar
  46. 46.
    Loewenstein, W.R.: The Touchstone of Life. Molecular Information, Cell Communication, and the Foundations of Life. Oxford University Press, Oxford (1999)Google Scholar
  47. 47.
    Manca, V.: Infobiotics. Information in Biotic Systems. Springer, Berlin (2013)MATHGoogle Scholar
  48. 48.
    Marcus, S.: Linguistic structures and generative devices in molecular genetics. Cahiers de Linguistique Thèorique et Appliquée 11, 77–104 (1974)Google Scholar
  49. 49.
    Marcus, S.: Invention or Discovery. Cartea Românească Publishing House, Bucharest (1989). (in Romanian)Google Scholar
  50. 50.
    Marcus, S.: Bridging P systems and genomics: a preliminary approach. In: Proceedings of WMC-CdeA. LNCS, vol. 2597, pp. 371–376. Springer, Berlin (2002)Google Scholar
  51. 51.
    Marcus, S.: The Loneliness of a Mathematician. The Publishing House of the Romanian Academy, Bucharest (2008). (in Romanian)Google Scholar
  52. 52.
    Maass, W.: Networks of spiking neurons: the third generation of neural network models. Neural Netw. 10, 1659–1671 (1997)CrossRefGoogle Scholar
  53. 53.
    McCarthy, J.: Problems and projection in CS for the next 49 years. J. ACM 50, 73–79 (2003)CrossRefGoogle Scholar
  54. 54.
    Mesarovic, M.D.: System theory and biology – view of a theoretician. In: Mesarovic, M.D. (ed.) System Theory and Biology, pp. 59–87. Springer, New York (1968)CrossRefGoogle Scholar
  55. 55.
    Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)MATHGoogle Scholar
  56. 56.
    Păun, A., Păun, Gh: Small universal spiking neural P systems. BioSystems 90, 48–60 (2007)CrossRefMATHGoogle Scholar
  57. 57.
    Păun, Gh: On the splicing operation. Discrete Appl. Math. 70, 57–79 (1996)MathSciNetCrossRefMATHGoogle Scholar
  58. 58.
    Păun, Gh: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (2000)MathSciNetCrossRefMATHGoogle Scholar
  59. 59.
    Păun, Gh: Membrane Computing. An Introduction. Springer, Berlin (2002)CrossRefMATHGoogle Scholar
  60. 60.
    Păun, Gh, Păun, R.: Membrane computing and economics: numerical P systems. Fundamenta Informaticae 73, 213–227 (2006)MathSciNetMATHGoogle Scholar
  61. 61.
    Păun, Gh, Rozenberg, G., Salomaa, A.: Computing by splicing. Theor. Computer Sci. 168(2), 321–336 (1996)MathSciNetCrossRefMATHGoogle Scholar
  62. 62.
    Păun, Gh, Rozenberg, G., Salomaa, A.: DNA Computing. New Computing Paradigms. Springer, Berlin (1998)MATHGoogle Scholar
  63. 63.
    Păun, Gh, Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)MATHGoogle Scholar
  64. 64.
    Reif, J.H., LaBean, T.H., Sahu, S., Yan, H., Yin, P.: Design, simulation, and experimental demonstration of self-assembled DNA nanostructures and motors. In: Proceedings of the Workshop on Unconventional Programming Paradigms, UPP04, Le Mont Saint-Michel (2004)Google Scholar
  65. 65.
    Rozenberg, G., Bäck, T., Kok, J.N. (eds.): Handbook of Natural Computing, vol. 4. Springer, Berlin (2012)MATHGoogle Scholar
  66. 66.
    Rozenberg, G., Salomaa, A.: Watson-Crick complementarity, universal computations, and genetic engineering. Technical Report 96-28, Leiden University, The Netherlands (1996)Google Scholar
  67. 67.
    Schrödinger, E.: What is Life? & Mind and Matter. Cambridge Univ. Press, Cambridge (1967)Google Scholar
  68. 68.
    Searle, J.: The Rediscovery of the Mind. MIT Press, Cambridge (1992)Google Scholar
  69. 69.
    Teuscher, C. (ed.): Alan Turing. Life and Legacy of a Great Thinker. Springer, Berlin (2003)MATHGoogle Scholar
  70. 70.
    Teuscher, C., Sánchez, E.: A revival of Turing’s forgotten connectionist ideas: exploring unorganized machines. In: French, R.M., Sougne, J.J. (eds.) Proceedings of Connectionist Models of Learning, Development and Evolution Conference, Liége, Belgium, 2000, pp. 153–162. Springer, Berlin (2001)Google Scholar
  71. 71.
    Tipler, F.: The Physics of Immortality. Doubleday, New York (1994)Google Scholar
  72. 72.
    Toffoli, T.: Nothing makes sense in computing except in the light of evolution. J. Unconv. Comput. 1, 3–29 (2005)Google Scholar
  73. 73.
    Tomita, M.: Whole-cell simulation: a grand challenge of the 21st century. Trends Biotechnol. 19, 205–210 (2001)CrossRefGoogle Scholar
  74. 74.
    Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society, Series 2, vol. 42, pp. 230–265 (1936) (with an erratum in vol. 43, pp. 544–546 (1936))Google Scholar
  75. 75.
    Watson, J.D., Crick, F.H.C.: A structure for deoxyribose nucleic acid. Nature 171, 737–738 (1953)CrossRefGoogle Scholar
  76. 76.
    Wolkenhauer, O.: Systems biology: the reincarnation of systems theory applied in biology? Brief. Bioinf. 2(3), 258–270 (2001)CrossRefGoogle Scholar
  77. 77.
    Wolpert, D.H., Macready, W.G.: No free lunch theorems for optimization. IEEE Trans. Evol. Comput. 1(1), 67–82 (1997)CrossRefGoogle Scholar
  78. 78.
    Xu, Z., Cavaliere, M., An, P., Vrudhula, S.: The stochastic loss of spikes in spiking neural P systems: Design and implementation of reliable arithmetic circuits. Fundamenta Informaticae 134(1–2), 183–200 (2014)MathSciNetMATHGoogle Scholar
  79. 79.
    Zenil, H. (ed.): A Computable Universe. Understanding and Exploring Nature as Computation. World Scientific, Singapore (2013)MATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2017

Authors and Affiliations

  1. 1.Institute of Mathematics of the Romanian AcademyBucharestRomania

Personalised recommendations