Chapter 3: The World of Simple Programs

Section 6: Sequential Substitution Systems

Capabilities [of sequential substitution systems]

Even with the single rule {s[1, 0] -> s[0, 1]}, a sequential substitution system can sort its initial conditions so that all 0's occur before all 1's. (See also page 1113.)

From Stephen Wolfram: A New Kind of Science [citation]