Von Neumann cellular automata
Encyclopedia
Von Neumann cellular automata are the original expression of cellular automata, the development of which were prompted by suggestions made to John von Neumann
John von Neumann
John von Neumann was a Hungarian-American mathematician and polymath who made major contributions to a vast number of fields, including set theory, functional analysis, quantum mechanics, ergodic theory, geometry, fluid dynamics, economics and game theory, computer science, numerical analysis,...

 by his close friend and fellow mathematician Stanisław Ulam. Their original purpose was to provide insight into the logical requirements for machine self-replication
Self-replicating machine
A self-replicating machine is an artificial construct that is theoretically capable of autonomously manufacturing a copy of itself using raw materials taken from its environment, thus exhibiting self-replication in a way analogous to that found in nature. The concept of self-replicating machines...

 and were used in von Neumann's universal constructor
Von Neumann universal constructor
John von Neumann's Universal Constructor is a self-replicating machine in a cellular automata 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...

.

Nobili's cellular automaton is a variation of von Neumann's cellular automaton, augmented with the ability for confluent cells to cross signals and store information. The former requires an extra three states, hence Nobili's cellular automaton has 32 states, rather than 29. Hutton's cellular automaton is yet another variation, which allows a loop of data, analogous to Langton's loops
Langton's loops
Langton's loops are a particular "species" of artificial life in a cellular automaton created in 1984 by Christopher Langton. They consist of a loop of cells containing genetic information, which flows continuously around the loop and out along an "arm" , which will become the daughter loop...

, to replicate.

Configuration

In general, cellular automata (CA) constitute an arrangement of finite state automata
Finite state machine
A finite-state machine or finite-state automaton , or simply a state machine, is a mathematical model used to design computer programs and digital logic circuits. It is conceived as an abstract machine that can be in one of a finite number of states...

(FSA) that sit in positional relationships between one-another, each FSA exchanging information with those other FSAs to which it is positionally adjacent. In von Neumann's cellular automaton, the finite state machines (or cells) are arranged in a two-dimensional Cartesian grid, and interface with the surrounding four cells. As von Neumann's cellular automaton was the first example to use this arrangement, it is known as the von Neumann neighbourhood.

The set of FSAs define a cell space of infinite size. All FSAs are identical in terms of state-transition function, or rule-set.

The neighborhood
Von Neumann neighborhood
In cellular automata, the von Neumann neighborhood comprises the four cells orthogonally surrounding a central cell on a two-dimensional square lattice. The neighborhood is named after John von Neumann, who used it for his pioneering cellular automata including the Universal Constructor...

(a grouping function) is part of the state-transition function, and defines for any cell the set of other cells upon which the state of that cell depends.

All cells transition state synchronously, in step with a universal "clock" as in a synchronous digital circuit.

States

Each FSA of the von Neumann cell space can accept any of the 29 states of the rule-set. The rule-set is grouped into five orthogonal subsets. Each state includes the colour of the cell in the cellular automata program Golly in (red, green, blue). They are
  1. a ground state U (48, 48, 48)
  2. the transition or sensitised states (in 8 substates)
    1. S (newly sensitised) (255, 0, 0)
    2. S0 - (sensitised, having received no input for one cycle) (255, 125, 0)
    3. S00 - (sensitised, having received no input for two cycles) (255, 175, 50)
    4. S01 - (sensitised, having received no input for one cycle and then an input for one cycle) (255, 200, 75)
    5. S000 - (sensitised, having received no input for three cycles) (251, 255, 0)
    6. S1 - (sensitised, having received an input for one cycle) (255, 150, 25)
    7. S10 - (sensitised, having received an input for one cycle and then no input for one cycle) (255, 255, 100)
    8. S11 - (sensitised, having received input for two cycles) (255, 250, 125)
  3. the confluent states (in 4 states of excitation)
    1. C00 - quiescent (and will also be quiescent next cycle) (0, 255, 128)
    2. C10 - excited (but will be quiescent next cycle) (255, 255, 128)
    3. C01 - next-excited (now quiescent, but will be excited next cycle) (33, 215, 215)
    4. C11 - excited next-excited (currently excited and will be excited next cycle) (255, 128, 64)
  4. the ordinary transmission states (in 4 directions, excited or quiescent, making 8 states)
    1. North-directed (excited and quiescent) (36, 200, 36) (106, 106, 255)
    2. South-directed (excited and quiescent) (106, 255, 106) (139, 139, 255)
    3. West-directed (excited and quiescent) (73, 255, 73) (122, 122, 255)
    4. East-directed (excited and quiescent) (27, 176, 27) (89, 89, 255)
  5. the special transmission states (in 4 directions, excited or quiescent, making 8 states)
    1. North-directed (excited and quiescent) (191, 73, 255) (255, 56, 56)
    2. South-directed (excited and quiescent) (203, 106, 255) (255, 89, 89)
    3. West-directed (excited and quiescent) (197, 89, 255) (255, 73, 73)
    4. East-directed (excited and quiescent) (185, 56, 255) (235, 36, 36)


"Excited" states carry data, at the rate of one bit per state transition step.

Note that confluent states have the property of a one-cycle delay, thus effectively holding two bits of data at any given time.

Transmission state rules

