Direct Rule Control for 2,2 Turing Machines
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
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.[more]
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.[less]
Contributed by: Michael Schreiber (March 2011)
Open content licensed under CC BY-NC-SA
"Direct Rule Control for 2,2 Turing Machines"
Wolfram Demonstrations Project
Published: March 7 2011