Generator

Elementary cellular automaton, rule 90

A generator in the dynamics library, called 25 times across 5 essays. Below: what it draws with nothing chosen and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

automaton is one function. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and if the generator changes, this page changes with it.

With nothing chosen

Elementary cellular automaton, rule 90. A row of cells evolving downward, each cell decided by the three above it.

Rule 184 at density 0.30

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.

The five rules that conserve

The five rules that conserve. Space-time diagrams of the 5 elementary rules that never change the number of 1s, 170, 184, 204, 226, 240, each from the same random row; three shift or freeze the row, and two move 1s past one another as traffic.

Flow against density on a ring road

Flow against density on a ring road. The fundamental diagram of rule 184: measured flux at 40 densities, rising in a straight line to one half at density one half and falling symmetrically after it.

Jams dying out, and jams that cannot

Jams dying out, and jams that cannot. Three curves of the share of stopped cars over 1000 steps: at density 0.45 it reaches zero, at 0.5 it keeps decaying slowly, at 0.55 it levels off at 0.10.

Rule 90, as a lookup table

Rule 90, as a lookup table. The eight three-cell neighbourhoods and the cell each one produces.

What it checks while it draws

Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.

Where it is called

Every figure on this list is drawn by the same rule, so a change to the rule changes all of them at once. That is why the list is published.

Dynamics

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.

Dynamics

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.

Dynamics

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.

Dynamics

The orbit written as a word

Cut the interval in two and record which half each step of an orbit lands in. The orbit becomes an infinite string of two letters, the map becomes the act of deleting the first letter, and questions about trajectories turn into questions about words.

Dynamics

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.

The whole library · What the figures prove