3-state 3-symbol #b (T.J. & S. Ligocki) 

Comment: This TM produces 374,676,383 nonzeros in 119,112,334,170,342,540 steps.
Comment: This is the currently best known 3x3 TM

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0		 on
1		 on
2		 on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A 1RB 2LA 1LC 1 right B 2 left A 1 left C
B 0LA 2RB 1LB 0 left A 2 right B 1 left B
C 1RH 1RA 1RC 1 right H 1 right A 1 right C
Transition table 
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . . . . . . . . . 0
     1    1 B . . . . . . . . . . . . . 10
     2    0 A . . . . . . . . . . . . . 10
     3   -1 A . . . . . . . . . . . . .020
     4    0 B . . . . . . . . . . . . .120
     5   -1 B . . . . . . . . . . . . .110
+    7    1 B . . . . . . . . . . . . .220   by B/1 * 2
     8    0 A . . . . . . . . . . . . .220
     9   -1 C . . . . . . . . . . . . .210
    10    0 C . . . . . . . . . . . . .110
    11    1 A . . . . . . . . . . . . .110
    12    2 B . . . . . . . . . . . . .1110
    13    1 A . . . . . . . . . . . . .1110
+   16   -2 A . . . . . . . . . . . . 02220  by A/1 * 3
    17   -1 B . . . . . . . . . . . . 12220
    18   -2 B . . . . . . . . . . . . 11220
+   20    0 B . . . . . . . . . . . . 22220  by B/1 * 2
+   23   -3 B . . . . . . . . . . . .011120  by B/2 * 3
    24   -4 A . . . . . . . . . . . 0011120
    25   -3 B . . . . . . . . . . . 1011120
    26   -4 A . . . . . . . . . . . 1011120
    27   -5 A . . . . . . . . . . .02011120
    28   -4 B . . . . . . . . . . .12011120
    29   -5 B . . . . . . . . . . .11011120
+   31   -3 B . . . . . . . . . . .22011120  by B/1 * 2
    32   -4 A . . . . . . . . . . .22011120
    33   -5 C . . . . . . . . . . .21011120
    34   -4 C . . . . . . . . . . .11011120
    35   -3 A . . . . . . . . . . .11011120
    36   -2 B . . . . . . . . . . .11111120
+   39    1 B . . . . . . . . . . .11122220  by B/1 * 3
+   43   -3 B . . . . . . . . . . .11111110  by B/2 * 4
+   48    2 B . . . . . . . . . . .11222220  by B/1 * 5
    49    1 A . . . . . . . . . . .11222220
    50    0 C . . . . . . . . . . .11222210
    51    1 C . . . . . . . . . . .11222110
    52    2 A . . . . . . . . . . .11222110
    53    3 B . . . . . . . . . . .112221110
    54    2 A . . . . . . . . . . .112221110
+   57   -1 A . . . . . . . . . . .112222220   by A/1 * 3
    58   -2 C . . . . . . . . . . .112212220
    59   -1 C . . . . . . . . . . .112112220
    60    0 A . . . . . . . . . . .112112220
    61   -1 C . . . . . . . . . . .112111220
    62    0 A . . . . . . . . . . .112111220
+   65   -3 A . . . . . . . . . . .112222220   by A/1 * 3
    66   -4 C . . . . . . . . . . .111222220
    67   -3 A . . . . . . . . . . .111222220
+   70   -6 A . . . . . . . . . . 0222222220   by A/1 * 3
    71   -5 B . . . . . . . . . . 1222222220
    72   -6 B . . . . . . . . . . 1122222220
+   74   -4 B . . . . . . . . . . 2222222220   by B/1 * 2
+   77   -7 B . . . . . . . . . .01112222220   by B/2 * 3
    78   -8 A . . . . . . . . . 001112222220
    79   -7 B . . . . . . . . . 101112222220
    80   -8 A . . . . . . . . . 101112222220
    81   -9 A . . . . . . . . .0201112222220
    82   -8 B . . . . . . . . .1201112222220
    83   -9 B . . . . . . . . .1101112222220
+   85   -7 B . . . . . . . . .2201112222220   by B/1 * 2
    86   -8 A . . . . . . . . .2201112222220
    87   -9 C . . . . . . . . .2101112222220
    88   -8 C . . . . . . . . .1101112222220
    89   -7 A . . . . . . . . .1101112222220
    90   -6 B . . . . . . . . .1111112222220
