3-state 3-symbol former champion of Myron Souris 

Comment: This TM produces 36089 nonzeros in 310341163 steps.

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
1 1R2 2R1 2R3 1 right 2 2 right 1 2 right 3
2 1L3 1Rh 1L1 1 left 3 1 right h 1 left 1
3 1R1 2L2 1L3 1 right 1 2 left 2 1 left 3
Transition table 
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as bck-macro machine.
The same TM as bck-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 1 . . . . . . . . . . 0
     1    1 2 . . . . . . . . . . 10
     2    0 3 . . . . . . . . . . 11
     3   -1 2 . . . . . . . . . .021
     4   -2 3 . . . . . . . . . 0121
     5   -1 1 . . . . . . . . . 1121
     6    0 1 . . . . . . . . . 1221
     7    1 3 . . . . . . . . . 1221
     8    0 2 . . . . . . . . . 1222
     9   -1 1 . . . . . . . . . 1212
    10    0 3 . . . . . . . . . 1212
    11   -1 2 . . . . . . . . . 1222
    12   -2 1 . . . . . . . . . 1122
+   14    0 1 . . . . . . . . . 2222   by 1/1 * 2
    15    1 3 . . . . . . . . . 2222
+   19   -3 3 . . . . . . . . .01111   by 3/2 * 4
    20   -2 1 . . . . . . . . .11111
+   24    2 1 . . . . . . . . .122220   by 1/1 * 4
    25    3 2 . . . . . . . . .1222210
    26    2 3 . . . . . . . . .1222211
    27    1 2 . . . . . . . . .1222221
    28    0 1 . . . . . . . . .1222121
    29    1 3 . . . . . . . . .1222121
    30    0 2 . . . . . . . . .1222221
    31   -1 1 . . . . . . . . .1221221
    32    0 3 . . . . . . . . .1221221
    33   -1 2 . . . . . . . . .1222221
    34   -2 1 . . . . . . . . .1212221
    35   -1 3 . . . . . . . . .1212221
    36   -2 2 . . . . . . . . .1222221
    37   -3 1 . . . . . . . . .1122221
+   39   -1 1 . . . . . . . . .2222221   by 1/1 * 2
    40    0 3 . . . . . . . . .2222221
+   44   -4 3 . . . . . . . . 01111221   by 3/2 * 4
    45   -3 1 . . . . . . . . 11111221
+   49    1 1 . . . . . . . . 12222221   by 1/1 * 4
    50    2 3 . . . . . . . . 12222221
+   56   -4 3 . . . . . . . . 11111111   by 3/2 * 6
    57   -5 2 . . . . . . . .021111111
    58   -6 3 . . . . . . . 0121111111
    59   -5 1 . . . . . . . 1121111111
    60   -4 1 . . . . . . . 1221111111
    61   -3 3 . . . . . . . 1221111111
    62   -4 2 . . . . . . . 1222111111
    63   -5 1 . . . . . . . 1212111111
    64   -4 3 . . . . . . . 1212111111
    65   -5 2 . . . . . . . 1222111111
    66   -6 1 . . . . . . . 1122111111
+   68   -4 1 . . . . . . . 2222111111   by 1/1 * 2
    69   -3 3 . . . . . . . 2222111111
+   73   -7 3 . . . . . . .01111111111   by 3/2 * 4
    74   -6 1 . . . . . . .11111111111
