TM #1 from MaBu90-Paper

Comment: Current 5-state BB champion for ones and steps
Comment: This TM produces 4098 ones in 47176870 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1L C1R 1 left B 1 right C
B C1L B1L 1 left C 1 left B
C D1L E0R 1 left D 0 right E
D A1R D1R 1 right A 1 right D
E H1L A0R 1 left H 0 right A
Transition table
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 3-macro machine.
The same TM as 3-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1    -1  <B 1
     2    -2  <C 1 1
     3    -3  <D 13
     4    -2  1 A> 13
     5    -1  1 1 C> 1 1
     6     0  1 1 0 E> 1
     7     1  1 1 0 0 A>
     8     0  1 1 0 0 <B 1
     9    -1  1 1 0 <C 1 1
    10    -2  1 1 <D 13
    11    -1  1 1 D> 13
+   14     2  15 D>
    15     3  16 A>
    16     2  16 <B 1
+   22    -4  <B 17
    23    -5  <C 18
    24    -6  <D 19
    25    -5  1 A> 19
    26    -4  1 1 C> 18
    27    -3  1 1 0 E> 17
    28    -2  1 1 0 0 A> 16
    29    -1  1 1 0 0 1 C> 15
    30     0  1 1 0 0 1 0 E> 14
    31     1  1 1 0 0 1 0 0 A> 13
    32     2  1 1 0 0 1 0 0 1 C> 1 1
    33     3  1 1 0 0 1 0 0 1 0 E> 1
    34     4  1 1 0 0 1 0 0 1 0 0 A>
    35     3  1 1 0 0 1 0 0 1 0 0 <B 1
    36     2  1 1 0 0 1 0 0 1 0 <C 1 1
    37     1  1 1 0 0 1 0 0 1 <D 13
    38     2  1 1 0 0 1 0 0 1 D> 13
+   41     5  1 1 0 0 1 0 0 14 D>
    42     6  1 1 0 0 1 0 0 15 A>
    43     5  1 1 0 0 1 0 0 15 <B 1
+   48     0  1 1 0 0 1 0 0 <B 16
    49    -1  1 1 0 0 1 0 <C 17
    50    -2  1 1 0 0 1 <D 18
    51    -1  1 1 0 0 1 D> 18
+   59     7  1 1 0 0 19 D>
    60     8  1 1 0 0 110 A>
    61     7  1 1 0 0 110 <B 1
+   71    -3  1 1 0 0 <B 111
    72    -4  1 1 0 <C 112
    73    -5  1 1 <D 113
    74    -4  1 1 D> 113
+   87     9  115 D>
    88    10  116 A>
    89     9  116 <B 1
+  105    -7  <B 117
   106    -8  <C 118
   107    -9  <D 119
   108    -8  1 A> 119
   109    -7  1 1 C> 118
   110    -6  1 1 0 E> 117
   111    -5  1 1 0 0 A> 116
   112    -4  1 1 0 0 1 C> 115
   113    -3  1 1 0 0 1 0 E> 114
   114    -2  1 1 0 0 1 0 0 A> 113
   115    -1  1 1 0 0 1 0 0 1 C> 112
   116     0  1 1 0 0 1 0 0 1 0 E> 111
   117     1  1 1 0 0 1 0 0 1 0 0 A> 110
   118     2  1 1 0 0 1 0 0 1 0 0 1 C> 19
   119     3  1 1 0 0 1 0 0 1 0 0 1 0 E> 18
   120     4  1 1 0 0 1 0 0 1 0 0 1 0 0 A> 17
   121     5  1 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 16
   122     6  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 15
   123     7  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 14
   124     8  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 13
   125     9  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 1 1
   126    10  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 1
   127    11  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C>
   128    10  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 1
   129    11  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 1
   130    12  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 D>
   131    13  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 A>
   132    12  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 <B 1
+  135     9  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 14
   136     8  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 15
   137     7  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 16
   138     8  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 16
+  144    14  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 17 D>
   145    15  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 A>
   146    14  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 <B 1
+  154     6  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 19
   155     5  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 110
   156     4  1 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 111
   157     5  1 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 111
+  168    16  1 1 0 0 1 0 0 1 0 0 1 0 0 112 D>
   169    17  1 1 0 0 1 0 0 1 0 0 1 0 0 113 A>
   170    16  1 1 0 0 1 0 0 1 0 0 1 0 0 113 <B 1
