Chapter 11: The Notion of Computation

Section 12: Universality in Turing Machines and Other Systems

Turing machine enumeration

Of the 4096 s=2, k=2 Turing machines (see page 888) 560 are distinct after taking account of obvious symmetries and equivalences. Ignoring machines which cannot escape from one of their possible states or which yield motion in only one direction or cells of only one color leaves a total of 237 cases. If one now ignores machines that do not allow the head to move more than one step in one of the two directions, that always yield the same color when moving in a particular direction, or that always leave the tape unchanged, one is finally left with just 25 distinct cases.

Of the 2,985,984 s=3, k=2 machines, 125,294 survive after taking account of obvious symmetries and equivalences, while imposing analogs of the other conditions above yields in the end 16,400 distinct cases. For s=2, k=3 machines, the first two numbers are the same, but the final number of distinct cases is 48,505.

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