Von Neumann universal constructor
John von Neumann's universal constructor is a self-replicating machine in a cellular automata (CA) environment. It was designed in the 1940s, without the use of a computer. The fundamental details of the machine were published in von Neumann's book Theory of Self-Reproducing Automata, completed in 1966 by Arthur W. Burks after von Neumann's death.^{ [2]} While typically not as well known as von Neumann's other work, it is regarded as foundational for automata theory, complex systems, and artificial life.^{ [3]}^{ [4]} Indeed, Nobel Laureate Sydney Brenner considered Von Neumann's work on self-reproducing automata (together with Turing's work on computing machines) central to biological theory as well, allowing us to "discipline our thoughts about machines, both natural and artificial."^{ [5]}
Von Neumann's goal, as specified in his lectures at the University of Illinois in 1949,^{ [2]} was to design a machine whose complexity could grow automatically akin to biological organisms under natural selection. He asked what is the threshold of complexity that must be crossed for machines to be able to evolve.^{ [4]} His answer was to specify an abstract machine which, when run, would replicate itself. In his design, the self-replicating machine consists of three parts: a "description" of ('blueprint' or program for) itself, a universal constructor mechanism that can read any description and construct the machine (sans description) encoded in that description, and a universal copy machine that can make copies of any description. After the universal constructor has been used to construct a new machine encoded in the description, the copy machine is used to create a copy of that description, and this copy is passed on to the new machine, resulting in a working replication of the original machine that can keep on reproducing. Some machines will do this backwards, copying the description and then building a machine. Crucially, the self-reproducing machine can evolve by accumulating mutations of the description, not the machine itself, thus gaining the ability to grow in complexity.^{ [4]}^{ [5]}
To define his machine in more detail, von Neumann invented the concept of a cellular automaton. The one he used consists of a two-dimensional grid of cells, each of which can be in one of 29 states at any point in time. At each timestep, each cell updates its state depending on the states of the surrounding cells at the prior timestep. The rules governing these updates are identical for all cells.
The universal constructor is a certain pattern of cell states in this cellular automaton. It contains one line of cells that serve as the description (akin to Turing's tape), encoding a sequence of instructions that serve as a 'blueprint' for the machine. The machine reads these instructions one by one and performs the corresponding actions. The instructions direct the machine to use its 'construction arm' (another automaton that functions like an Operating System^{ [4]}) to build a copy of the machine, without the description tape, at some other location in the cell grid. The description cannot contain instructions to build an equally long description tape, just as a container cannot contain a container of the same size. Therefore, the machine includes the separate copy machine which reads the description tape and passes a copy to the newly constructed machine. The resulting new set of universal constructor and copy machines plus description tape is identical to the old one, and it proceeds to replicate again.
Purpose
Von Neumann's design has traditionally been understood to be a demonstration of the logical requirements for machine self-replication.^{ [3]} However, it is clear that far simpler machines can achieve self-replication. Examples include trivial crystal-like growth, template replication, and Langton's loops. But von Neumann was interested in something more profound: construction, universality, and evolution.^{ [4]}^{ [5]}
Note that the simpler self-replicating CA structures (especially, Byl's loop and the Chou–Reggia loop) cannot exist in a wide variety of forms and thus have very limited evolvability. Other CA structures such as the Evoloop are somewhat evolvable but still don't support open-ended evolution. Commonly, simple replicators do not fully contain the machinery of construction, there being a degree to which the replicator is information copied by its surrounding environment. Although the Von Neumann design is a logical construction, it is in principle a design that could be instantiated as a physical machine. Indeed, this universal constructor can be seen as an abstract simulation of a physical universal assembler. The issue of the environmental contribution to replication is somewhat open, since there are different conceptions of raw material and its availability.
Von Neumann's crucial insight is that the description of the machine, which is copied and passed to offspring separately via the universal copier, has a double use; being both an active component of the construction mechanism in reproduction, and being the target of a passive copying process. This part is played by the description (akin to Turing's tape of instructions) in Von Neumann's combination of universal constructor and universal copier.^{ [4]} The combination of a universal constructor and copier, plus a tape of instructions conceptualizes and formalizes i) self-replication, and ii) open-ended evolution, or growth of complexity observed in biological organisms.^{ [3]}
This insight is all the more remarkable because it preceded the discovery of the structure of the DNA molecule by Watson and Crick and how it is separately translated and replicated in the cell—though it followed the Avery–MacLeod–McCarty experiment which identified DNA as the molecular carrier of genetic information in living organisms.^{ [6]} The DNA molecule is processed by separate mechanisms that carry out its instructions ( translation) and copy ( replicate) the DNA for newly constructed cells. The ability to achieve open-ended evolution lies in the fact that, just as in nature, errors ( mutations) in the copying of the genetic tape can lead to viable variants of the automaton, which can then evolve via natural selection.^{ [4]} As Brenner put it:
Turing invented the stored-program computer, and von Neumann showed that the description is separate from the universal constructor. This is not trivial. Physicist Erwin Schrödinger confused the program and the constructor in his 1944 book What is Life?, in which he saw chromosomes as ″architect's plan and builder's craft in one″. This is wrong. The code script contains only a description of the executive function, not the function itself.^{ [5]}
Evolution of Complexity
Von Neumann's goal, as specified in his lectures at the University of Illinois in 1949,^{ [2]} was to design a machine whose complexity could grow automatically akin to biological organisms under natural selection. He asked what is the threshold of complexity that must be crossed for machines to be able to evolve and grow in complexity.^{ [4]}^{ [3]} His “proof-of-principle” designs showed how it is logically possible. By using an architecture that separates a general purpose programmable (“universal”) constructor from a general purpose copier, he showed how the descriptions (tapes) of machines could accumulate mutations in self-replication and thus evolve more complex machines (the image below illustrates this possibility.). This is a very important result, as prior to that, it might have been conjectured that there is a fundamental logical barrier to the existence of such machines; in which case, biological organisms, which do evolve and grow in complexity, could not be “machines”, as conventionally understood. Von Neumann's insight was to think of life as a Turing Machine, which, is similarly defined by a state-determined machine "head" separated from a memory tape.^{ [5]}
In practice, when we consider the particular automata implementation Von Neumann pursued, we conclude that it does not yield much evolutionary dynamics because the machines are too fragile - the vast majority of perturbations cause them effectively to disintegrate.^{ [3]} Thus, it is the conceptual model outlined in his Illinois lectures^{ [2]} that is of greater interest today because it shows how a machine can in principle evolve.^{ [7]}^{ [4]} This insight is all the more remarkable because the model preceded the discovery of the structure of the DNA molecule as discussed above.^{ [6]} It is also noteworthy that Von Neumann's design considers that mutations towards greater complexity need to occur in the (descriptions of) subsystems not involved in self-reproduction itself, as conceptualized by the additional automaton D he considered to perform all functions not directly involved in reproduction (see Figure above with Von Neumann's System of Self-Replication Automata with the ability to evolve.) Indeed, in biological organisms only very minor variations of the genetic code have been observed, which matches Von Neumann's rationale that the universal constructor (A) and Copier (B) would not themselves evolve, leaving all evolution (and growth of complexity) to automaton D.^{ [4]} In his unfinished work, Von Neumann also briefly considers conflict and interactions between his self-reproducing machines, towards understanding the evolution of ecological and social interactions from his theory of self-reproducing machines.^{ [2]}^{: 147 }
Implementations
In automata theory, the concept of a universal constructor is non-trivial because of the existence of Garden of Eden patterns. But a simple definition is that a universal constructor is able to construct any finite pattern of non-excited (quiescent) cells.
Arthur Burks and others extended the work of von Neumann, giving a much clearer and complete set of details regarding the design and operation of von Neumann's self-replicator. The work of J. W. Thatcher is particularly noteworthy, for he greatly simplified the design. Still, their work did not yield a complete design, cell by cell, of a configuration capable of demonstrating self-replication.
Renato Nobili and Umberto Pesavento published the first fully implemented self-reproducing cellular automaton in 1995, nearly fifty years after von Neumann's work.^{ [1]}^{ [8]} They used a 32-state cellular automaton instead of von Neumann's original 29-state specification, extending it to allow for easier signal-crossing, explicit memory function and a more compact design. They also published an implementation of a general constructor within the original 29-state CA but not one capable of complete replication - the configuration cannot duplicate its tape, nor can it trigger its offspring; the configuration can only construct.^{ [8]}^{ [9]}
In 2004, D. Mange et al. reported an implementation of a self-replicator that is consistent with the designs of von Neumann.^{ [10]}
In 2007, Nobili published a 32-state implementation that uses run-length encoding to greatly reduce the size of the tape.^{ [11]}
In 2008, William R. Buckley published two configurations which are self-replicators within the original 29-state CA of von Neumann.^{ [9]} Buckley claims that the crossing of signal within von Neumann 29-state cellular automata is not necessary to the construction of self-replicators.^{ [9]} Buckley also points out that for the purposes of evolution, each replicator should return to its original configuration after replicating, in order to be capable (in theory) of making more than one copy. As published, the 1995 design of Nobili-Pesavento does not fulfill this requirement but the 2007 design of Nobili does; the same is true of Buckley's configurations.
In 2009, Buckley published with Golly a third configuration for von Neumann 29-state cellular automata, which can perform either holistic self-replication, or self-replication by partial construction. This configuration also demonstrates that signal crossing is not necessary to the construction of self-replicators within von Neumann 29-state cellular automata.
C. L. Nehaniv in 2002, and also Y. Takada et al. in 2004, proposed a universal constructor directly implemented upon an asynchronous cellular automaton, rather than upon a synchronous cellular automaton. ^{ [12]} ^{ [13]}
Comparison of implementations
Implementation | Source | Ruleset | Rectangular area | Number of cells | Length of tape | Ratio | Period | Tape code compression | Tape code length | Tape code type | Replication mechanism | Replication type | Growth rate |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Nobili-Pesavento, 1995^{ [1]} | ^{ [14]} | Nobili 32-state | 97 × 170 | 6,329 | 145,315 | 22.96 | 6.34 × 10^{10} | none | 5 bits | binary | holistic constructor | non-repeatable | linear |
Nobili, 2007 | SR_CCN_AP.EVN^{ [11]} | Nobili 32-state | 97 × 100 | 5,313 | 56,325 | 10.60 | 9.59 × 10^{9} | run-length limited encoding | 5 bits | binary | holistic constructor | repeatable | super-linear |
Buckley, 2008 | codon5.rle^{ [15]} | Nobili 32-state | 112 × 50 | 3,343 | 44,155 | 13.21 | 5.87 × 10^{9} | auto-retraction | 5 bits | binary | holistic constructor | repeatable | linear |
Buckley, 2008^{ [9]} | replicator.mc | von Neumann 29-state | 312 × 132 | 18,589 | 294,844 | 15.86 | 2.61 × 10^{11} | auto-retraction | 5 bits | binary | holistic constructor | repeatable | linear |
Buckley, 2008 | codon4.rle^{ [15]} | Nobili 32-state | 109 × 59 | 3,574 | 37,780 | 10.57 | 4.31 × 10^{9} | auto-retraction/bit generation | 4 bits | binary | holistic constructor | repeatable | linear |
Buckley, 2009 | codon3.rle | Nobili 32-state | 116 × 95 | 4,855 | 23,577 | 4.86 | 1.63 × 10^{9} | auto-retraction/bit generation/code overlay | 3 bits | binary | holistic constructor | repeatable | super-linear |
Buckley, 2009 | PartialReplicator.mc^{ [15]} | von Neumann 29-state | 2063 × 377 | 264,321 | N/A | — | ≈1.12 × 10^{14} | none | 4 bits | binary | partial constructor | repeatable | linear |
Goucher & Buckley, 2012 | phi9.rle^{ [16]} | Nobili 32-state | 122 × 60 | 3957 | 8920 | 2.25 | — | auto-retraction/bit generation/code overlay/run length limited | 3+ bits | ternary | holistic constructor | repeatable | super-linear |
As defined by von Neumann, universal construction entails the construction of passive configurations, only. As such, the concept of universal construction constituted nothing more than a literary (or, in this case, mathematical) device. It facilitated other proof, such as that a machine well constructed may engage in self-replication, while universal construction itself was simply assumed over a most minimal case. Universal construction under this standard is trivial. Hence, while all the configurations given here can construct any passive configuration, none can construct the real-time crossing organ devised by Gorman.^{ [9]}
Practicality and computational cost
All the implementations of von Neumann's self-reproducing machine require considerable resources to run on computer. For example, in the Nobili-Pesavento 32-state implementation shown above, while the body of the machine is just 6,329 non-empty cells (within a rectangle of size 97x170), it requires a tape that is 145,315 cells long, and takes 63 billion timesteps to replicate. A simulator running at 1,000 timesteps per second would take over 2 years to make the first copy. In 1995, when the first implementation was published, the authors had not seen their own machine replicate. However, in 2008, the hashlife algorithm was extended to support the 29-state and 32-state rulesets in Golly. On a modern desktop PC, replication now takes only a few minutes, although a significant amount of memory is required.
Animation gallery
See also
- Codd's cellular automaton
- Langton's loops
- Nobili cellular automata
- Quine, a program that produces itself as output
- Santa Claus machine
- Wireworld
- Constructor theory
References
- ^ ^{a} ^{b} ^{c} Pesavento, Umberto (1995), "An implementation of von Neumann's self-reproducing machine" (PDF), Artificial Life, MIT Press, 2 (4): 337–354, doi: 10.1162/artl.1995.2.337, PMID 8942052, archived from the original (PDF) on June 21, 2007
- ^ ^{a} ^{b} ^{c} ^{d} ^{e} von Neumann, John; Burks, Arthur W. (1966), Theory of Self-Reproducing Automata. (Scanned book online), University of Illinois Press, retrieved 2017-02-28
- ^ ^{a} ^{b} ^{c} ^{d} ^{e} McMullin, B. (2000), "John von Neumann and the Evolutionary Growth of Complexity: Looking Backwards, Looking Forwards...", Artificial Life, 6 (4): 347–361, doi: 10.1162/106454600300103674, PMID 11348586, S2CID 5454783
- ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} ^{k} ^{l} Rocha, Luis M. (1998), "Selected self-organization and the semiotics of evolutionary systems", Evolutionary Systems, Springer, Dordrecht: 341–358, doi: 10.1007/978-94-017-1510-2_25, ISBN 978-90-481-5103-5
- ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} Brenner, Sydney (2012), "Life's code script", Nature, 482 (7386): 461, doi: 10.1038/482461a, PMID 22358811, S2CID 205070101
- ^ ^{a} ^{b} ^{c} ^{d} Rocha, Luis M. (2015), "Chapter 6. Von Neumann and Natural Selection." (PDF), Lecture Notes of I-485-Biologically Inspired Computing Course, Indiana University (PDF)
- ^ Pattee, Howard, H. (1995), "Evolving self-reference: matter symbols, and semantic closure", Communication and Cognition Artificial Intelligence, Biosemiotics, 12 (1–2): 9–27, doi: 10.1007/978-94-007-5161-3_14, ISBN 978-94-007-5160-6
- ^ ^{a} ^{b} Nobili, Renato; Pesavento, Umberto (1996), "Generalised von Neumann's Automata", in Besussi, E.; Cecchini, A. (eds.), Proc. Artificial Worlds and Urban Studies, Conference 1 (PDF), Venice: DAEST
- ^ ^{a} ^{b} ^{c} ^{d} ^{e} Buckley, William R. (2008), "Signal Crossing Solutions in von Neumann Self-replicating Cellular Automata", in Andrew Adamatzky; Ramon Alonso-Sanz; Anna Lawniczak; Genaro Juarez Martinez; Kenichi Morita; Thomas Worsch (eds.), Proc. Automata 2008 (PDF), Luniver Press, pp. 453–503
- ^ Mange, Daniel; Stauffer, A.; Peparaolo, L.; Tempesti, G. (2004), "A Macroscopic View of Self-replication", Proceedings of the IEEE, 92 (12): 1929–1945, doi: 10.1109/JPROC.2004.837631, S2CID 22500865
- ^ ^{a} ^{b} Nobili, Renato (2007). "The Cellular Automata of John von Neumann". Archived from the original on January 29, 2011. Retrieved January 29, 2011.
- ^ Nehaniv, Chrystopher L. (2002), "Self-Reproduction in Asynchronous Cellular Automata", 2002 NASA/DoD Conference on Evolvable Hardware (15-18 July 2002, Alexandria, Virginia, USA), IEEE Computer Society Press, pp. 201–209
- ^ Takada, Yousuke; Isokawa, Teijiro; Peper, Ferdinand; Matsui, Nobuyuki (2004), "Universal Construction on Self-Timed Cellular Automata", in Sloot, P.M.A. (ed.), ACRI 2004, LNCS 3305, pp. 21–30
- ^ "Von Neumann's Self-Reproducing Universal Constructor".
- ^ ^{a} ^{b} ^{c} andykt. "Golly, a Game of Life simulator". SourceForge.
- ^ "Self-replication". Complex Projective 4-Space.
External links
- Golly - the Cellular Automata Simulation Accelerator Very fast implementation of state transition and support for JvN, GoL, Wolfram, and other systems.
- von Neumann's Self-Reproducing Universal Constructor The original Nobili-Pesavento source code, animations and Golly files of the replicators.
- John von Neumann's 29 state Cellular Automata Implemented in OpenLaszlo by Don Hopkins
- A Catalogue of Self-Replicating Cellular Automata. This catalogue complements the Proc. Automata 2008 volume.