TM #1 from MaBu90-Paper

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

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.
The same TM with tape symbol exponents.
Simulation is done as 3-macro machine.
The same TM as 3-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 3.

Steps BasSteps BasTpos  Tape contents
    0        0       0  A>
    1        1      -1  <B 100
    2        6       0  110 E> 100
    3        9      -1  110 <C 110
    4       12       0  111 D> 110
    5       15       3  1112 A>
    6       16       2  1112 <B 100
    7       22      -4  <B 1112 100
    8       27      -3  110 E> 1112 100
    9       33       3  110 0102 E> 100
   10       36       2  110 0102 <C 110
   11       39       3  110 010 011 D> 110
   12       42       6  110 010 011 111 A>
   13       43       5  110 010 011 111 <B 100
   14       46       2  110 010 011 <B 111 100
   15       49      -1  110 010 <C 1112 100
   16       52       0  110 011 D> 1112 100
   17       58       6  110 011 1112 D> 100
   18       63       5  110 011 1112 <B 111
   19       69      -1  110 011 <B 1113
   20       72      -4  110 <C 1114
   21       75      -3  111 D> 1114
   22       87       9  1115 D>
   23       90       8  1115 <B 110
   24      105      -7  <B 1115 110
   25      110      -6  110 E> 1115 110
   26      125       9  110 0105 E> 110
   27      130      12  110 0105 011 D>
   28      133      11  110 0105 011 <B 110
   29      136       8  110 0105 <C 111 110
   30      139       9  110 0104 011 D> 111 110
   31      142      12  110 0104 011 111 D> 110
   32      145      15  110 0104 011 1112 A>
   33      146      14  110 0104 011 1112 <B 100
   34      152       8  110 0104 011 <B 1112 100
   35      155       5  110 0104 <C 1113 100
   36      158       6  110 0103 011 D> 1113 100
   37      167      15  110 0103 011 1113 D> 100
   38      172      14  110 0103 011 1113 <B 111
   39      181       5  110 0103 011 <B 1114
   40      184       2  110 0103 <C 1115
   41      187       3  110 0102 011 D> 1115
   42      202      18  110 0102 011 1115 D>
   43      205      17  110 0102 011 1115 <B 110
   44      220       2  110 0102 011 <B 1115 110
   45      223      -1  110 0102 <C 1116 110
   46      226       0  110 010 011 D> 1116 110
   47      244      18  110 010 011 1116 D> 110
   48      247      21  110 010 011 1117 A>
   49      248      20  110 010 011 1117 <B 100
   50      269      -1  110 010 011 <B 1117 100
   51      272      -4  110 010 <C 1118 100
   52      275      -3  110 011 D> 1118 100
   53      299      21  110 011 1118 D> 100
   54      304      20  110 011 1118 <B 111
   55      328      -4  110 011 <B 1119
   56      331      -7  110 <C 11110
   57      334      -6  111 D> 11110
   58      364      24  11111 D>
   59      367      23  11111 <B 110
   60      400     -10  <B 11111 110
   61      405      -9  110 E> 11111 110
   62      438      24  110 01011 E> 110
   63      443      27  110 01011 011 D>
   64      446      26  110 01011 011 <B 110
   65      449      23  110 01011 <C 111 110
   66      452      24  110 01010 011 D> 111 110
   67      455      27  110 01010 011 111 D> 110
   68      458      30  110 01010 011 1112 A>
   69      459      29  110 01010 011 1112 <B 100
   70      465      23  110 01010 011 <B 1112 100
   71      468      20  110 01010 <C 1113 100
   72      471      21  110 0109 011 D> 1113 100
   73      480      30  110 0109 011 1113 D> 100
   74      485      29  110 0109 011 1113 <B 111
   75      494      20  110 0109 011 <B 1114
   76      497      17  110 0109 <C 1115
   77      500      18  110 0108 011 D> 1115
   78      515      33  110 0108 011 1115 D>
   79      518      32  110 0108 011 1115 <B 110
   80      533      17  110 0108 011 <B 1115 110
   81      536      14  110 0108 <C 1116 110
   82      539      15  110 0107 011 D> 1116 110
   83      557      33  110 0107 011 1116 D> 110
   84      560      36  110 0107 011 1117 A>
   85      561      35  110 0107 011 1117 <B 100
   86      582      14  110 0107 011 <B 1117 100
   87      585      11  110 0107 <C 1118 100
   88      588      12  110 0106 011 D> 1118 100
   89      612      36  110 0106 011 1118 D> 100
   90      617      35  110 0106 011 1118 <B 111
   91      641      11  110 0106 011 <B 1119
   92      644       8  110 0106 <C 11110
   93      647       9  110 0105 011 D> 11110
   94      677      39  110 0105 011 11110 D>
   95      680      38  110 0105 011 11110 <B 110
   96      710       8  110 0105 011 <B 11110 110
   97      713       5  110 0105 <C 11111 110
   98      716       6  110 0104 011 D> 11111 110
   99      749      39  110 0104 011 11111 D> 110
  100      752      42  110 0104 011 11112 A>
  101      753      41  110 0104 011 11112 <B 100
  102      789       5  110 0104 011 <B 11112 100
  103      792       2  110 0104 <C 11113 100
  104      795       3  110 0103 011 D> 11113 100
  105      834      42  110 0103 011 11113 D> 100
  106      839      41  110 0103 011 11113 <B 111
  107      878       2  110 0103 011 <B 11114
  108      881      -1  110 0103 <C 11115
  109      884       0  110 0102 011 D> 11115
  110      929      45  110 0102 011 11115 D>
  111      932      44  110 0102 011 11115 <B 110
  112      977      -1  110 0102 011 <B 11115 110
  113      980      -4  110 0102 <C 11116 110
  114      983      -3  110 010 011 D> 11116 110
  115     1031      45  110 010 011 11116 D> 110
  116     1034      48  110 010 011 11117 A>
  117     1035      47  110 010 011 11117 <B 100
  118     1086      -4  110 010 011 <B 11117 100
  119     1089      -7  110 010 <C 11118 100
  120     1092      -6  110 011 D> 11118 100
  121     1146      48  110 011 11118 D> 100
  122     1151      47  110 011 11118 <B 111
  123     1205      -7  110 011 <B 11119
  124     1208     -10  110 <C 11120
  125     1211      -9  111 D> 11120
  126     1271      51  11121 D>
  127     1274      50  11121 <B 110
  128     1337     -13  <B 11121 110
  129     1342     -12  110 E> 11121 110
  130     1405      51  110 01021 E> 110
  131     1410      54  110 01021 011 D>
  132     1413      53  110 01021 011 <B 110
  133     1416      50  110 01021 <C 111 110
  134     1419      51  110 01020 011 D> 111 110
  135     1422      54  110 01020 011 111 D> 110
  136     1425      57  110 01020 011 1112 A>
  137     1426      56  110 01020 011 1112 <B 100
  138     1432      50  110 01020 011 <B 1112 100
  139     1435      47  110 01020 <C 1113 100
  140     1438      48  110 01019 011 D> 1113 100
  141     1447      57  110 01019 011 1113 D> 100
  142     1452      56  110 01019 011 1113 <B 111
  143     1461      47  110 01019 011 <B 1114
  144     1464      44  110 01019 <C 1115
  145     1467      45  110 01018 011 D> 1115
  146     1482      60  110 01018 011 1115 D>
  147     1485      59  110 01018 011 1115 <B 110
  148     1500      44  110 01018 011 <B 1115 110
  149     1503      41  110 01018 <C 1116 110
  150     1506      42  110 01017 011 D> 1116 110
  151     1524      60  110 01017 011 1116 D> 110
  152     1527      63  110 01017 011 1117 A>
  153     1528      62  110 01017 011 1117 <B 100
  154     1549      41  110 01017 011 <B 1117 100
  155     1552      38  110 01017 <C 1118 100
  156     1555      39  110 01016 011 D> 1118 100
  157     1579      63  110 01016 011 1118 D> 100
  158     1584      62  110 01016 011 1118 <B 111
  159     1608      38  110 01016 011 <B 1119
  160     1611      35  110 01016 <C 11110
  161     1614      36  110 01015 011 D> 11110
  162     1644      66  110 01015 011 11110 D>
  163     1647      65  110 01015 011 11110 <B 110
  164     1677      35  110 01015 011 <B 11110 110
  165     1680      32  110 01015 <C 11111 110
  166     1683      33  110 01014 011 D> 11111 110
  167     1716      66  110 01014 011 11111 D> 110
  168     1719      69  110 01014 011 11112 A>
  169     1720      68  110 01014 011 11112 <B 100
  170     1756      32  110 01014 011 <B 11112 100
  171     1759      29  110 01014 <C 11113 100
  172     1762      30  110 01013 011 D> 11113 100
  173     1801      69  110 01013 011 11113 D> 100
  174     1806      68  110 01013 011 11113 <B 111
  175     1845      29  110 01013 011 <B 11114
  176     1848      26  110 01013 <C 11115
  177     1851      27  110 01012 011 D> 11115
  178     1896      72  110 01012 011 11115 D>
  179     1899      71  110 01012 011 11115 <B 110
  180     1944      26  110 01012 011 <B 11115 110
  181     1947      23  110 01012 <C 11116 110
  182     1950      24  110 01011 011 D> 11116 110
  183     1998      72  110 01011 011 11116 D> 110
  184     2001      75  110 01011 011 11117 A>
  185     2002      74  110 01011 011 11117 <B 100
  186     2053      23  110 01011 011 <B 11117 100
  187     2056      20  110 01011 <C 11118 100
  188     2059      21  110 01010 011 D> 11118 100
  189     2113      75  110 01010 011 11118 D> 100
  190     2118      74  110 01010 011 11118 <B 111
  191     2172      20  110 01010 011 <B 11119
  192     2175      17  110 01010 <C 11120
  193     2178      18  110 0109 011 D> 11120
  194     2238      78  110 0109 011 11120 D>
  195     2241      77  110 0109 011 11120 <B 110
  196     2301      17  110 0109 011 <B 11120 110
  197     2304      14  110 0109 <C 11121 110
  198     2307      15  110 0108 011 D> 11121 110
  199     2370      78  110 0108 011 11121 D> 110
  200     2373      81  110 0108 011 11122 A>

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 2373
Tape index:  81
ones:        78
log10(ones    ):    1.892
log10(steps   ):    3.375

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
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.
Input to awk program:
    gohalt 1
    C	Current 5-state BB champion for ones and steps
    5T B1L C1R C1L B1L D1L E0R A1R D1R H1L A0R : 4098 47176870
    T TM #1 from MaBu90-Paper
    M	201
    pref	sim
    machv mbP_1  	just simple
    machv mbP_1-r	with repetitions reduced
    machv mbP_1-1	with tape symbol exponents
    machv mbP_1-m	as 3-macro machine
    machv mbP_1-a	as 3-macro machine with pure additive config-TRs
    iam	mbP_1-m
    mtype	3
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:10:02 CEST 2010
    edate	Tue Jul  6 22:10:02 CEST 2010
    bnspeed	1

Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $ $Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $ $Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $ $Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $ $Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $ $Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $ bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:10:02 CEST 2010
Ready: Tue Jul 6 22:10:02 CEST 2010