Series

Cellular automata — the series

4 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. Elementary cellular automaton, rule 90. A row of cells evolving downward, each cell decided by the three above it.

    Eight rules and a triangle

    A row of cells, each one deciding its next state from the three above it. Eight cases, one bit of output each — a rule that fits in a byte, and 256 of them in total. One of those bytes draws Pascal's triangle.

    part 1 · dynamics
  2. Elementary cellular automaton, rule 110. A row of cells evolving downward, each cell decided by the three above it.

    The rule that computes

    One of the 256 elementary rules can run any program. Not simulate one, not approximate one — a machine that can compute anything computable, built from a lookup table with eight rows and nothing else.

    part 2 · dynamics
  3. Rule 184 at density 0.30. A space-time diagram of rule 184 on a ring of 120 cells, 80 steps down the page, starting from a random row with 36 cars. The diagonal stripes are free-moving cars; the jams dissolve.

    A road where nobody overtakes

    Rule 184 moves every 1 one cell to the right whenever the cell ahead is empty. It is one of only five elementary rules that never change the number of 1s, and that single property turns it into a model of traffic with an exact transition: below half density every jam dissolves, above it jams can never all clear and drift backwards against the flow.

    part 3 · dynamics
  4. A local rule taking a vote. A space-time diagram of the GKL rule on 149 cells from a random row with 69 ones. Black and white regions grow and meet along slanting boundaries, and after 69 steps the whole ring is 0.

    No local rule can count the votes

    A ring of cells, each holding 0 or 1, has to agree on whichever value is in the majority — every cell seeing only its neighbours. The best-known rule gets it right most of the time and wrong near a tie; no rule of any radius gets it right always. Yet two rules run one after the other do, on every ring, and the first of them is the traffic rule.

    part 4 · dynamics

All series