2-state 4-symbol also formerly best (cited from P.Michel)

Comment: This TM produces 90 nonzeros in 7195 steps.

State on
0
on
1
on
2
on
3
on 0 on 1 on 2 on 3
Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 3LA 1LA 1RA 1 right B 3 left A 1 left A 1 right A
B 2LA 1RH 3RA 3RB 2 left A 1 right H 3 right A 3 right B
Transition table
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 1.

Steps BasSteps BasTpos  Tape contents
    0        0       0  A>
    1        1       1  1 B>
    2        2       0  1 <A 2
    3        3      -1  <A 3 2
    4        4       0  1 B> 3 2
    5        5       1  1 3 B> 2
    6        6       2  1 32 A>
    7        7       3  1 32 1 B>
    8        8       2  1 32 1 <A 2
    9        9       1  1 32 <A 3 2
   10       10       2  1 3 1 A> 3 2
   11       11       3  1 3 12 A> 2
   12       12       2  1 3 12 <A 1
   13       14       0  1 3 <A 32 1
   14       15       1  12 A> 32 1
   15       17       3  14 A> 1
   16       18       2  14 <A 3
   17       22      -2  <A 35
   18       23      -1  1 B> 35
   19       28       4  1 35 B>
   20       29       3  1 35 <A 2
   21       30       4  1 34 1 A> 2
   22       31       3  1 34 1 <A 1
   23       32       2  1 34 <A 3 1
   24       33       3  1 33 1 A> 3 1
   25       34       4  1 33 12 A> 1
   26       35       3  1 33 12 <A 3
   27       37       1  1 33 <A 33
   28       38       2  1 32 1 A> 33
   29       41       5  1 32 14 A>
   30       42       6  1 32 15 B>
   31       43       5  1 32 15 <A 2
   32       48       0  1 32 <A 35 2
   33       49       1  1 3 1 A> 35 2
   34       54       6  1 3 16 A> 2
   35       55       5  1 3 16 <A 1
   36       61      -1  1 3 <A 36 1
   37       62       0  12 A> 36 1
   38       68       6  18 A> 1
   39       69       5  18 <A 3
   40       77      -3  <A 39
   41       78      -2  1 B> 39
   42       87       7  1 39 B>
   43       88       6  1 39 <A 2
   44       89       7  1 38 1 A> 2
   45       90       6  1 38 1 <A 1
   46       91       5  1 38 <A 3 1
   47       92       6  1 37 1 A> 3 1
   48       93       7  1 37 12 A> 1
   49       94       6  1 37 12 <A 3
   50       96       4  1 37 <A 33
   51       97       5  1 36 1 A> 33
   52      100       8  1 36 14 A>
   53      101       9  1 36 15 B>
   54      102       8  1 36 15 <A 2
   55      107       3  1 36 <A 35 2
   56      108       4  1 35 1 A> 35 2
   57      113       9  1 35 16 A> 2
   58      114       8  1 35 16 <A 1
   59      120       2  1 35 <A 36 1
   60      121       3  1 34 1 A> 36 1
   61      127       9  1 34 17 A> 1
   62      128       8  1 34 17 <A 3
   63      135       1  1 34 <A 38
   64      136       2  1 33 1 A> 38
   65      144      10  1 33 19 A>
   66      145      11  1 33 110 B>
   67      146      10  1 33 110 <A 2
   68      156       0  1 33 <A 310 2
   69      157       1  1 32 1 A> 310 2
   70      167      11  1 32 111 A> 2
   71      168      10  1 32 111 <A 1
   72      179      -1  1 32 <A 311 1
   73      180       0  1 3 1 A> 311 1
   74      191      11  1 3 112 A> 1
   75      192      10  1 3 112 <A 3
   76      204      -2  1 3 <A 313
   77      205      -1  12 A> 313
   78      218      12  115 A>
   79      219      13  116 B>
   80      220      12  116 <A 2
   81      236      -4  <A 316 2
   82      237      -3  1 B> 316 2
   83      253      13  1 316 B> 2
   84      254      14  1 317 A>
   85      255      15  1 317 1 B>
   86      256      14  1 317 1 <A 2
   87      257      13  1 317 <A 3 2
   88      258      14  1 316 1 A> 3 2
   89      259      15  1 316 12 A> 2
   90      260      14  1 316 12 <A 1
   91      262      12  1 316 <A 32 1
   92      263      13  1 315 1 A> 32 1
   93      265      15  1 315 13 A> 1
   94      266      14  1 315 13 <A 3
   95      269      11  1 315 <A 34
   96      270      12  1 314 1 A> 34
   97      274      16  1 314 15 A>
   98      275      17  1 314 16 B>
   99      276      16  1 314 16 <A 2
  100      282      10  1 314 <A 36 2
  101      283      11  1 313 1 A> 36 2
  102      289      17  1 313 17 A> 2
  103      290      16  1 313 17 <A 1
  104      297       9  1 313 <A 37 1
  105      298      10  1 312 1 A> 37 1
  106      305      17  1 312 18 A> 1
  107      306      16  1 312 18 <A 3
  108      314       8  1 312 <A 39
  109      315       9  1 311 1 A> 39
  110      324      18  1 311 110 A>
  111      325      19  1 311 111 B>
  112      326      18  1 311 111 <A 2
  113      337       7  1 311 <A 311 2
  114      338       8  1 310 1 A> 311 2
  115      349      19  1 310 112 A> 2
  116      350      18  1 310 112 <A 1
  117      362       6  1 310 <A 312 1
  118      363       7  1 39 1 A> 312 1
  119      375      19  1 39 113 A> 1
  120      376      18  1 39 113 <A 3
  121      389       5  1 39 <A 314
  122      390       6  1 38 1 A> 314
  123      404      20  1 38 115 A>
  124      405      21  1 38 116 B>
  125      406      20  1 38 116 <A 2
  126      422       4  1 38 <A 316 2
  127      423       5  1 37 1 A> 316 2
  128      439      21  1 37 117 A> 2
  129      440      20  1 37 117 <A 1
  130      457       3  1 37 <A 317 1
  131      458       4  1 36 1 A> 317 1
  132      475      21  1 36 118 A> 1
  133      476      20  1 36 118 <A 3
  134      494       2  1 36 <A 319
  135      495       3  1 35 1 A> 319
  136      514      22  1 35 120 A>
  137      515      23  1 35 121 B>
  138      516      22  1 35 121 <A 2
  139      537       1  1 35 <A 321 2
  140      538       2  1 34 1 A> 321 2
  141      559      23  1 34 122 A> 2
  142      560      22  1 34 122 <A 1
  143      582       0  1 34 <A 322 1
  144      583       1  1 33 1 A> 322 1
  145      605      23  1 33 123 A> 1
  146      606      22  1 33 123 <A 3
  147      629      -1  1 33 <A 324
  148      630       0  1 32 1 A> 324
  149      654      24  1 32 125 A>
  150      655      25  1 32 126 B>
  151      656      24  1 32 126 <A 2
  152      682      -2  1 32 <A 326 2
  153      683      -1  1 3 1 A> 326 2
  154      709      25  1 3 127 A> 2
  155      710      24  1 3 127 <A 1
  156      737      -3  1 3 <A 327 1
  157      738      -2  12 A> 327 1
  158      765      25  129 A> 1
  159      766      24  129 <A 3
  160      795      -5  <A 330
  161      796      -4  1 B> 330
  162      826      26  1 330 B>
  163      827      25  1 330 <A 2
  164      828      26  1 329 1 A> 2
  165      829      25  1 329 1 <A 1
  166      830      24  1 329 <A 3 1
  167      831      25  1 328 1 A> 3 1
  168      832      26  1 328 12 A> 1
  169      833      25  1 328 12 <A 3
  170      835      23  1 328 <A 33
  171      836      24  1 327 1 A> 33
  172      839      27  1 327 14 A>
  173      840      28  1 327 15 B>
  174      841      27  1 327 15 <A 2
  175      846      22  1 327 <A 35 2
  176      847      23  1 326 1 A> 35 2
  177      852      28  1 326 16 A> 2
  178      853      27  1 326 16 <A 1
  179      859      21  1 326 <A 36 1
  180      860      22  1 325 1 A> 36 1
  181      866      28  1 325 17 A> 1
  182      867      27  1 325 17 <A 3
  183      874      20  1 325 <A 38
  184      875      21  1 324 1 A> 38
  185      883      29  1 324 19 A>
  186      884      30  1 324 110 B>
  187      885      29  1 324 110 <A 2
  188      895      19  1 324 <A 310 2
  189      896      20  1 323 1 A> 310 2
  190      906      30  1 323 111 A> 2
  191      907      29  1 323 111 <A 1
  192      918      18  1 323 <A 311 1
  193      919      19  1 322 1 A> 311 1
  194      930      30  1 322 112 A> 1
  195      931      29  1 322 112 <A 3
  196      943      17  1 322 <A 313
  197      944      18  1 321 1 A> 313
  198      957      31  1 321 114 A>
  199      958      32  1 321 115 B>
  200      959      31  1 321 115 <A 2

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 959
Tape index:  31
nonzeros:    38
log10(nonzeros):    1.580
log10(steps   ):    2.982

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-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
    nbs 4
    T 2-state 4-symbol also formerly best (cited from P.Michel)
    : 90 7195
    5T  1RB 3LA 1LA 1RA  2LA 1RH 3RA 3RB
    L 6
    M	201
    pref	sim
    machv TM24_b  	just simple
    machv TM24_b-r	with repetitions reduced
    machv TM24_b-1	with tape symbol exponents
    machv TM24_b-m	as 1-macro machine
    machv TM24_b-a	as 1-macro machine with pure additive config-TRs
    iam	TM24_b-m
    mtype	1
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:12:35 CEST 2010
    edate	Tue Jul  6 22:12:36 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:12:35 CEST 2010
Ready: Tue Jul 6 22:12:36 CEST 2010