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

Comment: This TM produces 11120 nonzeros in 148,304,214 steps.

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 4LA 1LA 2LA 1RA 1 right B 4 left A 1 left A 2 left A 1 right A
B 3LA 1RH 1RA 2RA 4RB 3 left A 1 right H 1 right A 2 right A 4 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 3
    3        3      -1  <A 4 3
    4        4       0  1 B> 4 3
    5        5       1  1 4 B> 3
    6        6       2  1 4 2 A>
    7        7       3  1 4 2 1 B>
    8        8       2  1 4 2 1 <A 3
    9        9       1  1 4 2 <A 4 3
   10       10       0  1 4 <A 1 4 3
   11       11       1  12 A> 1 4 3
   12       12       0  12 <A 42 3
   13       14      -2  <A 44 3
   14       15      -1  1 B> 44 3
   15       19       3  1 44 B> 3
   16       20       4  1 44 2 A>
   17       21       5  1 44 2 1 B>
   18       22       4  1 44 2 1 <A 3
   19       23       3  1 44 2 <A 4 3
   20       24       2  1 44 <A 1 4 3
   21       25       3  1 43 1 A> 1 4 3
   22       26       2  1 43 1 <A 42 3
   23       27       1  1 43 <A 43 3
   24       28       2  1 42 1 A> 43 3
   25       31       5  1 42 14 A> 3
   26       32       4  1 42 14 <A 2
   27       36       0  1 42 <A 44 2
   28       37       1  1 4 1 A> 44 2
   29       41       5  1 4 15 A> 2
   30       42       4  1 4 15 <A 1
   31       47      -1  1 4 <A 45 1
   32       48       0  12 A> 45 1
   33       53       5  17 A> 1
   34       54       4  17 <A 4
   35       61      -3  <A 48
   36       62      -2  1 B> 48
   37       70       6  1 48 B>
   38       71       5  1 48 <A 3
   39       72       6  1 47 1 A> 3
   40       73       5  1 47 1 <A 2
   41       74       4  1 47 <A 4 2
   42       75       5  1 46 1 A> 4 2
   43       76       6  1 46 12 A> 2
   44       77       5  1 46 12 <A 1
   45       79       3  1 46 <A 42 1
   46       80       4  1 45 1 A> 42 1
   47       82       6  1 45 13 A> 1
   48       83       5  1 45 13 <A 4
   49       86       2  1 45 <A 44
   50       87       3  1 44 1 A> 44
   51       91       7  1 44 15 A>
   52       92       8  1 44 16 B>
   53       93       7  1 44 16 <A 3
   54       99       1  1 44 <A 46 3
   55      100       2  1 43 1 A> 46 3
   56      106       8  1 43 17 A> 3
   57      107       7  1 43 17 <A 2
   58      114       0  1 43 <A 47 2
   59      115       1  1 42 1 A> 47 2
   60      122       8  1 42 18 A> 2
   61      123       7  1 42 18 <A 1
   62      131      -1  1 42 <A 48 1
   63      132       0  1 4 1 A> 48 1
   64      140       8  1 4 19 A> 1
   65      141       7  1 4 19 <A 4
   66      150      -2  1 4 <A 410
   67      151      -1  12 A> 410
   68      161       9  112 A>
   69      162      10  113 B>
   70      163       9  113 <A 3
   71      176      -4  <A 413 3
   72      177      -3  1 B> 413 3
   73      190      10  1 413 B> 3
   74      191      11  1 413 2 A>
   75      192      12  1 413 2 1 B>
   76      193      11  1 413 2 1 <A 3
   77      194      10  1 413 2 <A 4 3
   78      195       9  1 413 <A 1 4 3
   79      196      10  1 412 1 A> 1 4 3
   80      197       9  1 412 1 <A 42 3
   81      198       8  1 412 <A 43 3
   82      199       9  1 411 1 A> 43 3
   83      202      12  1 411 14 A> 3
   84      203      11  1 411 14 <A 2
   85      207       7  1 411 <A 44 2
   86      208       8  1 410 1 A> 44 2
   87      212      12  1 410 15 A> 2
   88      213      11  1 410 15 <A 1
   89      218       6  1 410 <A 45 1
   90      219       7  1 49 1 A> 45 1
   91      224      12  1 49 16 A> 1
   92      225      11  1 49 16 <A 4
   93      231       5  1 49 <A 47
   94      232       6  1 48 1 A> 47
   95      239      13  1 48 18 A>
   96      240      14  1 48 19 B>
   97      241      13  1 48 19 <A 3
   98      250       4  1 48 <A 49 3
   99      251       5  1 47 1 A> 49 3
  100      260      14  1 47 110 A> 3
  101      261      13  1 47 110 <A 2
  102      271       3  1 47 <A 410 2
  103      272       4  1 46 1 A> 410 2
  104      282      14  1 46 111 A> 2
  105      283      13  1 46 111 <A 1
  106      294       2  1 46 <A 411 1
  107      295       3  1 45 1 A> 411 1
  108      306      14  1 45 112 A> 1
  109      307      13  1 45 112 <A 4
  110      319       1  1 45 <A 413
  111      320       2  1 44 1 A> 413
  112      333      15  1 44 114 A>
  113      334      16  1 44 115 B>
  114      335      15  1 44 115 <A 3
  115      350       0  1 44 <A 415 3
  116      351       1  1 43 1 A> 415 3
  117      366      16  1 43 116 A> 3
  118      367      15  1 43 116 <A 2
  119      383      -1  1 43 <A 416 2
  120      384       0  1 42 1 A> 416 2
  121      400      16  1 42 117 A> 2
  122      401      15  1 42 117 <A 1
  123      418      -2  1 42 <A 417 1
  124      419      -1  1 4 1 A> 417 1
  125      436      16  1 4 118 A> 1
  126      437      15  1 4 118 <A 4
  127      455      -3  1 4 <A 419
  128      456      -2  12 A> 419
  129      475      17  121 A>
  130      476      18  122 B>
  131      477      17  122 <A 3
  132      499      -5  <A 422 3
  133      500      -4  1 B> 422 3
  134      522      18  1 422 B> 3
  135      523      19  1 422 2 A>
  136      524      20  1 422 2 1 B>
  137      525      19  1 422 2 1 <A 3
  138      526      18  1 422 2 <A 4 3
  139      527      17  1 422 <A 1 4 3
  140      528      18  1 421 1 A> 1 4 3
  141      529      17  1 421 1 <A 42 3
  142      530      16  1 421 <A 43 3
  143      531      17  1 420 1 A> 43 3
  144      534      20  1 420 14 A> 3
  145      535      19  1 420 14 <A 2
  146      539      15  1 420 <A 44 2
  147      540      16  1 419 1 A> 44 2
  148      544      20  1 419 15 A> 2
  149      545      19  1 419 15 <A 1
  150      550      14  1 419 <A 45 1
  151      551      15  1 418 1 A> 45 1
  152      556      20  1 418 16 A> 1
  153      557      19  1 418 16 <A 4
  154      563      13  1 418 <A 47
  155      564      14  1 417 1 A> 47
  156      571      21  1 417 18 A>
  157      572      22  1 417 19 B>
  158      573      21  1 417 19 <A 3
  159      582      12  1 417 <A 49 3
  160      583      13  1 416 1 A> 49 3
  161      592      22  1 416 110 A> 3
  162      593      21  1 416 110 <A 2
  163      603      11  1 416 <A 410 2
  164      604      12  1 415 1 A> 410 2
  165      614      22  1 415 111 A> 2
  166      615      21  1 415 111 <A 1
  167      626      10  1 415 <A 411 1
  168      627      11  1 414 1 A> 411 1
  169      638      22  1 414 112 A> 1
  170      639      21  1 414 112 <A 4
  171      651       9  1 414 <A 413
  172      652      10  1 413 1 A> 413
  173      665      23  1 413 114 A>
  174      666      24  1 413 115 B>
  175      667      23  1 413 115 <A 3
  176      682       8  1 413 <A 415 3
  177      683       9  1 412 1 A> 415 3
  178      698      24  1 412 116 A> 3
  179      699      23  1 412 116 <A 2
  180      715       7  1 412 <A 416 2
  181      716       8  1 411 1 A> 416 2
  182      732      24  1 411 117 A> 2
  183      733      23  1 411 117 <A 1
  184      750       6  1 411 <A 417 1
  185      751       7  1 410 1 A> 417 1
  186      768      24  1 410 118 A> 1
  187      769      23  1 410 118 <A 4
  188      787       5  1 410 <A 419
  189      788       6  1 49 1 A> 419
  190      807      25  1 49 120 A>
  191      808      26  1 49 121 B>
  192      809      25  1 49 121 <A 3
  193      830       4  1 49 <A 421 3
  194      831       5  1 48 1 A> 421 3
  195      852      26  1 48 122 A> 3
  196      853      25  1 48 122 <A 2
  197      875       3  1 48 <A 422 2
  198      876       4  1 47 1 A> 422 2
  199      898      26  1 47 123 A> 2
  200      899      25  1 47 123 <A 1

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 899
Tape index:  25
nonzeros:    32
log10(nonzeros):    1.505
log10(steps   ):    2.954

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 #c from T.J. & S. Ligocki
    : 11120 148,304,214
    5T  1RB 4LA 1LA 2LA 1RA  3LA 1RH 1RA 2RA 4RB
    L 10
    M	201
    pref	sim
    machv Lig25_c  	just simple
    machv Lig25_c-r	with repetitions reduced
    machv Lig25_c-1	with tape symbol exponents
    machv Lig25_c-m	as 1-macro machine
    machv Lig25_c-a	as 1-macro machine with pure additive config-TRs
    iam	Lig25_c-m
    mtype	1
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:12:41 CEST 2010
    edate	Tue Jul  6 22:12:41 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:41 CEST 2010
Ready: Tue Jul 6 22:12:41 CEST 2010