TM #2 from MaBu90-Paper

Comment: Current 5-state BB co-champion
Comment: This TM produces 4098 ones in 11798826 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 A1L 1 left B 1 left A
B C1R B1R 1 right C 1 right B
C A1L D1R 1 left A 1 right D
D A1L E1R 1 left A 1 right E
E H1L C0R 1 left H 0 right C
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     0  1 C> 1
     3     1  1 1 D>
     4     0  1 1 <A 1
+    6    -2  <A 13
     7    -3  <B 14
     8    -2  1 C> 14
     9    -1  1 1 D> 13
    10     0  13 E> 1 1
    11     1  13 0 C> 1
    12     2  13 0 1 D>
    13     1  13 0 1 <A 1
    14     0  13 0 <A 1 1
    15    -1  13 <B 13
    16     0  13 B> 13
+   19     3  16 B>
    20     4  17 C>
    21     3  17 <A 1
+   28    -4  <A 18
    29    -5  <B 19
    30    -4  1 C> 19
    31    -3  1 1 D> 18
    32    -2  13 E> 17
    33    -1  13 0 C> 16
    34     0  13 0 1 D> 15
    35     1  13 0 1 1 E> 14
    36     2  13 0 1 1 0 C> 13
    37     3  13 0 1 1 0 1 D> 1 1
    38     4  13 0 1 1 0 1 1 E> 1
    39     5  13 0 1 1 0 1 1 0 C>
    40     4  13 0 1 1 0 1 1 0 <A 1
    41     3  13 0 1 1 0 1 1 <B 1 1
    42     4  13 0 1 1 0 1 1 B> 1 1
+   44     6  13 0 1 1 0 14 B>
    45     7  13 0 1 1 0 15 C>
    46     6  13 0 1 1 0 15 <A 1
+   51     1  13 0 1 1 0 <A 16
    52     0  13 0 1 1 <B 17
    53     1  13 0 1 1 B> 17
+   60     8  13 0 19 B>
    61     9  13 0 110 C>
    62     8  13 0 110 <A 1
+   72    -2  13 0 <A 111
    73    -3  13 <B 112
    74    -2  13 B> 112
+   86    10  115 B>
    87    11  116 C>
    88    10  116 <A 1
+  104    -6  <A 117
   105    -7  <B 118
   106    -6  1 C> 118
   107    -5  1 1 D> 117
   108    -4  13 E> 116
   109    -3  13 0 C> 115
   110    -2  13 0 1 D> 114
   111    -1  13 0 1 1 E> 113
   112     0  13 0 1 1 0 C> 112
   113     1  13 0 1 1 0 1 D> 111
   114     2  13 0 1 1 0 1 1 E> 110
   115     3  13 0 1 1 0 1 1 0 C> 19
   116     4  13 0 1 1 0 1 1 0 1 D> 18
   117     5  13 0 1 1 0 1 1 0 1 1 E> 17
   118     6  13 0 1 1 0 1 1 0 1 1 0 C> 16
   119     7  13 0 1 1 0 1 1 0 1 1 0 1 D> 15
   120     8  13 0 1 1 0 1 1 0 1 1 0 1 1 E> 14
   121     9  13 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 13
   122    10  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 1 1
   123    11  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 1
   124    12  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C>
   125    11  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 1
   126    10  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 1 1
   127    11  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 1 1
+  129    13  13 0 1 1 0 1 1 0 1 1 0 1 1 0 14 B>
   130    14  13 0 1 1 0 1 1 0 1 1 0 1 1 0 15 C>
   131    13  13 0 1 1 0 1 1 0 1 1 0 1 1 0 15 <A 1
+  136     8  13 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 16
   137     7  13 0 1 1 0 1 1 0 1 1 0 1 1 <B 17
   138     8  13 0 1 1 0 1 1 0 1 1 0 1 1 B> 17
+  145    15  13 0 1 1 0 1 1 0 1 1 0 19 B>
   146    16  13 0 1 1 0 1 1 0 1 1 0 110 C>
   147    15  13 0 1 1 0 1 1 0 1 1 0 110 <A 1
+  157     5  13 0 1 1 0 1 1 0 1 1 0 <A 111
   158     4  13 0 1 1 0 1 1 0 1 1 <B 112
   159     5  13 0 1 1 0 1 1 0 1 1 B> 112
+  171    17  13 0 1 1 0 1 1 0 114 B>
   172    18  13 0 1 1 0 1 1 0 115 C>
   173    17  13 0 1 1 0 1 1 0 115 <A 1
+  188     2  13 0 1 1 0 1 1 0 <A 116
   189     1  13 0 1 1 0 1 1 <B 117
   190     2  13 0 1 1 0 1 1 B> 117
+  207    19  13 0 1 1 0 119 B>
   208    20  13 0 1 1 0 120 C>
   209    19  13 0 1 1 0 120 <A 1
