2-state 5-symbol #n from T.J. & S. Ligocki

Comment: This TM produces >1.7x10^352 nonzeros in >1.9x10^704 steps.
Comment: This is a current 2x5 champion

State on
0
on
1
on
2
on
3
on
4
on 0 on 1 on 2 on 3 on 4
Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 2LA 1RA 2LB 2LA 1 right B 2 left A 1 right A 2 left B 2 left A
B 0LA 2RB 3RB 4RA 1RH 0 left A 2 right B 3 right B 4 right A 1 right H
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
    3        3      -1  <A 2
    4        4       0  1 B> 2
    5        5       1  1 3 B>
    6        6       0  1 3 <A
    7        7      -1  1 <B 2
    8        8       0  2 B> 2
    9        9       1  2 3 B>
   10       10       0  2 3 <A
   11       11      -1  2 <B 2
   12       12       0  3 B> 2
   13       13       1  32 B>
   14       14       0  32 <A
   15       15      -1  3 <B 2
   16       16       0  4 A> 2
   17       17       1  4 1 A>
   18       18       2  4 12 B>
   19       19       1  4 12 <A
   20       21      -1  4 <A 22
   21       22      -2  <A 23
   22       23      -1  1 B> 23
   23       26       2  1 33 B>
   24       27       1  1 33 <A
   25       28       0  1 32 <B 2
   26       29       1  1 3 4 A> 2
   27       30       2  1 3 4 1 A>
   28       31       3  1 3 4 12 B>
   29       32       2  1 3 4 12 <A
   30       34       0  1 3 4 <A 22
   31       35      -1  1 3 <A 23
   32       36      -2  1 <B 24
   33       37      -1  2 B> 24
   34       41       3  2 34 B>
   35       42       2  2 34 <A
   36       43       1  2 33 <B 2
   37       44       2  2 32 4 A> 2
   38       45       3  2 32 4 1 A>
   39       46       4  2 32 4 12 B>
   40       47       3  2 32 4 12 <A
   41       49       1  2 32 4 <A 22
   42       50       0  2 32 <A 23
   43       51      -1  2 3 <B 24
   44       52       0  2 4 A> 24
   45       56       4  2 4 14 A>
   46       57       5  2 4 15 B>
   47       58       4  2 4 15 <A
   48       63      -1  2 4 <A 25
   49       64      -2  2 <A 26
   50       65      -1  1 A> 26
   51       71       5  17 A>
   52       72       6  18 B>
   53       73       5  18 <A
   54       81      -3  <A 28
   55       82      -2  1 B> 28
   56       90       6  1 38 B>
   57       91       5  1 38 <A
   58       92       4  1 37 <B 2
   59       93       5  1 36 4 A> 2
   60       94       6  1 36 4 1 A>
   61       95       7  1 36 4 12 B>
   62       96       6  1 36 4 12 <A
   63       98       4  1 36 4 <A 22
   64       99       3  1 36 <A 23
   65      100       2  1 35 <B 24
   66      101       3  1 34 4 A> 24
   67      105       7  1 34 4 14 A>
   68      106       8  1 34 4 15 B>
   69      107       7  1 34 4 15 <A
   70      112       2  1 34 4 <A 25
   71      113       1  1 34 <A 26
   72      114       0  1 33 <B 27
   73      115       1  1 32 4 A> 27
   74      122       8  1 32 4 17 A>
   75      123       9  1 32 4 18 B>
   76      124       8  1 32 4 18 <A
   77      132       0  1 32 4 <A 28
   78      133      -1  1 32 <A 29
   79      134      -2  1 3 <B 210
   80      135      -1  1 4 A> 210
   81      145       9  1 4 110 A>
   82      146      10  1 4 111 B>
   83      147       9  1 4 111 <A
   84      158      -2  1 4 <A 211
   85      159      -3  1 <A 212
   86      160      -4  <A 213
   87      161      -3  1 B> 213
   88      174      10  1 313 B>
   89      175       9  1 313 <A
   90      176       8  1 312 <B 2
   91      177       9  1 311 4 A> 2
   92      178      10  1 311 4 1 A>
   93      179      11  1 311 4 12 B>
   94      180      10  1 311 4 12 <A
   95      182       8  1 311 4 <A 22
   96      183       7  1 311 <A 23
   97      184       6  1 310 <B 24
   98      185       7  1 39 4 A> 24
   99      189      11  1 39 4 14 A>
  100      190      12  1 39 4 15 B>
  101      191      11  1 39 4 15 <A
  102      196       6  1 39 4 <A 25
  103      197       5  1 39 <A 26
  104      198       4  1 38 <B 27
  105      199       5  1 37 4 A> 27
  106      206      12  1 37 4 17 A>
  107      207      13  1 37 4 18 B>
  108      208      12  1 37 4 18 <A
  109      216       4  1 37 4 <A 28
  110      217       3  1 37 <A 29
  111      218       2  1 36 <B 210
  112      219       3  1 35 4 A> 210
  113      229      13  1 35 4 110 A>
  114      230      14  1 35 4 111 B>
  115      231      13  1 35 4 111 <A
  116      242       2  1 35 4 <A 211
  117      243       1  1 35 <A 212
  118      244       0  1 34 <B 213
  119      245       1  1 33 4 A> 213
  120      258      14  1 33 4 113 A>
  121      259      15  1 33 4 114 B>
  122      260      14  1 33 4 114 <A
  123      274       0  1 33 4 <A 214
  124      275      -1  1 33 <A 215
  125      276      -2  1 32 <B 216
  126      277      -1  1 3 4 A> 216
  127      293      15  1 3 4 116 A>
  128      294      16  1 3 4 117 B>
  129      295      15  1 3 4 117 <A
  130      312      -2  1 3 4 <A 217
  131      313      -3  1 3 <A 218
  132      314      -4  1 <B 219
  133      315      -3  2 B> 219
  134      334      16  2 319 B>
  135      335      15  2 319 <A
  136      336      14  2 318 <B 2
  137      337      15  2 317 4 A> 2
  138      338      16  2 317 4 1 A>
  139      339      17  2 317 4 12 B>
  140      340      16  2 317 4 12 <A
  141      342      14  2 317 4 <A 22
  142      343      13  2 317 <A 23
  143      344      12  2 316 <B 24
  144      345      13  2 315 4 A> 24
  145      349      17  2 315 4 14 A>
  146      350      18  2 315 4 15 B>
  147      351      17  2 315 4 15 <A
  148      356      12  2 315 4 <A 25
  149      357      11  2 315 <A 26
  150      358      10  2 314 <B 27
  151      359      11  2 313 4 A> 27
  152      366      18  2 313 4 17 A>
  153      367      19  2 313 4 18 B>
  154      368      18  2 313 4 18 <A
  155      376      10  2 313 4 <A 28
  156      377       9  2 313 <A 29
  157      378       8  2 312 <B 210
  158      379       9  2 311 4 A> 210
  159      389      19  2 311 4 110 A>
  160      390      20  2 311 4 111 B>
  161      391      19  2 311 4 111 <A
  162      402       8  2 311 4 <A 211
  163      403       7  2 311 <A 212
  164      404       6  2 310 <B 213
  165      405       7  2 39 4 A> 213
  166      418      20  2 39 4 113 A>
  167      419      21  2 39 4 114 B>
  168      420      20  2 39 4 114 <A
  169      434       6  2 39 4 <A 214
  170      435       5  2 39 <A 215
  171      436       4  2 38 <B 216
  172      437       5  2 37 4 A> 216
  173      453      21  2 37 4 116 A>
  174      454      22  2 37 4 117 B>
  175      455      21  2 37 4 117 <A
  176      472       4  2 37 4 <A 217
  177      473       3  2 37 <A 218
  178      474       2  2 36 <B 219
  179      475       3  2 35 4 A> 219
  180      494      22  2 35 4 119 A>
  181      495      23  2 35 4 120 B>
  182      496      22  2 35 4 120 <A
  183      516       2  2 35 4 <A 220
  184      517       1  2 35 <A 221
  185      518       0  2 34 <B 222
  186      519       1  2 33 4 A> 222
  187      541      23  2 33 4 122 A>
  188      542      24  2 33 4 123 B>
  189      543      23  2 33 4 123 <A
  190      566       0  2 33 4 <A 223
  191      567      -1  2 33 <A 224
  192      568      -2  2 32 <B 225
  193      569      -1  2 3 4 A> 225
  194      594      24  2 3 4 125 A>
  195      595      25  2 3 4 126 B>
  196      596      24  2 3 4 126 <A
  197      622      -2  2 3 4 <A 226
  198      623      -3  2 3 <A 227
  199      624      -4  2 <B 228
  200      625      -3  3 B> 228

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 625
Tape index:  -3
nonzeros:    29
log10(nonzeros):    1.462
log10(steps   ):    2.796

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 5
    T 2-state 5-symbol #n from T.J. & S. Ligocki
    5T  1RB 2LA 1RA 2LB 2LA  0LA 2RB 3RB 4RA 1RH
    : >1.7x10^352  >1.9x10^704
    C This is a current 2x5 champion
    L 4
    M	201
    pref	sim
    machv Lig25_n  	just simple
    machv Lig25_n-r	with repetitions reduced
    machv Lig25_n-1	with tape symbol exponents
    machv Lig25_n-m	as 1-macro machine
    machv Lig25_n-a	as 1-macro machine with pure additive config-TRs
    iam	Lig25_n-m
    mtype	1
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:13:09 CEST 2010
    edate	Tue Jul  6 22:13:10 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:13:09 CEST 2010
Ready: Tue Jul 6 22:13:10 CEST 2010