Skip to main content
Log in

Self-healing turing-universal computation in morphogenetic systems

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

A morphogenetic system (M system) is an abstract computational model inspired by characteristic properties of morphogenetic phenomena such as controlled growth, self-reproduction, homeostasis and self-healing in living systems. Besides selected principles of membrane computing, M systems also rely on algorithmic self-assembly of abstract tiles unfolding in a 3D (or generally, dD) space. Explicit spatial arrangements for interaction among an M system’s components are crucial for its function. From a computational viewpoint, key features of M systems include their computational universality and their efficiency to solve difficult problems. Both computational universality (in the Turing sense) and self-healing properties (in the sense of the algorithmic tile assembly model) have been demonstrated for different M systems in prior publications. Here, we demonstrate that both of these properties can be simultaneously achieved in a single M system. We present a Turing universal string acceptor M system that also exhibits self-healing capabilities of degree 1. This result is rather surprising since Turing machines are usually very sensitive to minor damage to their internal structure. The result thus sheds light on the power and importance of geometric and spatial arrangements for the reliability and robustness of a computational system.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  • Einstein A (1905) Über die von der molekularkinetischen theorie der wärme geforderte bewegung von in ruhenden flüssigkeiten suspendierten teilchen. Annalen der Physik 322(8):549–560

    Article  Google Scholar 

  • Krasnogor N, Gustafson S, Pelta D, Verdegay J (2011) Systems self-assembly: multidisciplinary snapshots. Studies in multidisciplinarity. Elsevier Science

  • Mange D, Madon D, Stauffer A, Tempesti G (1997) Von Neumann revisited: a Turing machine with self-repair and self-reproduction properties. Robotics Auton Syst 22(1):35–58

    Article  Google Scholar 

  • Nash A, Kalvala S (2019) A P system model of swarming and aggregation in a Myxobacterial colony. J Membr Comput 1(2):103–111

    Article  MathSciNet  Google Scholar 

  • Păun A, Popa B (2006a) P systems with proteins on membranes. Fundamenta Informaticae 72(4):467–483

  • Păun A, Popa B (2006b) P systems with proteins on membranes and membrane division. In: Ibarra O, Dang Z (eds) DLT 2006, vol 4036. Lecture Notes in Computer Science. Springer, Berlin, pp 292–303

  • Păun G, Rozenberg G, Salomaa A (eds) (2010) The Oxford handbook of membrane computing. Oxford University Press, Oxford

  • Qang H (1961) Proving theorems by pattern recognition - ii. Bell Syst Tech J 40(1):1–41

    Article  Google Scholar 

  • Smolka V, Drastík J, Bradík J, Garzon M, Sosík P (2020) Morphogenetic systems: models and experiments. Biosystems 198, art. no. 104270, available online

  • Song B, Pérez-Jiménez MJ, Pan L (2015) Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division. Biosystems 130:51–58

    Article  Google Scholar 

  • Sosík P, Smolka V, Drastík J, Moore T, Garzon M (2017) Morphogenetic and homeostatic self-assembled systems. In: Patitz MJ, Stannett M (eds) Unconventional computation and natural computation: 16th Int. Conf., UCNC 2017. Lecture Notes in Computer Science, vol 10240. Springer, Berlin, pp 144–159

  • Sosík P, Smolka V, Drastík J, Bradík J, Garzon M (2018) On the robust power of morphogenetic systems for time bounded computation. In: Gheorghe M (ed) Membrane Computing, 18th international conference, CMC18, vol 10725. Lecture Notes in Computer Science. Springer, Berlin, pp 270–292

  • Sosík P, Smolka V, Bradík J, Garzon M (2019) Modeling plant development with M systems. In: Hinze T, Rozenberg G, Salomaa A, Zandron C (eds) Membrane Computing, 19th international conference, CMC19, vol 11399. Lecture Notes in Computer Science. Springer, Cham, pp 246–257

  • Sosík P, Drastík J, Smolka V, Garzon M (2020) From P systems to morphogenetic systems: an overview and open problems. J Membr Comput 2(4):380–391

    Article  MathSciNet  Google Scholar 

  • Turing A (1950) The chemical basis of morphogenesis. Philos Trans R Soc Lond B 237:7–72

    Google Scholar 

  • von Neumann J (1956) Probabilistic logics and the synthesis of reliable organisms from unreliable components. Ann Math Stud 34:43–98

    MathSciNet  Google Scholar 

  • Winfree E (2006) Self-healing tile sets. In: Chen J, Jonoska N, Rozenberg G (eds) Nanotechnology: science and computation. Natural Computing Series. Springer, Berlin, pp 55–66

  • Ziegler G (1995) Lectures on polytopes. Graduate texts in mathematics. Springer, New York

Download references

Acknowledgements

This work was supported by The Ministry of Education, Youth and Sports Of the Czech Republic from the National Programme of Sustainability (NPU II) project IT4Innovations Excellence in Science - LQ1602, and by the Silesian University in Opava under the Student Funding Scheme, project SGS/11/2019.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Petr Sosík.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sosík, P., Garzon, M. & Drastík, J. Self-healing turing-universal computation in morphogenetic systems. Nat Comput 20, 739–750 (2021). https://doi.org/10.1007/s11047-021-09860-4

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-021-09860-4

Keywords

Navigation