3-state, 2-symbol busy beaver Turing machine
- See: http://en.wikipedia.org/wiki/Busy_beaver
- 21 steps, 6 1's total
- Left moves are treated as special cases
- Tape symbol under tape head is to the right of state
a0 : a • 0 ->> 1 • b.
a1 : a • 1 ->> 1 • h.
b0 : b • 0 ->> 0 • c.
b1 : b • 1 ->> 1 • b.
0c0 : 0 • c • 0 ->> c • 0 • 1.
1c0 : 1 • c • 0 ->> c • 1 • 1.
0c1 : 0 • c • 1 ->> a • 0 • 1.
1c1 : 1 • c • 1 ->> a • 1 • 1.
a1 : a • 1 ->> 1 • h.
b0 : b • 0 ->> 0 • c.
b1 : b • 1 ->> 1 • b.
0c0 : 0 • c • 0 ->> c • 0 • 1.
1c0 : 1 • c • 0 ->> c • 1 • 1.
0c1 : 0 • c • 1 ->> a • 0 • 1.
1c1 : 1 • c • 1 ->> a • 1 • 1.
%trace *
0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • a • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0.
0 • 0 • 0 • 0 • 0 • 0 • 0 • 0 • a • 0 • 0 • 0 • 0 • 0 • 0 • 0 • 0.
0•0•0•0•0•0•0•0•a•0•0•0•0•0•0•0•0
0•0•0•0•0•0•0•0•1•b•0•0•0•0•0•0•0
0•0•0•0•0•0•0•0•1•0•c•0•0•0•0•0•0
0•0•0•0•0•0•0•0•1•c•0•1•0•0•0•0•0
0•0•0•0•0•0•0•0•c•1•1•1•0•0•0•0•0
0•0•0•0•0•0•0•a•0•1•1•1•0•0•0•0•0
0•0•0•0•0•0•0•1•b•1•1•1•0•0•0•0•0
0•0•0•0•0•0•0•1•1•b•1•1•0•0•0•0•0
0•0•0•0•0•0•0•1•1•1•b•1•0•0•0•0•0
0•0•0•0•0•0•0•1•1•1•1•b•0•0•0•0•0
0•0•0•0•0•0•0•1•1•1•1•0•c•0•0•0•0
0•0•0•0•0•0•0•1•1•1•1•c•0•1•0•0•0
0•0•0•0•0•0•0•1•1•1•c•1•1•1•0•0•0
0•0•0•0•0•0•0•1•1•a•1•1•1•1•0•0•0
0•0•0•0•0•0•0•1•1•1•h•1•1•1•0•0•0