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

Comment: This TM produces 15828 nonzeros in 493,600,387 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $

The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as bck-2-macro machine.
The same TM as bck-2-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1     1  1 B>
     2     0  1 <B 1
     3    -1  <A 1 1
     4     0  1 B> 1 1
     5    -1  1 <A 1 1
     6    -2  <A 4 1 1
     7    -1  1 B> 4 1 1
     8     0  1 2 B> 1 1
     9    -1  1 2 <A 1 1
    10     0  1 1 A> 1 1
    11    -1  1 1 <A 4 1
+   13    -3  <A 43 1
    14    -2  1 B> 43 1
+   17     1  1 23 B> 1
    18     0  1 23 <A 1
    19     1  1 2 2 1 A> 1
    20     0  1 2 2 1 <A 4
    21    -1  1 2 2 <A 4 4
    22     0  1 2 1 A> 4 4
+   24     2  1 2 13 A>
    25     3  1 2 14 B>
    26     2  1 2 14 <B 1
    27     1  1 2 13 <A 1 1
+   30    -2  1 2 <A 43 1 1
    31    -1  1 1 A> 43 1 1
+   34     2  15 A> 1 1
    35     1  15 <A 4 1
+   40    -4  <A 46 1
    41    -3  1 B> 46 1
+   47     3  1 26 B> 1
    48     2  1 26 <A 1
    49     3  1 25 1 A> 1
    50     2  1 25 1 <A 4
    51     1  1 25 <A 4 4
    52     2  1 24 1 A> 4 4
+   54     4  1 24 13 A>
    55     5  1 24 14 B>
    56     4  1 24 14 <B 1
    57     3  1 24 13 <A 1 1
+   60     0  1 24 <A 43 1 1
    61     1  1 23 1 A> 43 1 1
+   64     4  1 23 14 A> 1 1
    65     3  1 23 14 <A 4 1
+   69    -1  1 23 <A 45 1
    70     0  1 2 2 1 A> 45 1
+   75     5  1 2 2 16 A> 1
    76     4  1 2 2 16 <A 4
+   82    -2  1 2 2 <A 47
    83    -1  1 2 1 A> 47
+   90     6  1 2 18 A>
    91     7  1 2 19 B>
    92     6  1 2 19 <B 1
    93     5  1 2 18 <A 1 1
+  101    -3  1 2 <A 48 1 1
   102    -2  1 1 A> 48 1 1
+  110     6  110 A> 1 1
   111     5  110 <A 4 1
+  121    -5  <A 411 1
   122    -4  1 B> 411 1
+  133     7  1 211 B> 1
   134     6  1 211 <A 1
   135     7  1 210 1 A> 1
   136     6  1 210 1 <A 4
   137     5  1 210 <A 4 4
   138     6  1 29 1 A> 4 4
+  140     8  1 29 13 A>
   141     9  1 29 14 B>
   142     8  1 29 14 <B 1
   143     7  1 29 13 <A 1 1
+  146     4  1 29 <A 43 1 1
   147     5  1 28 1 A> 43 1 1
+  150     8  1 28 14 A> 1 1
   151     7  1 28 14 <A 4 1
+  155     3  1 28 <A 45 1
   156     4  1 27 1 A> 45 1
+  161     9  1 27 16 A> 1
   162     8  1 27 16 <A 4
+  168     2  1 27 <A 47
   169     3  1 26 1 A> 47
+  176    10  1 26 18 A>
   177    11  1 26 19 B>
   178    10  1 26 19 <B 1
   179     9  1 26 18 <A 1 1
+  187     1  1 26 <A 48 1 1
   188     2  1 25 1 A> 48 1 1
+  196    10  1 25 19 A> 1 1
   197     9  1 25 19 <A 4 1
+  206     0  1 25 <A 410 1
   207     1  1 24 1 A> 410 1
+  217    11  1 24 111 A> 1
   218    10  1 24 111 <A 4
+  229    -1  1 24 <A 412
   230     0  1 23 1 A> 412
+  242    12  1 23 113 A>
   243    13  1 23 114 B>
   244    12  1 23 114 <B 1
   245    11  1 23 113 <A 1 1
+  258    -2  1 23 <A 413 1 1
   259    -1  1 2 2 1 A> 413 1 1
+  272    12  1 2 2 114 A> 1 1
   273    11  1 2 2 114 <A 4 1