+   93   -3 B . . . . . . . . .1112222222220   by B/1 * 3
+   97   -7 B . . . . . . . . .1111111222220   by B/2 * 4
+  102   -2 B . . . . . . . . .1122222222220   by B/1 * 5
+  108   -8 B . . . . . . . . .1111111122220   by B/2 * 6
+  115   -1 B . . . . . . . . .1222222222220   by B/1 * 7
+  123   -9 B . . . . . . . . .1111111112220   by B/2 * 8
+  132    0 B . . . . . . . . .2222222222220   by B/1 * 9
+  142  -10 B . . . . . . . . 01111111111220   by B/2 * 10
   143  -11 A . . . . . . . .001111111111220
   144  -10 B . . . . . . . .101111111111220
   145  -11 A . . . . . . . .101111111111220
   146  -12 A . . . . . . . 0201111111111220
   147  -11 B . . . . . . . 1201111111111220
   148  -12 B . . . . . . . 1101111111111220
+  150  -10 B . . . . . . . 2201111111111220   by B/1 * 2
   151  -11 A . . . . . . . 2201111111111220
   152  -12 C . . . . . . . 2101111111111220
   153  -11 C . . . . . . . 1101111111111220
   154  -10 A . . . . . . . 1101111111111220
   155   -9 B . . . . . . . 1111111111111220
+  165    1 B . . . . . . . 1112222222222220   by B/1 * 10
+  176  -10 B . . . . . . . 1111111111111120   by B/2 * 11
+  188    2 B . . . . . . . 1122222222222220   by B/1 * 12
+  201  -11 B . . . . . . . 1111111111111110   by B/2 * 13
+  215    3 B . . . . . . . 1222222222222220   by B/1 * 14
   216    2 A . . . . . . . 1222222222222220
   217    1 C . . . . . . . 1222222222222210
   218    2 C . . . . . . . 1222222222222110
   219    3 A . . . . . . . 1222222222222110
   220    4 B . . . . . . . 12222222222221110
   221    3 A . . . . . . . 12222222222221110
+  224    0 A . . . . . . . 12222222222222220  by A/1 * 3
   225   -1 C . . . . . . . 12222222222212220
   226    0 C . . . . . . . 12222222222112220
   227    1 A . . . . . . . 12222222222112220
   228    0 C . . . . . . . 12222222222111220
   229    1 A . . . . . . . 12222222222111220
+  232   -2 A . . . . . . . 12222222222222220  by A/1 * 3
   233   -3 C . . . . . . . 12222222221222220
   234   -2 C . . . . . . . 12222222211222220
   235   -1 A . . . . . . . 12222222211222220
   236   -2 C . . . . . . . 12222222211122220
   237   -1 A . . . . . . . 12222222211122220
+  240   -4 A . . . . . . . 12222222222222220  by A/1 * 3
   241   -5 C . . . . . . . 12222222122222220
   242   -4 C . . . . . . . 12222221122222220
   243   -3 A . . . . . . . 12222221122222220
   244   -4 C . . . . . . . 12222221112222220
   245   -3 A . . . . . . . 12222221112222220
+  248   -6 A . . . . . . . 12222222222222220  by A/1 * 3
   249   -7 C . . . . . . . 12222212222222220
   250   -6 C . . . . . . . 12222112222222220
   251   -5 A . . . . . . . 12222112222222220
   252   -6 C . . . . . . . 12222111222222220
   253   -5 A . . . . . . . 12222111222222220
+  256   -8 A . . . . . . . 12222222222222220  by A/1 * 3
   257   -9 C . . . . . . . 12221222222222220
   258   -8 C . . . . . . . 12211222222222220
   259   -7 A . . . . . . . 12211222222222220
   260   -8 C . . . . . . . 12211122222222220
   261   -7 A . . . . . . . 12211122222222220
+  264  -10 A . . . . . . . 12222222222222220  by A/1 * 3
   265  -11 C . . . . . . . 12122222222222220
   266  -10 C . . . . . . . 11122222222222220
   267   -9 A . . . . . . . 11122222222222220
   268  -10 C . . . . . . . 11112222222222220
   269   -9 A . . . . . . . 11112222222222220
+  273  -13 A . . . . . . .022222222222222220  by A/1 * 4
   274  -12 B . . . . . . .122222222222222220
   275  -13 B . . . . . . .112222222222222220
+  277  -11 B . . . . . . .222222222222222220  by B/1 * 2
+  280  -14 B . . . . . . 0111222222222222220  by B/2 * 3
   281  -15 A . . . . . .00111222222222222220
   282  -14 B . . . . . .10111222222222222220
   283  -15 A . . . . . .10111222222222222220
   284  -16 A . . . . . 020111222222222222220
   285  -15 B . . . . . 120111222222222222220
   286  -16 B . . . . . 110111222222222222220
