User:Rff2/sandbox



Autômato Celular de von Neumann—Autómato celular, teve seu desenvolvimento como consequência de sugestões feitas à John von Neumann por seu grande amigo e companheiro matemático Stanislaw Ulam. A sua finalidade original era fornecer informações sobre os requisitos lógicos de uma Máquina autorreplicadora, e foi usado no Construtor universal de Von Neumann.

O Autômato celular de Nobili é uma variação do autômato celular de von Neumann, incrementado com a habilidade das células confluentes de cruzar sinais e armazenar informação. Para tanto, é necessário o acréscimo de três estados, por isso o autômato celular de Nobili possui 32 estados (em vez dos 29 do autômato celular de Von Neumann). O Autômato celular de Hutton é ainda outra variação, que permite um laço de dados, de forma semelhante aos Laços de Langton, para replicação.

Configuração
Em geral, um autômato celular (CA) é constituído por um arranjo de máquinas de estados finitos (FSM- do inglês Finite State Machine) que estão dispostas de forma a manter relações entre umas e outras, cada FSM combina sua informação com outras imediatamente adjacentes a ela. No autômato celular de von Neumann, as máquinas de estados finitos (ou células) estão dispostas em uma Grade Cartesiana de duas dimensões, e interage com as quatro células vizinhas. Como o autômato celular de von Neumann foi o primeiro exemplo de uso deste arranjo, ele é conhecido como Vizinhança de von Neumann.

O conjunto de FSMs definem um espaço celular de tamanho infinito. Todas as FSMs são idênticas em termos de estados e funções de transição.

A vizinhança (uma função de grupo) é parte da função de transição de estados, e define para qualquer célula o conjunto de outras células dais quais o estado da célula depende.

Todas as transições de estado das células ocorrem simultaneamente, de acordo com um "clock" universal como nos circuitos digitais síncronos.

Estados
Cada FSM do espaço de células de von Neumann pode alcançar qualquer um dos 29 estados do modelo. O modelo pode ser dividido em cinco subconjuntos próprios. (Cada estado inclui a cor da célula no programa de visualização de autômatos celulares Golly no formato (RGB)) Eles são:
 * 1) Um estado vazio U (48, 48, 48)
 * 2) Os estados de transição ou sensibilizados (em 8 sub-estados)
 * 3) S               - (recém sensibilizados) (255, 0, 0)
 * 4) S0   - (sensibilizados, não receberam estímulo por um ciclo) (255, 125, 0)
 * 5) S00  - (sensibilizados, não receberam estímulo por dois ciclos) (255, 175, 50)
 * 6) S000 - (sensibilizados, não receberam estímulo por três ciclos) (251, 255, 0)
 * 7) S01  - (sensibilizados, não receberam estímulo por um ciclo e depois receberam um estímulo por um ciclo) (255, 200, 75)
 * 8) S1   - (sensibilizados,  receberam estímulo por um ciclo) (255, 150, 25)
 * 9) S10  - (sensibilizados,  receberam estímulo por um ciclo e depois não receberam estímulo por um ciclo) (255, 255, 100)
 * 10) S11  - (sensibilizados,  receberam estímulo for dois ciclos) (255, 250, 125)
 * 11) Os estados confluentes (em 4 estados de excitação)
 * 12) C00 - quiescentes (e continuarão quiescentes no próximo ciclo) (0,	255, 128)
 * 13) C01 - prestes a estarem excitados (agora quiescentes, mas estarão excitados no próximo ciclo) (33, 215, 215)
 * 14) C10 - excitados (mas estarão quiescentes no próximo ciclo) (255, 255, 128)
 * 15) C11 - excitados e prestes a estarem excitados (estão excitados agora e continuarão excitados no próximo ciclo) (255, 128, 64)
 * 16) Os estados de transição ordinária (em quatro direções, excitados ou quiescentes, totalizando 8 estados)
 * 17) Norte (excitados e quiescentes) (36, 200, 36) (106, 106, 255)
 * 18) Sul (excitados e quiescentes) (106, 255, 106) (139, 139, 255)
 * 19) Oeste (excitados e quiescentes) (73, 255, 73) (122, 122, 255)
 * 20) Leste (excitados e quiescentes) (27, 176, 27) (89, 89, 255)
 * 21) Os estados de transmissão especial (em quatro direções, excitados ou quiescentes, totalizando 8 estados)
 * 22) Norte (excitados e quiescentes) (191, 73, 255) (255, 56, 56)
 * 23) Sul (excitados e quiescentes) (203, 106, 255) (255, 89, 89)
 * 24) Oeste (excitados e quiescentes) (197, 89, 255) (255, 73, 73)
 * 25) Leste (excitados e quiescentes) (185, 56, 255) (235, 36, 36)

Estados "Excitados" transportam dados, em uma frequência de um bit por transição de estado.

Note que estados confluentes possuem a propriedade de atraso em um ciclo, logo eles retêm efetivamente dois bits de dados em qualquer momento.

Regras dos estados de transmissão
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 cell A in an ordinary transmission state to an adjacent cell B in an ordinary transmission state, according to the direction property of A (unless B is also directed towards A, in which case the data disappears).
 * Data passes from cell A in a special transmission state to an adjacent cell B in a special transmission state, according to the same rules as for ordinary transmission states.
 * 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

Regras dos estados de confluência
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.

Regras de construção


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 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.

Regras de destruição



 * 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.

Ver também

 * Codd's cellular automaton
 * Langton's loops
 * von Neumann Universal Constructor
 * Wireworld

Referências

 * Von Neumann, J. and A. W. Burks (1966). Theory of self-reproducing automata. Urbana, University of Illinois Press.

Ligações externas

 * Golly - supports von Neumann's CA along with the Game of Life, and other rulesets.

Category:Cellular automaton rules