+   84    4 1 . . . . . . .122222222220   by 1/1 * 10
    85    5 2 . . . . . . .1222222222210
    86    4 3 . . . . . . .1222222222211
    87    3 2 . . . . . . .1222222222221
    88    2 1 . . . . . . .1222222222121
    89    3 3 . . . . . . .1222222222121
    90    2 2 . . . . . . .1222222222221
    91    1 1 . . . . . . .1222222221221
    92    2 3 . . . . . . .1222222221221
    93    1 2 . . . . . . .1222222222221
    94    0 1 . . . . . . .1222222212221
    95    1 3 . . . . . . .1222222212221
    96    0 2 . . . . . . .1222222222221
    97   -1 1 . . . . . . .1222222122221
    98    0 3 . . . . . . .1222222122221
    99   -1 2 . . . . . . .1222222222221
   100   -2 1 . . . . . . .1222221222221
   101   -1 3 . . . . . . .1222221222221
   102   -2 2 . . . . . . .1222222222221
   103   -3 1 . . . . . . .1222212222221
   104   -2 3 . . . . . . .1222212222221
   105   -3 2 . . . . . . .1222222222221
   106   -4 1 . . . . . . .1222122222221
   107   -3 3 . . . . . . .1222122222221
   108   -4 2 . . . . . . .1222222222221
   109   -5 1 . . . . . . .1221222222221
   110   -4 3 . . . . . . .1221222222221
   111   -5 2 . . . . . . .1222222222221
   112   -6 1 . . . . . . .1212222222221
   113   -5 3 . . . . . . .1212222222221
   114   -6 2 . . . . . . .1222222222221
   115   -7 1 . . . . . . .1122222222221
+  117   -5 1 . . . . . . .2222222222221   by 1/1 * 2
   118   -4 3 . . . . . . .2222222222221
+  122   -8 3 . . . . . . 01111222222221   by 3/2 * 4
   123   -7 1 . . . . . . 11111222222221
+  127   -3 1 . . . . . . 12222222222221   by 1/1 * 4
   128   -2 3 . . . . . . 12222222222221
+  134   -8 3 . . . . . . 11111112222221   by 3/2 * 6
   135   -9 2 . . . . . .021111112222221
   136  -10 3 . . . . . 0121111112222221
   137   -9 1 . . . . . 1121111112222221
   138   -8 1 . . . . . 1221111112222221
   139   -7 3 . . . . . 1221111112222221
   140   -8 2 . . . . . 1222111112222221
   141   -9 1 . . . . . 1212111112222221
   142   -8 3 . . . . . 1212111112222221
   143   -9 2 . . . . . 1222111112222221
   144  -10 1 . . . . . 1122111112222221
+  146   -8 1 . . . . . 2222111112222221   by 1/1 * 2
   147   -7 3 . . . . . 2222111112222221
+  151  -11 3 . . . . .01111111112222221   by 3/2 * 4
   152  -10 1 . . . . .11111111112222221
+  161   -1 1 . . . . .12222222222222221   by 1/1 * 9
   162    0 3 . . . . .12222222222222221
+  173  -11 3 . . . . .11111111111122221   by 3/2 * 11
   174  -12 2 . . . . 021111111111122221
   175  -13 3 . . . .0121111111111122221
   176  -12 1 . . . .1121111111111122221
   177  -11 1 . . . .1221111111111122221
   178  -10 3 . . . .1221111111111122221
   179  -11 2 . . . .1222111111111122221
   180  -12 1 . . . .1212111111111122221
   181  -11 3 . . . .1212111111111122221
   182  -12 2 . . . .1222111111111122221
   183  -13 1 . . . .1122111111111122221
+  185  -11 1 . . . .2222111111111122221   by 1/1 * 2
   186  -10 3 . . . .2222111111111122221
+  190  -14 3 . . . 01111111111111122221   by 3/2 * 4
   191  -13 1 . . . 11111111111111122221
+  205    1 1 . . . 12222222222222222221   by 1/1 * 14
   206    2 3 . . . 12222222222222222221
+  222  -14 3 . . . 11111111111111111221   by 3/2 * 16
   223  -15 2 . . .021111111111111111221
   224  -16 3 . . 0121111111111111111221
   225  -15 1 . . 1121111111111111111221
   226  -14 1 . . 1221111111111111111221
   227  -13 3 . . 1221111111111111111221
   228  -14 2 . . 1222111111111111111221
   229  -15 1 . . 1212111111111111111221
   230  -14 3 . . 1212111111111111111221
   231  -15 2 . . 1222111111111111111221
   232  -16 1 . . 1122111111111111111221