The flow of bits between cells is indicated by the direction property. The following rules apply:
  • Transmission states apply the OR operator to inputs, meaning a cell in a transmission state (ordinary or special) will be excited at time t+1 if any of the inputs pointing to it is excited at time t
  • Data passes from cells in the ordinary transmission states to other cells in the ordinary transmission states, according to the direction property (in the cell's direction only)
  • Data passes from cells in the special transmission states to other cells in the special transmission states, according to the direction property (in the cell's direction only)
  • The two subsets of transmission states, ordinary and special, are mutually antagonistic:
    • Given a cell A at time t in the excited ordinary transmission state
    • pointing to a cell B in any special transmission state
    • at time t+1 cell B will become the ground state. The special transmission cell has been "destroyed."
    • a similar sequence will occur in the case of a cell in the special transmission state "pointing" to a cell in the ordinary transmission state

Confluent state rules

The following specific rules apply to confluent states:
  • Confluent states do not pass data between each other.
  • Confluent states take input from one or more ordinary transmission states, and deliver output to transmission states, ordinary and special, that are not directed toward the confluent state.
  • Data are not transmitted against the transmission state direction property.
  • Data held by a confluent state is lost if that state has no adjacent transmission state that is also not pointed at the confluent state.
  • Thus, confluent-state cells are used as "bridges" from transmission lines of ordinary- to special-transmission state cells.
  • The confluent state applies the AND operator to inputs, only "saving" an excited input if all potential inputs are excited simultaneously.
  • Confluent cells delay signals by one generation more than OTS cells; this is necessary due to parity constraints.

Construction rules

Initially, much of the cell-space, the universe of the cellular automaton, is "blank," consisting of cells in the ground state U. When given an input excitation from a neighboring ordinary- or special transmission state, the cell in the ground state becomes "sensitised," transitioning through a series of states before finally "resting" at a quiescent transmission or confluent state.

The choice of which destination state the cell will reach is determined by the sequence of input signals. Therefore, the transition/sensitised states can be thought of as the nodes of a bifurcation
Bifurcation
Bifurcation means the splitting of a main body into two parts.Bifurcation or Bifurcated may refer to:*Bifurcation , the division of issues in a trial for example the division of a page into two parts....

 tree leading from the ground-state to each of the quiescent transmission and confluent states.

In the following tree, the sequence of inputs is shown as a binary string after each step:
  • a cell in the ground state U, given an input, will transition to the S (newly sensitised) state in the next cycle (1)
  • a cell in the S state, given no input, will transition into the S0 state (10)
    • a cell in the S0 state, given no input, will transition into the S00 state (100)
      • a cell in the S00 state, given no input, will transition into the S000 state (1000)
        • a cell in the S000 state, given no input, will transition into the east-directed ordinary transmission state (10000)
        • a cell in the S000 state, given an input, will transition into the north-directed ordinary transmission state (10001)
      • a cell in the S00 state, given an input, will transition into the west-directed ordinary transmission state (1001)
    • a cell in the S0 state, given an input, will transition into the S01 state (101)
      • a cell in the S01 state, given no input, will transition into the south-directed ordinary transmission state (1010)
      • a cell in the S01 state, given an input, will transition into the east-directed special transmission state (1011)
  • a cell in the S state, given an input, will transition into the S1 state (11)
    • a cell in the S1 state, given no input, will transition into the S10 state (110)
      • a cell in the S10 state, given no input, will transition into the north-directed special transmission state (1100)
      • a cell in the S10 state, given an input, will transition into the west-directed special transmission state (1101)
    • a cell in the S1 state, given an input, will transition into the S11 state (111)
      • a cell in the S11 state, given no input, will transition into the south-directed special transmission state (1110)
      • a cell in the S11 state, given an input, will transition into the quiescent confluent state C00 (1111)


Note that:
  • one more cycle of input (four after the initial sensitization) is required to build the east- or north-directed ordinary transmission state than any of the other states (which require three cycles of input after the initial sensitization),
  • the "default" quiescent state resulting in construction is the east-directed ordinary transmission state- which requires an initial sensitization input, and then four cycles of no input.

Destruction rules

  • An input into a confluent-state cell from a special-transmission state cell will result in the confluent state cell being reduced back to the ground state.
  • Likewise, an input into an ordinary transmission-state cell from a special-transmission state cell will result in the ordinary-transmission state cell being reduced back to the ground state.
  • Conversely, an input into a special transmission-state cell from an ordinary-transmission state cell will result in the special-transmission state cell being reduced back to the ground state.

See also

  • Codd's cellular automaton
    Codd's cellular automaton
    Codd's cellular automaton is a cellular automaton devised by the British computer scientist Edgar F. Codd in 1968. It was designed to recreate the computation- and construction-universality of von Neumann's CA but with fewer states: 8 instead of 29...

  • Langton's loops
    Langton's loops
    Langton's loops are a particular "species" of artificial life in a cellular automaton created in 1984 by Christopher Langton. They consist of a loop of cells containing genetic information, which flows continuously around the loop and out along an "arm" , which will become the daughter loop...

  • von Neumann Universal Constructor
    Von Neumann universal constructor
    John von Neumann's Universal Constructor is a self-replicating machine in a cellular automata 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...

  • Wireworld

External links

  • Golly - supports von Neumann's CA along with the Game of Life
    Conway's Game of Life
    The Game of Life, also known simply as Life, is a cellular automaton devised by the British mathematician John Horton Conway in 1970....

    , and other rulesets.
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK