2-state 6-symbol #f (T.J. & S. Ligocki) 

Comment: This TM produces >6.9x10^4931 nonzeros in >2.5x10^9863 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
3		 on
4		 on
5		 on 0 on 1 on 2 on 3 on 4 on 5
Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 1LB 3RA 4LA 2LA 4LB 1 right B 1 left B 3 right A 4 left A 2 left A 4 left B
B 2LA 2RB 3LB 1LA 5RA 1RH 2 left A 2 right B 3 left B 1 left A 5 right A 1 right H
Transition table 
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . . . . . . 0
     1    1 B . . . . . . . . . . 10
     2    0 A . . . . . . . . . . 12
     3   -1 B . . . . . . . . . .012
     4   -2 A . . . . . . . . . 0212
     5   -1 B . . . . . . . . . 1212
     6   -2 B . . . . . . . . . 1312
     7   -1 B . . . . . . . . . 2312
     8   -2 A . . . . . . . . . 2112
     9   -1 A . . . . . . . . . 3112
    10   -2 B . . . . . . . . . 3112
    11   -3 A . . . . . . . . .01112
    12   -2 B . . . . . . . . .11112
+   15    1 B . . . . . . . . .12222   by B/1 * 3
+   19   -3 B . . . . . . . . .13333   by B/2 * 4
    20   -2 B . . . . . . . . .23333
    21   -3 A . . . . . . . . .21333
    22   -2 A . . . . . . . . .31333
    23   -3 B . . . . . . . . .31333
    24   -4 A . . . . . . . . 011333
    25   -3 B . . . . . . . . 111333
+   27   -1 B . . . . . . . . 122333   by B/1 * 2
    28   -2 A . . . . . . . . 122133
    29   -1 A . . . . . . . . 123133
    30   -2 B . . . . . . . . 123133
    31   -3 A . . . . . . . . 121133
    32   -2 A . . . . . . . . 131133
    33   -3 B . . . . . . . . 131133
    34   -4 A . . . . . . . . 111133
    35   -5 B . . . . . . . .0111133
    36   -6 A . . . . . . . 02111133
    37   -5 B . . . . . . . 12111133
    38   -6 B . . . . . . . 13111133
    39   -5 B . . . . . . . 23111133
    40   -6 A . . . . . . . 21111133
    41   -5 A . . . . . . . 31111133
    42   -6 B . . . . . . . 31111133
    43   -7 A . . . . . . .011111133
    44   -6 B . . . . . . .111111133
+   50    0 B . . . . . . .122222233   by B/1 * 6
    51   -1 A . . . . . . .122222213
    52    0 A . . . . . . .122222313
    53   -1 B . . . . . . .122222313
    54   -2 A . . . . . . .122222113
    55   -1 A . . . . . . .122223113
    56   -2 B . . . . . . .122223113
    57   -3 A . . . . . . .122221113
    58   -2 A . . . . . . .122231113
    59   -3 B . . . . . . .122231113
    60   -4 A . . . . . . .122211113
    61   -3 A . . . . . . .122311113
    62   -4 B . . . . . . .122311113
    63   -5 A . . . . . . .122111113
    64   -4 A . . . . . . .123111113
    65   -5 B . . . . . . .123111113
    66   -6 A . . . . . . .121111113
    67   -5 A . . . . . . .131111113
    68   -6 B . . . . . . .131111113
    69   -7 A . . . . . . .111111113
    70   -8 B . . . . . . 0111111113
    71   -9 A . . . . . .02111111113
    72   -8 B . . . . . .12111111113
    73   -9 B . . . . . .13111111113
    74   -8 B . . . . . .23111111113
    75   -9 A . . . . . .21111111113
    76   -8 A . . . . . .31111111113
    77   -9 B . . . . . .31111111113
    78  -10 A . . . . . 011111111113
    79   -9 B . . . . . 111111111113
+   89    1 B . . . . . 122222222223   by B/1 * 10
    90    0 A . . . . . 122222222221
    91    1 A . . . . . 122222222231
    92    0 B . . . . . 122222222231
    93   -1 A . . . . . 122222222211
    94    0 A . . . . . 122222222311
    95   -1 B . . . . . 122222222311
    96   -2 A . . . . . 122222222111
    97   -1 A . . . . . 122222223111
    98   -2 B . . . . . 122222223111
    99   -3 A . . . . . 122222221111
   100   -2 A . . . . . 122222231111
   101   -3 B . . . . . 122222231111
   102   -4 A . . . . . 122222211111
   103   -3 A . . . . . 122222311111
   104   -4 B . . . . . 122222311111
   105   -5 A . . . . . 122222111111
   106   -4 A . . . . . 122223111111
   107   -5 B . . . . . 122223111111
   108   -6 A . . . . . 122221111111
   109   -5 A . . . . . 122231111111
   110   -6 B . . . . . 122231111111
   111   -7 A . . . . . 122211111111
   112   -6 A . . . . . 122311111111
   113   -7 B . . . . . 122311111111
   114   -8 A . . . . . 122111111111
   115   -7 A . . . . . 123111111111
   116   -8 B . . . . . 123111111111
   117   -9 A . . . . . 121111111111
   118   -8 A . . . . . 131111111111
   119   -9 B . . . . . 131111111111
   120  -10 A . . . . . 111111111111
   121  -11 B . . . . .0111111111111
   122  -12 A . . . . 02111111111111
   123  -11 B . . . . 12111111111111
   124  -12 B . . . . 13111111111111
   125  -11 B . . . . 23111111111111
   126  -12 A . . . . 21111111111111
   127  -11 A . . . . 31111111111111
   128  -12 B . . . . 31111111111111
   129  -13 A . . . .011111111111111
   130  -12 B . . . .111111111111111
