Symmetric Substitution Systems

Symmetric sequential substitution systems can produce highly complex behavior from simple deterministic rules, much like cellular automata. However, symmetric sequential substitution systems can produce a wider variety of behavior because the string length can change very quickly.
This Demonstration lets you explore the fascinating space of these systems by observing space-time plots of their dynamics, where each successive row (reading down) represents the string produced upon the next time step. Each individual system is described by seven rewrite rules (shown at the top) that show which strings (above) should be replaced by which other strings (below). Unlike classic substitution systems, at each time step the string is updated by scanning it from left to right and applying the rules whenever possible in a nonoverlapping way.


  • [Snapshot]
  • [Snapshot]
  • [Snapshot]


Visually exploring the behavior of these different rewrite systems is a wonderful way to study the great variety of behavior simple programs can produce. Some rules produce periodic behavior and some produce strings that grow forever (at linear or exponential rates). Still other strings fluctuate in size rapidly (growing and shrinking for many thousands of time steps).
In [1] we explore these systems in more detail and discuss many potential applications, such as arithmetic, compression, and cryptography (for reversible systems). Also see [2] for a clear discussion of these systems.
[1] R. Southwell and C. Cannings, "Exploring the Space of Substitution Systems," Complex Systems 22(1), 2013 pp. 1–34.
[2] R. Southwell. Mining the Space of Rewrite Systems [Video]. (Aug 15, 2013)
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.