Turing patterns with Turing machines: emergence and low-level structure formation

Despite having advanced a reaction–diffusion model of ordinary differential equations in his 1952 paper on morphogenesis, reflecting his interest in mathematical biology, Turing has never been considered to have approached a definition of cellular automata. However, his treatment of morphogenesis, and in particular a difficulty he identified relating to the uneven distribution of certain forms as a result of symmetry breaking, are key to connecting his theory of universal computation with his theory of biological pattern formation. Making such a connection would not overcome the particular difficulty that Turing was concerned about, which has in any case been resolved in biology. But instead the approach developed here captures Turing’s initial concern and provides a low-level solution to a more general question by way of the concept of algorithmic probability, thus bridging two of his most important contributions to science: Turing pattern formation and universal computation. I will provide experimental results of one-dimensional patterns using this approach, with no loss of generality to a n-dimensional pattern generalisation.

[1]  A. Grafen,et al.  The formal Darwinism project: a mid‐term report , 2007, Journal of evolutionary biology.

[2]  M. Sahani,et al.  Algorithmic Self-Assembly of DNA , 2006 .

[3]  Gregory J. Chaitin,et al.  On the Length of Programs for Computing Finite Binary Sequences: statistical considerations , 1969, JACM.

[4]  J. Hopfield Physics, Computation, and Why Biology Looks so Different , 1994 .

[5]  Y. Guorong,et al.  Metaphysics , 2012 .

[6]  Ashish Goel,et al.  Running time and program size for self-assembled squares , 2001, STOC '01.

[7]  J. Hopfield Brain, neural networks, and computation , 1999 .

[8]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[9]  Jean-Paul Delahaye,et al.  Numerical evaluation of algorithmic complexity for short strings: A glance into the innermost structure of randomness , 2011, Appl. Math. Comput..

[10]  Christopher G. Langton,et al.  Studying artificial life with cellular automata , 1986 .

[11]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.

[12]  E. Winfree,et al.  Algorithmic Self-Assembly of DNA Sierpinski Triangles , 2004, PLoS biology.

[13]  Cristian S. Calude Information and Randomness: An Algorithmic Perspective , 1994 .

[14]  Hector Zenil,et al.  Compression-Based Investigation of the Dynamical Properties of Cellular Automata and Other Systems , 2009, Complex Syst..

[15]  Peter J. Bentley,et al.  Self-assembly , 2014, GECCO.

[16]  Colin Cooper,et al.  17th International Symposium on Fundamentals of Computation Theory , 2009, FCT 2009.

[17]  Gian-Carlo Rota,et al.  Science, Computers, and People , 1986 .

[18]  Gregory Chaitin,et al.  Life as Evolving Software , 2012 .

[19]  Brian Randell,et al.  On Alan Turing and the Origins of Digital Computers , 1972 .

[20]  S. Barry Cooper,et al.  Emergence as a computability-theoretic phenomenon , 2009, Appl. Math. Comput..

[21]  H. Meinhardt,et al.  Models of biological pattern formation: common mechanism in plant and animal development. , 1996, The International journal of developmental biology.

[22]  M. Muramatsu,et al.  J. D. Watson & F. H. C. Crick: A Structure for Deoxyribose Nucleic Acid , 2002 .

[23]  Jean-Paul Delahaye,et al.  On the Algorithmic Nature of the World , 2009, ArXiv.

[24]  K. Gallagher Darwin’s Dangerous Idea: Evolution and the Meanings of Life , 1996 .

[25]  Drew Endy,et al.  Engineering BioBrick vectors from BioBrick parts , 2008, Journal of Biological Engineering.

[26]  Juan Carlos Seck Tuoh Mora,et al.  Phenomenology of Reaction-diffusion Binary-State Cellular Automata , 2006, Int. J. Bifurc. Chaos.

[27]  Erik Winfree,et al.  The program-size complexity of self-assembled squares (extended abstract) , 2000, STOC '00.

[28]  John von Neumann,et al.  Theory Of Self Reproducing Automata , 1967 .