+  144    2 B . . . .1222222222222220   by B/1 * 14
   145    1 A . . . .1222222222222222
+  147    3 A . . . .12222222222222330  by A/2 * 2
   148    4 B . . . .122222222222223310
   149    3 A . . . .122222222222223312
   150    2 B . . . .122222222222223312
   151    1 A . . . .122222222222223112
   152    0 A . . . .122222222222224112
   153    1 A . . . .122222222222234112
   154    0 A . . . .122222222222232112
   155   -1 A . . . .122222222222242112
   156    0 A . . . .122222222222342112
   157   -1 A . . . .122222222222322112
   158   -2 A . . . .122222222222422112
   159   -1 A . . . .122222222223422112
   160   -2 A . . . .122222222223222112
   161   -3 A . . . .122222222224222112
   162   -2 A . . . .122222222234222112
   163   -3 A . . . .122222222232222112
   164   -4 A . . . .122222222242222112
   165   -3 A . . . .122222222342222112
   166   -4 A . . . .122222222322222112
   167   -5 A . . . .122222222422222112
   168   -4 A . . . .122222223422222112
   169   -5 A . . . .122222223222222112
   170   -6 A . . . .122222224222222112
   171   -5 A . . . .122222234222222112
   172   -6 A . . . .122222232222222112
   173   -7 A . . . .122222242222222112
   174   -6 A . . . .122222342222222112
   175   -7 A . . . .122222322222222112
   176   -8 A . . . .122222422222222112
   177   -7 A . . . .122223422222222112
   178   -8 A . . . .122223222222222112
   179   -9 A . . . .122224222222222112
   180   -8 A . . . .122234222222222112
   181   -9 A . . . .122232222222222112
   182  -10 A . . . .122242222222222112
   183   -9 A . . . .122342222222222112
   184  -10 A . . . .122322222222222112
   185  -11 A . . . .122422222222222112
   186  -10 A . . . .123422222222222112
   187  -11 A . . . .123222222222222112
   188  -12 A . . . .124222222222222112
   189  -11 A . . . .134222222222222112
   190  -12 A . . . .132222222222222112
   191  -13 A . . . .142222222222222112
   192  -14 B . . . 0142222222222222112
   193  -15 A . . .02142222222222222112
   194  -14 B . . .12142222222222222112
   195  -15 B . . .13142222222222222112
   196  -14 B . . .23142222222222222112
   197  -15 A . . .21142222222222222112
   198  -14 A . . .31142222222222222112
   199  -15 B . . .31142222222222222112
   200  -16 A . . 011142222222222222112
   201  -15 B . . 111142222222222222112
+  204  -12 B . . 122242222222222222112  by B/1 * 3
   205  -11 A . . 122252222222222222112
+  218    2 A . . 122253333333333333112  by A/2 * 13
   219    1 B . . 122253333333333333112
   220    0 A . . 122253333333333331112
+  232  -12 A . . 122254444444444441112  by A/3 * 12
   233  -13 B . . 122244444444444441112
+  236  -16 B . . 133344444444444441112  by B/2 * 3
   237  -15 B . . 233344444444444441112
   238  -16 A . . 213344444444444441112
   239  -15 A . . 313344444444444441112
   240  -16 B . . 313344444444444441112
   241  -17 A . .0113344444444444441112
   242  -16 B . .1113344444444444441112
+  244  -14 B . .1223344444444444441112  by B/1 * 2
   245  -15 A . .1221344444444444441112
   246  -14 A . .1231344444444444441112
   247  -15 B . .1231344444444444441112
   248  -16 A . .1211344444444444441112
   249  -15 A . .1311344444444444441112
   250  -16 B . .1311344444444444441112
   251  -17 A . .1111344444444444441112
   252  -18 B . 01111344444444444441112
   253  -19 A .021111344444444444441112
   254  -18 B .121111344444444444441112
   255  -19 B .131111344444444444441112
   256  -18 B .231111344444444444441112
   257  -19 A .211111344444444444441112
   258  -18 A .311111344444444444441112
   259  -19 B .311111344444444444441112
   260  -20 A 0111111344444444444441112
   261  -19 B 1111111344444444444441112
+  267  -13 B 1222222344444444444441112  by B/1 * 6

After 267 steps (201 lines): state = B.
Produced     25 nonzeros.
Tape index -13, scanned [-20 .. 4].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 4 on 5 on 0 on 1 on 2 on 3 on 4 on 5
A 148 16 36 56 26 13 1 0 2 8 151 153 232
B 119 9 54 13 42 1   1 6 5 7 204  
Execution statistics 

The same TM just simple.

The same TM with tape symbol exponents.

The same TM as 1-bck-macro machine.

The same TM as 1-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:21 CEST 2010