:UC = universal constructor.
:underpopulation Death of a cell caused by it having fewer than two neighbours. See also overpopulation.
:unit Life cell A rectangular pattern, of size greater than 1x1, that can simulate Life in the following sense. The pattern by itself represents a dead Life cell, and some other pattern represents a live Life cell. When the plane is tiled by these two patterns (which then represent the state of a whole Life universe) they evolve, after a fixed amount of time, into another tiling of the plane by the same two patterns which correctly represents the Life generation following the one they initially represented. It is usual to use capital letters for the simulated things, so, for example, for the first known unit Life cell (constructed by David Bell in January 1996), one Generation is 5760 generations, and one Cell is 500x500 cells.
In December 2005, Jason Summers constructed an analogous unit cell for Wolfram's Rule 110, a one-dimensional cellular automaton that is known be universal.
:universal See universal computer, universal constructor, universal toolkit.
:universal computer A computer that can compute anything that is computable. (The concept of computability can be defined in terms of Turing machines, or by Church's lambda calculus, or by a number of other methods, all of which can be shown to lead to equivalent definitions.) The relevance of this to Life is that both Bill Gosper and John Conway proved early on that it is possible to construct a universal computer in the Life universe. (To prove the universality of a cellular automaton with simple rules was in fact Conway's aim in Life right from the start.) Conway's proof is outlined in Winning Ways, and also in The Recursive Universe.
Until recently, no universal Life computer had ever been built in practice In April 2000, Paul Rendell completed a Turing machine construction (see http://rendell-attic.org/gol/tm.htm for details). This, however, has a finite tape, as opposed to the infinite tape of a true Turing machine, and is therefore not a universal computer. But in November 2002, Paul Chapman announced the construction of a universal computer, see http://www.igblan.free-online.co.uk/igblan/ca/. This is a universal register machine based around Dean Hickerson's sliding block memory.
In 2009 Adam P. Goucher constructed a programmable Spartan universal computer/constructor pattern using stable Herschel circuitry. It included memory tapes and registers capable of holding a simple universal instruction set and program data, and also a minimal single-arm universal constructor. Its size meant that it was extremely impractical to program it to be self-constructing, though this was theoretically possible -- at least if the escape of large numbers of gliders could be allowed as a side effect.
In February 2010, Paul Rendell completed a universal Turing machine design with an unlimited tape, as described in his thesis at http://eprints.uwe.ac.uk/22323/1/thesis.pdf.
In 2016 Nicolas Loizeau ("Coban") completed a Life pattern emulating a complete 8-bit programmable computer.
See also universal constructor.
:universal constructor A pattern that is capable of constructing almost any pattern that has a glider synthesis. This definition is a bit vague. A precise definition seems impossible because it has not been proved that all possible glider fleets are constructible. In any case, a universal constructor ought to be able to construct itself in order to qualify as such. An outline of Conway's proof that such a pattern exists can be found in Winning Ways, and also in The Recursive Universe. The key mechanism for the production of gliders with any given path and timing is known as side-tracking, and is based on the kickback reaction. A universal constructor designed in this way can also function as a universal destructor - it can delete almost any pattern that can be deleted by gliders.
In May 2004, Paul Chapman and Dave Greene produced a prototype programmable universal constructor. This is able to construct objects by means of slow glider constructions. It likely that it could be programmed to be construct itself, but the necessary program would be very large; moreover an additional mechanism would be needed in order to copy the program.
A universal constructor is most useful when attached to a universal computer, which can be programmed to control the constructor to produce the desired pattern of gliders. In what follows I will assume that a universal constructor always includes this computer.
The existence of a universal constructor/destructor has a number of theoretical consequences.
For example, the constructor could be programmed to make copies of itself. This is a replicator.
The constructor could even be programmed to make just one copy of itself translated by a certain amount and then delete itself. This would be a (very large, very high period) spaceship. Any translation is possible (except that it must not be too small), so that the spaceship could travel in any direction. It could also travel slower than any given speed, since we could program it to perform some time-wasting task (such as repeatedly constructing and deleting a block) before copying itself. Of course, we could also choose for it to leave some debris behind, thus making a puffer.
It is also possible to show that the existence of a universal constructor implies the existence of a stable reflector. This proof is not so easy, however, and is no longer of much significance now that explicit examples of such reflectors are known.
Progressively smaller universal-constructor mechanisms have been used in the linear propagator, spiral growth pattern, and the Demonoids and Orthogonoid.
Another strange consequence of the existence of universal constructors was pointed out by Adam P. Goucher in 2015. Any glider-constructible pattern, no matter how large, can be constructed with a fixed number of gliders, probably less than ten thousand. This can be done by working out a construction recipe for some type of sliding block memory with a faraway block, attached to a universal constructor. The block's position encodes an integer value that can be processed to retrieve as many bits of information as are needed to build a :1G seed:. Eventually, after a completely unreasonable number of ticks, the seed can be triggered to produce glider salvos which interact to construct the actual target object, after sending a self-destruct signal to the sliding block memory unit.
:universal destructor See universal constructor.
:universal register machine = URM
:universal regulator A regulator in which the incoming gliders are aligned to period 1, that is, they have arbitrary timing (subject to some minimum time required for the regulator to recover from the previous glider).
Paul Chapman constructed the first universal regulator in March 2003. It is adjustable, so that the output can be aligned to any desired period. A stable universal regulator was constructed by Dave Greene in September 2015, with a minimum delay between test signals of 1177 ticks. This provides a possible way for two complex circuits to interact safely, even if they have different base periods -- e.g., to allow signals from a stable logic circuit to be processed by a period-30 mechanism.
:universal toolkit A set of Life reactions and mechanisms that can be used to construct any object that can be constructed by glider collisions.
:unix (p6) Two blocks eating a long barge. This is a useful sparker, found by Dave Buckingham in February 1976. The name derives from the fact that it was for some time the mascot of the Unix lab of the mathematics faculty at the University of Waterloo.
.OO..... .OO..... ........ .O...... O.O..... O..O..OO ....O.OO ..OO.... |
:up boat with tail = trans-boat with tail
:U-pentomino Conway's name for the following pentomino, which rapidly dies.
O.O OOO |
:URM A universal register machine, particularly Paul Chapman's Life implementation of such a machine. See universal computer for more information.