+  229    -1  13 0 1 1 0 <A 121
   230    -2  13 0 1 1 <B 122
   231    -1  13 0 1 1 B> 122
+  253    21  13 0 124 B>
   254    22  13 0 125 C>
   255    21  13 0 125 <A 1
+  280    -4  13 0 <A 126
   281    -5  13 <B 127
   282    -4  13 B> 127
+  309    23  130 B>
   310    24  131 C>
   311    23  131 <A 1
+  342    -8  <A 132
   343    -9  <B 133
   344    -8  1 C> 133
   345    -7  1 1 D> 132
   346    -6  13 E> 131
   347    -5  13 0 C> 130
   348    -4  13 0 1 D> 129
   349    -3  13 0 1 1 E> 128
   350    -2  13 0 1 1 0 C> 127
   351    -1  13 0 1 1 0 1 D> 126
   352     0  13 0 1 1 0 1 1 E> 125
   353     1  13 0 1 1 0 1 1 0 C> 124
   354     2  13 0 1 1 0 1 1 0 1 D> 123
   355     3  13 0 1 1 0 1 1 0 1 1 E> 122
   356     4  13 0 1 1 0 1 1 0 1 1 0 C> 121
   357     5  13 0 1 1 0 1 1 0 1 1 0 1 D> 120
   358     6  13 0 1 1 0 1 1 0 1 1 0 1 1 E> 119
   359     7  13 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 118
   360     8  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 117
   361     9  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 116
   362    10  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 115
   363    11  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 114
   364    12  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 113
   365    13  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 112
   366    14  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 111
   367    15  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 110
   368    16  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 19
   369    17  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 18
   370    18  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 17
   371    19  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 16
   372    20  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 15
   373    21  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 14
   374    22  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 13
   375    23  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 1 1
   376    24  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 1
   377    25  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C>
   378    24  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 1
   379    23  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 1 1
   380    24  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 1 1
+  382    26  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 14 B>
   383    27  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 15 C>
   384    26  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 15 <A 1
+  389    21  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 16
   390    20  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 17
   391    21  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 17
+  398    28  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 19 B>
   399    29  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 110 C>
   400    28  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 110 <A 1
+  410    18  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 111
   411    17  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 112
   412    18  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 112
+  424    30  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 114 B>
   425    31  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 115 C>
   426    30  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 115 <A 1
+  441    15  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 116
   442    14  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 117
   443    15  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 117
+  460    32  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 119 B>
   461    33  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 120 C>
   462    32  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 120 <A 1
+  482    12  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 121
   483    11  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 122
   484    12  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 122
+  506    34  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 124 B>
   507    35  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 125 C>
   508    34  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 125 <A 1
+  533     9  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 126
   534     8  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 127
   535     9  13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 127
+  562    36  13 0 1 1 0 1 1 0 1 1 0 1 1 0 129 B>
   563    37  13 0 1 1 0 1 1 0 1 1 0 1 1 0 130 C>
   564    36  13 0 1 1 0 1 1 0 1 1 0 1 1 0 130 <A 1
+  594     6  13 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 131
   595     5  13 0 1 1 0 1 1 0 1 1 0 1 1 <B 132
   596     6  13 0 1 1 0 1 1 0 1 1 0 1 1 B> 132
+  628    38  13 0 1 1 0 1 1 0 1 1 0 134 B>
   629    39  13 0 1 1 0 1 1 0 1 1 0 135 C>
   630    38  13 0 1 1 0 1 1 0 1 1 0 135 <A 1
+  665     3  13 0 1 1 0 1 1 0 1 1 0 <A 136
   666     2  13 0 1 1 0 1 1 0 1 1 <B 137
   667     3  13 0 1 1 0 1 1 0 1 1 B> 137
+  704    40  13 0 1 1 0 1 1 0 139 B>
   705    41  13 0 1 1 0 1 1 0 140 C>
   706    40  13 0 1 1 0 1 1 0 140 <A 1
+  746     0  13 0 1 1 0 1 1 0 <A 141
   747    -1  13 0 1 1 0 1 1 <B 142
   748     0  13 0 1 1 0 1 1 B> 142
+  790    42  13 0 1 1 0 144 B>
   791    43  13 0 1 1 0 145 C>
   792    42  13 0 1 1 0 145 <A 1
+  837    -3  13 0 1 1 0 <A 146
   838    -4  13 0 1 1 <B 147
   839    -3  13 0 1 1 B> 147
+  886    44  13 0 149 B>
   887    45  13 0 150 C>

After 887 steps (201 lines): state = C.
Produced     53 ones.
Tape index 45, scanned [-9 .. 44].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 397 25 372 0 4
B 401 25 376 1 15
C 45 22 23 20 2
D 23 2 21 3 9
E 21   21   10
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:03 CEST 2010