[29]  P. Maini,et al.  Developmental biology. The Turing model comes of molecular age. , 2006, Science.

[30]  L. Wolpert Developmental Biology , 1968, Nature.

[31]  Master Gardener,et al.  Mathematical games: the fantastic combinations of john conway's new solitaire game "life , 1970 .

[32]  Peter A. Lawrence,et al.  Morphogens: how big is the big picture? , 2001, Nature Cell Biology.

[33]  Hector Zenil,et al.  Program-Size versus Time Complexity, Speed-Up and Slowdown Phenomena in Small Turing Machines , 2011, ArXiv.

[34]  Rodney G. Downey,et al.  Algorithmic Randomness and Complexity , 2010, Theory and Applications of Computability.

[35]  R. Fraser The structure of deoxyribose nucleic acid. , 2004, Journal of structural biology.

[36]  J. Winn,et al.  Brain , 1878, The Lancet.

[37]  H. Meinhardt,et al.  Biological pattern formation: fmm basic mechanisms ta complex structures , 1994 .

[38]  Sydney Brenner,et al.  Turing centenary: Life's code script , 2012, Nature.

[39]  George Dyson,et al.  Darwin among the machines , 1998, The Mathematical Gazette.

[40]  R. Solomonoff A PRELIMINARY REPORT ON A GENERAL THEORY OF INDUCTIVE INFERENCE , 2001 .

[41]  N. Wingreen,et al.  Emergence of Preferred Structures in a Simple Model of Protein Folding , 1996, Science.

[42]  E. Winfree Simulations of Computing by Self-Assembly , 1998 .

[43]  Paul M. B. Vitányi,et al.  The miraculous universal distribution , 1997 .

[44]  A. M. Turing,et al.  The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.

[45]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[46]  F. Crick,et al.  Molecular Structure of Nucleic Acids: A Structure for Deoxyribose Nucleic Acid , 1953, Nature.

[47]  A. DeMaria A structure for deoxyribose nucleic acid. , 2003, Journal of the American College of Cardiology.

[48]  D. A. Young A local activator-inhibitor model of vertebrate skin patterns , 1984 .

[49]  Tobias J. Hagge,et al.  Physics , 1929, Nature.

[50]  Turlough Neary,et al.  Small Weakly Universal Turing Machines , 2007, FCT.

[51]  Uwe J. Meierhenrich,et al.  Amino Acids and the Asymmetry of Life , 2013, European Review.

[52]  Ming-Yang Kao,et al.  Complexities for generalized models of self-assembly , 2004, SODA '04.

[53]  Gregory J. Chaitin Metaphysics, Metamathematics and Metabiology , 2011 .

[54]  P. Maini,et al.  The Turing Model Comes of Molecular Age , 2006, Science.

[55]  J. Doye,et al.  Self-assembly, modularity, and physical complexity. , 2009, Physical review. E, Statistical, nonlinear, and soft matter physics.

[56]  Ming Li,et al.  An Introduction to Kolmogorov Complexity and Its Applications , 2019, Texts in Computer Science.

[57]  Alonzo Church,et al.  A. M. Turing. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society , 2 s. vol. 42 (1936–1937), pp. 230–265. , 1937, Journal of Symbolic Logic.

[58]  W. J. Freeman,et al.  Alan Turing: The Chemical Basis of Morphogenesis , 1986 .

[59]  A. Grafen The simplest formal argument for fitness optimization , 2008, Journal of Genetics.

[60]  Hector Zenil,et al.  Ubiquity symposium: Evolutionary computation and the processes of life: some computational aspects of essential properties of evolution and life , 2012, UBIQ.

[61]  J. Reed,et al.  Simulation of biological evolution and machine learning. I. Selection of self-reproducing numeric patterns by data processing machines, effects of hereditary control, mutation type and crossing. , 1967, Journal of theoretical biology.

[62]  Matthew Cook,et al.  Universality in Elementary Cellular Automata , 2004, Complex Syst..

[63]  A. Kolmogorov Three approaches to the quantitative definition of information , 1968 .

[64]  A. Turing The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.