+  287    -3  1 2 2 <A 415 1
   288    -2  1 2 1 A> 415 1
+  303    13  1 2 116 A> 1
   304    12  1 2 116 <A 4
+  320    -4  1 2 <A 417
   321    -3  1 1 A> 417
+  338    14  119 A>
   339    15  120 B>
   340    14  120 <B 1
   341    13  119 <A 1 1
+  360    -6  <A 419 1 1
   361    -5  1 B> 419 1 1
+  380    14  1 219 B> 1 1
   381    13  1 219 <A 1 1
   382    14  1 218 1 A> 1 1
   383    13  1 218 1 <A 4 1
   384    12  1 218 <A 4 4 1
   385    13  1 217 1 A> 4 4 1
+  387    15  1 217 13 A> 1
   388    14  1 217 13 <A 4
+  391    11  1 217 <A 44
   392    12  1 216 1 A> 44
+  396    16  1 216 15 A>
   397    17  1 216 16 B>
   398    16  1 216 16 <B 1
   399    15  1 216 15 <A 1 1
+  404    10  1 216 <A 45 1 1
   405    11  1 215 1 A> 45 1 1
+  410    16  1 215 16 A> 1 1
   411    15  1 215 16 <A 4 1
+  417     9  1 215 <A 47 1
   418    10  1 214 1 A> 47 1
+  425    17  1 214 18 A> 1
   426    16  1 214 18 <A 4
+  434     8  1 214 <A 49
   435     9  1 213 1 A> 49
+  444    18  1 213 110 A>
   445    19  1 213 111 B>
   446    18  1 213 111 <B 1
   447    17  1 213 110 <A 1 1
+  457     7  1 213 <A 410 1 1
   458     8  1 212 1 A> 410 1 1
+  468    18  1 212 111 A> 1 1
   469    17  1 212 111 <A 4 1
+  480     6  1 212 <A 412 1
   481     7  1 211 1 A> 412 1
+  493    19  1 211 113 A> 1
   494    18  1 211 113 <A 4
+  507     5  1 211 <A 414
   508     6  1 210 1 A> 414
+  522    20  1 210 115 A>
   523    21  1 210 116 B>
   524    20  1 210 116 <B 1
   525    19  1 210 115 <A 1 1
+  540     4  1 210 <A 415 1 1
   541     5  1 29 1 A> 415 1 1
+  556    20  1 29 116 A> 1 1
   557    19  1 29 116 <A 4 1
+  573     3  1 29 <A 417 1
   574     4  1 28 1 A> 417 1
+  591    21  1 28 118 A> 1
   592    20  1 28 118 <A 4
+  610     2  1 28 <A 419
   611     3  1 27 1 A> 419
+  630    22  1 27 120 A>
   631    23  1 27 121 B>
   632    22  1 27 121 <B 1
   633    21  1 27 120 <A 1 1
+  653     1  1 27 <A 420 1 1
   654     2  1 26 1 A> 420 1 1
+  674    22  1 26 121 A> 1 1
   675    21  1 26 121 <A 4 1
+  696     0  1 26 <A 422 1
   697     1  1 25 1 A> 422 1
+  719    23  1 25 123 A> 1
   720    22  1 25 123 <A 4
+  743    -1  1 25 <A 424
   744     0  1 24 1 A> 424
+  768    24  1 24 125 A>
   769    25  1 24 126 B>
   770    24  1 24 126 <B 1
   771    23  1 24 125 <A 1 1
+  796    -2  1 24 <A 425 1 1
   797    -1  1 23 1 A> 425 1 1
+  822    24  1 23 126 A> 1 1
   823    23  1 23 126 <A 4 1
+  849    -3  1 23 <A 427 1
   850    -2  1 2 2 1 A> 427 1
+  877    25  1 2 2 128 A> 1
   878    24  1 2 2 128 <A 4
+  906    -4  1 2 2 <A 429
   907    -3  1 2 1 A> 429
+  936    26  1 2 130 A>
   937    27  1 2 131 B>
   938    26  1 2 131 <B 1
   939    25  1 2 130 <A 1 1
+  969    -5  1 2 <A 430 1 1
   970    -4  1 1 A> 430 1 1
+ 1000    26  132 A> 1 1

After 1000 steps (201 lines): state = A.
Produced     34 nonzeros.
Tape index 26, scanned [-6 .. 27].