In a cellular automaton, a gun is a pattern with a main part that repeats periodically, like an oscillator, and that also periodically emits spaceships. There are then two periods that may be considered: the period of the spaceship output, and the period of the gun itself, which is necessarily a multiple of the spaceship output's period. A gun whose period is larger than the period of the output is a pseudoperiod gun.
In the Game of Life, for every p greater than or equal to 14, it is possible to construct a glider gun in which the gliders are emitted with period p.[1]
Since guns continually emit spaceships, the existence of guns in Life means that initial patterns with finite numbers of cells can eventually lead to configurations with limitless numbers of cells, something that John Conway himself originally conjectured to be impossible. However, according to Conway's later testimony,[2] this conjecture was explicitly intended to encourage someone to disprove it – i.e., Conway hoped that infinite-growth patterns did exist.
Bill Gosper discovered the first glider gun in 1970, earning $50 from Conway. The discovery of the glider gun eventually led to the proof that Conway's Game of Life could function as a Turing machine.[3] For many years this glider gun was the smallest one known in Life,[4] although other rules had smaller guns.
References
edit- ^ Summers, Jason. "Game of Life Status page". Entropymine.com. Retrieved February 5, 2011.
- ^ "Does John Conway hate his Game of Life?". Archived from the original on 2021-12-22. Retrieved April 16, 2015.
- ^ Gardner, Martin (2001). The Colossal Book of Mathematics. New York: W. W. Norton. ISBN 0-393-02023-1.
- ^ Stephen A. Silver. "Gosper glider gun". The Life Lexicon. Retrieved July 12, 2009.