+  234  -14 1 . . 2222111111111111111221   by 1/1 * 2
   235  -13 3 . . 2222111111111111111221
+  239  -17 3 . .01111111111111111111221   by 3/2 * 4
   240  -16 1 . .11111111111111111111221
+  259    3 1 . .12222222222222222222221   by 1/1 * 19
   260    4 3 . .12222222222222222222221
+  281  -17 3 . .11111111111111111111111   by 3/2 * 21
   282  -18 2 . 021111111111111111111111
   283  -19 3 .0121111111111111111111111
   284  -18 1 .1121111111111111111111111
   285  -17 1 .1221111111111111111111111
   286  -16 3 .1221111111111111111111111
   287  -17 2 .1222111111111111111111111
   288  -18 1 .1212111111111111111111111
   289  -17 3 .1212111111111111111111111
   290  -18 2 .1222111111111111111111111
   291  -19 1 .1122111111111111111111111
+  293  -17 1 .2222111111111111111111111   by 1/1 * 2
   294  -16 3 .2222111111111111111111111
+  298  -20 3 01111111111111111111111111   by 3/2 * 4
   299  -19 1 11111111111111111111111111
+  324    6 1 122222222222222222222222220   by 1/1 * 25
   325    7 2 1222222222222222222222222210
   326    6 3 1222222222222222222222222211
   327    5 2 1222222222222222222222222221
   328    4 1 1222222222222222222222222121
   329    5 3 1222222222222222222222222121
   330    4 2 1222222222222222222222222221
   331    3 1 1222222222222222222222221221
   332    4 3 1222222222222222222222221221
   333    3 2 1222222222222222222222222221
   334    2 1 1222222222222222222222212221
   335    3 3 1222222222222222222222212221
   336    2 2 1222222222222222222222222221
   337    1 1 1222222222222222222222122221
   338    2 3 1222222222222222222222122221
   339    1 2 1222222222222222222222222221
   340    0 1 1222222222222222222221222221
   341    1 3 1222222222222222222221222221
   342    0 2 1222222222222222222222222221
   343   -1 1 1222222222222222222212222221
   344    0 3 1222222222222222222212222221
   345   -1 2 1222222222222222222222222221
   346   -2 1 1222222222222222222122222221
   347   -1 3 1222222222222222222122222221
   348   -2 2 1222222222222222222222222221
   349   -3 1 1222222222222222221222222221
   350   -2 3 1222222222222222221222222221
   351   -3 2 1222222222222222222222222221
   352   -4 1 1222222222222222212222222221
   353   -3 3 1222222222222222212222222221
   354   -4 2 1222222222222222222222222221
   355   -5 1 1222222222222222122222222221
   356   -4 3 1222222222222222122222222221
   357   -5 2 1222222222222222222222222221
   358   -6 1 1222222222222221222222222221
   359   -5 3 1222222222222221222222222221
   360   -6 2 1222222222222222222222222221
   361   -7 1 1222222222222212222222222221
   362   -6 3 1222222222222212222222222221
   363   -7 2 1222222222222222222222222221
   364   -8 1 1222222222222122222222222221
   365   -7 3 1222222222222122222222222221
   366   -8 2 1222222222222222222222222221
   367   -9 1 1222222222221222222222222221
   368   -8 3 1222222222221222222222222221

After 368 steps (201 lines): state = 3.
Produced     28 nonzeros.
Tape index -8, scanned [-20 .. 7].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
1 166 4 111 51 0 5 6
2 50 10   40 1   8
3 152 14 46 92 4 2 15
Execution statistics 

The same TM just simple.

The same TM with tape symbol exponents.

The same TM as bck-macro machine.

The same TM as 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:11:41 CEST 2010