Bounded grids
Bounded grids are a special class of universes (or surfaces) on which a cellular automaton can operate. A surface – e.g. the grid used to play the Game of Life – may be infinite, like a plane or a cylinder, or finite, like a sphere or a torus. A finite surface has to be curved to form a cylinder (infinite in only one direction), torus or Klein bottle. The image shows how to "roll" and connect the sides in each case:
- Infinite plane: default.
- Finite plane: cells outside of the plane are always considered to be dead.
- Cylinder: "rolling" the plane and connecting the opposite sides marked "1".
- Torus: "rolling" the cylinder and connecting the opposite circles marked "2".
- Klein bottle: "rolling" the cylinder, "twisting" it in the fourth dimension and connecting the opposite circles marked "2" and "5"; note that the "5" becomes a "2" after twisting.
- Cross-surface: like the Klein bottle, but "twisting" the opposite sides while creating the cylinder and then "twisting" the opposite circles when creating the cross-surface.
- Sphere: joining adjacent sides, rather than opposite sides as is done for the torus.
Formal discussion on bounded grids uses knowledge about topology. Topology is a branch of mathematics dealing with the properties of space - whether it is contiguous, contains holes, and so on. As cellular automata can be characterized in entirely topological terms, thus they can be studied within the scope of topology; see Cellular automaton#Generalizations and topological characterization.
Travelling spaceships
To demonstrate behaviours of some bounded grids, this section shows where diagonal-moving objects (represented as gliders) and orthogonal-moving objects (represented as lightweight spaceships) will go after reaching the edge. Several "gates" are used to note correspondance:
- For orthogonal:
- The gates with two singular blocks correspond to each other.
- The gates with two bi-blocks correspond to each other.
- The gates with two tri-blocks correspond to each other.
- For diagonal:
- The gates with ships correspond to each other.
- The gates with long ships correspond to each other.
- The gates with very long ships correspond to each other.
- The gates with long^3 ships correspond to each other.
There are two pairs of opposite edges for a plane, one horizontal and another vertical. When connecting edges in pairs, each pair can either be flipped or not, giving three distinct ways as shown below. In brackets, the x represents that this direction's connection is flipped.
Torus: (XY)
(click above to open LifeViewer) RLE: here Plaintext: here |
Klein bottle: (XxY)
(click above to open LifeViewer) RLE: here Plaintext: here |
Cross-surface: (XxYx)
(click above to open LifeViewer) RLE: here Plaintext: here |
Besides these, other connectivity is also possible. Demonstrations for finite plane and cylinder are shown on the respective pages. Finally there is sphere, which connects the north with west edge, and south with east. The corners have themselves as neighbors, so an object near a corner will evolve in a different way.
(click above to open LifeViewer) RLE: here Plaintext: here |
See also
External links
- Bounded grids at Wikipedia
- Bounded grids at Golly's online help