+  183     3  1 1 0 0 1 0 0 1 0 0 1 0 0 <B 114
   184     2  1 1 0 0 1 0 0 1 0 0 1 0 <C 115
   185     1  1 1 0 0 1 0 0 1 0 0 1 <D 116
   186     2  1 1 0 0 1 0 0 1 0 0 1 D> 116
+  202    18  1 1 0 0 1 0 0 1 0 0 117 D>
   203    19  1 1 0 0 1 0 0 1 0 0 118 A>
   204    18  1 1 0 0 1 0 0 1 0 0 118 <B 1
+  222     0  1 1 0 0 1 0 0 1 0 0 <B 119
   223    -1  1 1 0 0 1 0 0 1 0 <C 120
   224    -2  1 1 0 0 1 0 0 1 <D 121
   225    -1  1 1 0 0 1 0 0 1 D> 121
+  246    20  1 1 0 0 1 0 0 122 D>
   247    21  1 1 0 0 1 0 0 123 A>
   248    20  1 1 0 0 1 0 0 123 <B 1
+  271    -3  1 1 0 0 1 0 0 <B 124
   272    -4  1 1 0 0 1 0 <C 125
   273    -5  1 1 0 0 1 <D 126
   274    -4  1 1 0 0 1 D> 126
+  300    22  1 1 0 0 127 D>
   301    23  1 1 0 0 128 A>
   302    22  1 1 0 0 128 <B 1
+  330    -6  1 1 0 0 <B 129
   331    -7  1 1 0 <C 130
   332    -8  1 1 <D 131
   333    -7  1 1 D> 131
+  364    24  133 D>
   365    25  134 A>
   366    24  134 <B 1
+  400   -10  <B 135
   401   -11  <C 136
   402   -12  <D 137
   403   -11  1 A> 137
   404   -10  1 1 C> 136
   405    -9  1 1 0 E> 135
   406    -8  1 1 0 0 A> 134
   407    -7  1 1 0 0 1 C> 133
   408    -6  1 1 0 0 1 0 E> 132
   409    -5  1 1 0 0 1 0 0 A> 131
   410    -4  1 1 0 0 1 0 0 1 C> 130
   411    -3  1 1 0 0 1 0 0 1 0 E> 129
   412    -2  1 1 0 0 1 0 0 1 0 0 A> 128
   413    -1  1 1 0 0 1 0 0 1 0 0 1 C> 127
   414     0  1 1 0 0 1 0 0 1 0 0 1 0 E> 126
   415     1  1 1 0 0 1 0 0 1 0 0 1 0 0 A> 125
   416     2  1 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 124
   417     3  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 123
   418     4  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 122
   419     5  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 121
   420     6  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 120
   421     7  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 119
   422     8  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 118
   423     9  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 117
   424    10  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 116
   425    11  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 115
   426    12  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 114
   427    13  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 113
   428    14  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 112
   429    15  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 111
   430    16  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 110
   431    17  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 19
   432    18  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 18
   433    19  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 17
   434    20  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 16
   435    21  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 15
   436    22  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 14
   437    23  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 13
   438    24  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 1 1
   439    25  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 1
   440    26  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C>
   441    25  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 1
   442    26  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 1
   443    27  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 D>
   444    28  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 A>
   445    27  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 <B 1
+  448    24  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 14
   449    23  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 15
   450    22  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 16
   451    23  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 16
+  457    29  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 17 D>
   458    30  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 A>
   459    29  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 <B 1
+  467    21  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 19
   468    20  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 110
   469    19  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 111
   470    20  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 111
+  481    31  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 112 D>
   482    32  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 113 A>
   483    31  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 113 <B 1
+  496    18  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 114
   497    17  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 115
   498    16  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 116
   499    17  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 116
+  515    33  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 117 D>
   516    34  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 118 A>
   517    33  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 118 <B 1
+  535    15  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 119
   536    14  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 120
   537    13  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 121
   538    14  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 121
+  559    35  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 122 D>
   560    36  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 123 A>
   561    35  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 123 <B 1
+  584    12  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 124
   585    11  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 125
   586    10  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 126
   587    11  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 126
+  613    37  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 127 D>
   614    38  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 128 A>
   615    37  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 128 <B 1
+  643     9  1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 129

After 643 steps (201 lines): state = B.
Produced     37 ones.
Tape index 9, scanned [-12 .. 38].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 44 20 24 0 4
B 276 19 257 1 16
C 43 21 22 2 5
D 258 21 237 3 10
E 22   22   6
Execution statistics

The same TM just simple.
The same TM with repetitions reduced.
The same TM as 3-macro machine.
The same TM as 3-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:10:01 CEST 2010