Direct Rule Control for 2,2 Turing Machines

Turing machines are simple models of a computing machine invented by Alan Turing. They consist of a head that switches between states while reading from and writing on a tape. The symbols read or written are called colors. Generalizations of such machines can have multiple heads or tapes.
The plot shows evolutions of 2-state, 2-color Turing machines. Each row of squares gives one step in the evolution of the tape. The squares correspond to bits on the tape: white squares represent 0-bits, yellow squares stand for 1-bits. The small tears represent states.
One of the 4096 rules for a 2-state, 2-color Turing machine can be selected either with the slider or by setting the base 8 rule digits for each of the four possible inputs. Combined icons for state and color on the left of these four setter bars give the inputs which trigger their selected settings. Similar combined icons over those four setter bars give the eight possible right-hand sides of the rules. Another row of icons shows the resulting directions of movements for all possible results.
The initial position of the head is given in relation to the specified initial condition of the tape, which can be cyclic, padded by an infinite number of 0-bits or 1-bits, or padded by repetitions of the selected 8-bit initial tape specification.


  • [Snapshot]
  • [Snapshot]
  • [Snapshot]
    • 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.