+  288  -14 B . . . . . 220111222222222222220  by B/1 * 2
   289  -15 A . . . . . 220111222222222222220
   290  -16 C . . . . . 210111222222222222220
   291  -15 C . . . . . 110111222222222222220
   292  -14 A . . . . . 110111222222222222220
   293  -13 B . . . . . 111111222222222222220
+  296  -10 B . . . . . 111222222222222222220  by B/1 * 3
+  300  -14 B . . . . . 111111122222222222220  by B/2 * 4
+  305   -9 B . . . . . 112222222222222222220  by B/1 * 5
+  311  -15 B . . . . . 111111112222222222220  by B/2 * 6
+  318   -8 B . . . . . 122222222222222222220  by B/1 * 7
+  326  -16 B . . . . . 111111111222222222220  by B/2 * 8
+  335   -7 B . . . . . 222222222222222222220  by B/1 * 9
+  345  -17 B . . . . .0111111111122222222220  by B/2 * 10
   346  -18 A . . . . 00111111111122222222220
   347  -17 B . . . . 10111111111122222222220
   348  -18 A . . . . 10111111111122222222220
   349  -19 A . . . .020111111111122222222220
   350  -18 B . . . .120111111111122222222220
   351  -19 B . . . .110111111111122222222220
+  353  -17 B . . . .220111111111122222222220  by B/1 * 2
   354  -18 A . . . .220111111111122222222220
   355  -19 C . . . .210111111111122222222220
   356  -18 C . . . .110111111111122222222220
   357  -17 A . . . .110111111111122222222220
   358  -16 B . . . .111111111111122222222220
+  368   -6 B . . . .111222222222222222222220  by B/1 * 10
+  379  -17 B . . . .111111111111112222222220  by B/2 * 11
+  391   -5 B . . . .112222222222222222222220  by B/1 * 12
+  404  -18 B . . . .111111111111111222222220  by B/2 * 13
+  418   -4 B . . . .122222222222222222222220  by B/1 * 14
+  433  -19 B . . . .111111111111111122222220  by B/2 * 15
+  449   -3 B . . . .222222222222222222222220  by B/1 * 16
+  466  -20 B . . . 0111111111111111112222220  by B/2 * 17
   467  -21 A . . .00111111111111111112222220
   468  -20 B . . .10111111111111111112222220
   469  -21 A . . .10111111111111111112222220
   470  -22 A . . 020111111111111111112222220
   471  -21 B . . 120111111111111111112222220
   472  -22 B . . 110111111111111111112222220
+  474  -20 B . . 220111111111111111112222220  by B/1 * 2
   475  -21 A . . 220111111111111111112222220
   476  -22 C . . 210111111111111111112222220
   477  -21 C . . 110111111111111111112222220
   478  -20 A . . 110111111111111111112222220
   479  -19 B . . 111111111111111111112222220
+  496   -2 B . . 111222222222222222222222220  by B/1 * 17
+  514  -20 B . . 111111111111111111111222220  by B/2 * 18
+  533   -1 B . . 112222222222222222222222220  by B/1 * 19
+  553  -21 B . . 111111111111111111111122220  by B/2 * 20
+  574    0 B . . 122222222222222222222222220  by B/1 * 21
+  596  -22 B . . 111111111111111111111112220  by B/2 * 22
+  619    1 B . . 222222222222222222222222220  by B/1 * 23
+  643  -23 B . .0111111111111111111111111220  by B/2 * 24
   644  -24 A . 00111111111111111111111111220
   645  -23 B . 10111111111111111111111111220
   646  -24 A . 10111111111111111111111111220
   647  -25 A .020111111111111111111111111220

After 647 steps (201 lines): state = A.
Produced     27 nonzeros.
Tape index -25, scanned [-24 .. 4].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
A 93 27 42 24 0 2 8
B 514 27 244 243 1 5 4
C 40   24 16   10 9
Execution statistics 

The same TM just simple.

The same TM with tape symbol exponents.

The same TM as 2-bck-macro machine.

The same TM as 2-bck-macro machine with pure additive config-TRs.

To the 
BB simulations page of Heiner Marxen.

To the busy beaver page
of Heiner Marxen.

To the 
home page of Heiner Marxen.

Tue Jul 6 22:13:27 CEST 2010