4-state 3-symbol #d (T.J. & S. Ligocki)

Comment: This TM produces >8.0x10^986 nonzeros in >3.7x10^1973 steps.

State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A 1RB 1RA 0LB 1 right B 1 right A 0 left B
B 2LC 1LB 1RC 2 left C 1 left B 1 right C
C 0RD 2LC 1RA 0 right D 2 left C 1 right A
D 2RA 1RH 1RC 2 right A 1 right H 1 right C
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-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.

Steps BasSteps BasTpos  Tape contents
    0        0       0  (0)A>
    1        1       1  (1)B>
    2        3      -1  <C(2) 2
    3        5       1  (1)C> 2
    4        6       2  1 (1)A>
    5        7       3  12 (1)B>
    6        9       1  12 <C(2) 2
    7       11      -1  <C(2) 23
    8       13       1  (1)C> 23
    9       14       2  1 (1)A> 22
   10       16       0  1 <B(1) 0 2
   11       17      -1  <B(1) 1 0 2
   12       18      -2  <C(2) 12 0 2
   13       20       0  (1)C> 12 0 2
   14       22      -2  <C(2) 2 1 0 2
   15       24       0  (1)C> 2 1 0 2
   16       25       1  1 (1)A> 1 0 2
   17       26       2  12 (1)A> 0 2
   18       27       3  13 (1)B> 2
   19       28       4  14 (1)C>
   20       29       5  15 (0)D>
   21       30       6  15 0 (2)A>
   22       31       7  15 0 2 (1)B>
   23       33       5  15 0 2 <C(2) 2
   24       36       4  15 0 <B(1) 0 2
   25       37       3  15 <C(2) 1 0 2
   26       42      -2  <C(2) 25 1 0 2
   27       44       0  (1)C> 25 1 0 2
   28       45       1  1 (1)A> 24 1 0 2
   29       47      -1  1 <B(1) 0 23 1 0 2
   30       48      -2  <B(1) 1 0 23 1 0 2
   31       49      -3  <C(2) 12 0 23 1 0 2
   32       51      -1  (1)C> 12 0 23 1 0 2
   33       53      -3  <C(2) 2 1 0 23 1 0 2
   34       55      -1  (1)C> 2 1 0 23 1 0 2
   35       56       0  1 (1)A> 1 0 23 1 0 2
   36       57       1  12 (1)A> 0 23 1 0 2
   37       58       2  13 (1)B> 23 1 0 2
   38       59       3  14 (1)C> 22 1 0 2
   39       60       4  15 (1)A> 2 1 0 2
   40       62       2  15 <B(1) 0 1 0 2
   41       67      -3  <B(1) 15 0 1 0 2
   42       68      -4  <C(2) 16 0 1 0 2
   43       70      -2  (1)C> 16 0 1 0 2
   44       72      -4  <C(2) 2 15 0 1 0 2
   45       74      -2  (1)C> 2 15 0 1 0 2
   46       75      -1  1 (1)A> 15 0 1 0 2
   47       80       4  16 (1)A> 0 1 0 2
   48       81       5  17 (1)B> 1 0 2
   49       83       3  17 <B(1) 1 0 2
   50       90      -4  <B(1) 18 0 2
   51       91      -5  <C(2) 19 0 2
   52       93      -3  (1)C> 19 0 2
   53       95      -5  <C(2) 2 18 0 2
   54       97      -3  (1)C> 2 18 0 2
   55       98      -2  1 (1)A> 18 0 2
   56      106       6  19 (1)A> 0 2
   57      107       7  110 (1)B> 2
   58      108       8  111 (1)C>
   59      109       9  112 (0)D>
   60      110      10  112 0 (2)A>
   61      111      11  112 0 2 (1)B>
   62      113       9  112 0 2 <C(2) 2
   63      116       8  112 0 <B(1) 0 2
   64      117       7  112 <C(2) 1 0 2
   65      129      -5  <C(2) 212 1 0 2
   66      131      -3  (1)C> 212 1 0 2
   67      132      -2  1 (1)A> 211 1 0 2
   68      134      -4  1 <B(1) 0 210 1 0 2
   69      135      -5  <B(1) 1 0 210 1 0 2
   70      136      -6  <C(2) 12 0 210 1 0 2
   71      138      -4  (1)C> 12 0 210 1 0 2
   72      140      -6  <C(2) 2 1 0 210 1 0 2
   73      142      -4  (1)C> 2 1 0 210 1 0 2
   74      143      -3  1 (1)A> 1 0 210 1 0 2
   75      144      -2  12 (1)A> 0 210 1 0 2
   76      145      -1  13 (1)B> 210 1 0 2
   77      146       0  14 (1)C> 29 1 0 2
   78      147       1  15 (1)A> 28 1 0 2
   79      149      -1  15 <B(1) 0 27 1 0 2
   80      154      -6  <B(1) 15 0 27 1 0 2
   81      155      -7  <C(2) 16 0 27 1 0 2
   82      157      -5  (1)C> 16 0 27 1 0 2
   83      159      -7  <C(2) 2 15 0 27 1 0 2
   84      161      -5  (1)C> 2 15 0 27 1 0 2
   85      162      -4  1 (1)A> 15 0 27 1 0 2
   86      167       1  16 (1)A> 0 27 1 0 2
   87      168       2  17 (1)B> 27 1 0 2
   88      169       3  18 (1)C> 26 1 0 2
   89      170       4  19 (1)A> 25 1 0 2
   90      172       2  19 <B(1) 0 24 1 0 2
   91      181      -7  <B(1) 19 0 24 1 0 2
   92      182      -8  <C(2) 110 0 24 1 0 2
   93      184      -6  (1)C> 110 0 24 1 0 2
   94      186      -8  <C(2) 2 19 0 24 1 0 2
   95      188      -6  (1)C> 2 19 0 24 1 0 2
   96      189      -5  1 (1)A> 19 0 24 1 0 2
   97      198       4  110 (1)A> 0 24 1 0 2
   98      199       5  111 (1)B> 24 1 0 2
   99      200       6  112 (1)C> 23 1 0 2
  100      201       7  113 (1)A> 22 1 0 2
  101      203       5  113 <B(1) 0 2 1 0 2
  102      216      -8  <B(1) 113 0 2 1 0 2
  103      217      -9  <C(2) 114 0 2 1 0 2
  104      219      -7  (1)C> 114 0 2 1 0 2
  105      221      -9  <C(2) 2 113 0 2 1 0 2
  106      223      -7  (1)C> 2 113 0 2 1 0 2
  107      224      -6  1 (1)A> 113 0 2 1 0 2
  108      237       7  114 (1)A> 0 2 1 0 2
  109      238       8  115 (1)B> 2 1 0 2
  110      239       9  116 (1)C> 1 0 2
  111      241       7  116 <C(2) 2 0 2
  112      257      -9  <C(2) 217 0 2
  113      259      -7  (1)C> 217 0 2
  114      260      -6  1 (1)A> 216 0 2
  115      262      -8  1 <B(1) 0 215 0 2
  116      263      -9  <B(1) 1 0 215 0 2
  117      264     -10  <C(2) 12 0 215 0 2
  118      266      -8  (1)C> 12 0 215 0 2
  119      268     -10  <C(2) 2 1 0 215 0 2
  120      270      -8  (1)C> 2 1 0 215 0 2
  121      271      -7  1 (1)A> 1 0 215 0 2
  122      272      -6  12 (1)A> 0 215 0 2
  123      273      -5  13 (1)B> 215 0 2
  124      274      -4  14 (1)C> 214 0 2
  125      275      -3  15 (1)A> 213 0 2
  126      277      -5  15 <B(1) 0 212 0 2
  127      282     -10  <B(1) 15 0 212 0 2
  128      283     -11  <C(2) 16 0 212 0 2
  129      285      -9  (1)C> 16 0 212 0 2
  130      287     -11  <C(2) 2 15 0 212 0 2
  131      289      -9  (1)C> 2 15 0 212 0 2
  132      290      -8  1 (1)A> 15 0 212 0 2
  133      295      -3  16 (1)A> 0 212 0 2
  134      296      -2  17 (1)B> 212 0 2
  135      297      -1  18 (1)C> 211 0 2
  136      298       0  19 (1)A> 210 0 2
  137      300      -2  19 <B(1) 0 29 0 2
  138      309     -11  <B(1) 19 0 29 0 2
  139      310     -12  <C(2) 110 0 29 0 2
  140      312     -10  (1)C> 110 0 29 0 2
  141      314     -12  <C(2) 2 19 0 29 0 2
  142      316     -10  (1)C> 2 19 0 29 0 2
  143      317      -9  1 (1)A> 19 0 29 0 2
  144      326       0  110 (1)A> 0 29 0 2
  145      327       1  111 (1)B> 29 0 2
  146      328       2  112 (1)C> 28 0 2
  147      329       3  113 (1)A> 27 0 2
  148      331       1  113 <B(1) 0 26 0 2
  149      344     -12  <B(1) 113 0 26 0 2
  150      345     -13  <C(2) 114 0 26 0 2
  151      347     -11  (1)C> 114 0 26 0 2
  152      349     -13  <C(2) 2 113 0 26 0 2
  153      351     -11  (1)C> 2 113 0 26 0 2
  154      352     -10  1 (1)A> 113 0 26 0 2
  155      365       3  114 (1)A> 0 26 0 2
  156      366       4  115 (1)B> 26 0 2
  157      367       5  116 (1)C> 25 0 2
  158      368       6  117 (1)A> 24 0 2
  159      370       4  117 <B(1) 0 23 0 2
  160      387     -13  <B(1) 117 0 23 0 2
  161      388     -14  <C(2) 118 0 23 0 2
  162      390     -12  (1)C> 118 0 23 0 2
  163      392     -14  <C(2) 2 117 0 23 0 2
  164      394     -12  (1)C> 2 117 0 23 0 2
  165      395     -11  1 (1)A> 117 0 23 0 2
  166      412       6  118 (1)A> 0 23 0 2
  167      413       7  119 (1)B> 23 0 2
  168      414       8  120 (1)C> 22 0 2
  169      415       9  121 (1)A> 2 0 2
  170      417       7  121 <B(1) 02 2
  171      438     -14  <B(1) 121 02 2
  172      439     -15  <C(2) 122 02 2
  173      441     -13  (1)C> 122 02 2
  174      443     -15  <C(2) 2 121 02 2
  175      445     -13  (1)C> 2 121 02 2
  176      446     -12  1 (1)A> 121 02 2
  177      467       9  122 (1)A> 02 2
  178      468      10  123 (1)B> 0 2
  179      470       8  123 <C(2) 22
  180      493     -15  <C(2) 225
  181      495     -13  (1)C> 225
  182      496     -12  1 (1)A> 224
  183      498     -14  1 <B(1) 0 223
  184      499     -15  <B(1) 1 0 223
  185      500     -16  <C(2) 12 0 223
  186      502     -14  (1)C> 12 0 223
  187      504     -16  <C(2) 2 1 0 223
  188      506     -14  (1)C> 2 1 0 223
  189      507     -13  1 (1)A> 1 0 223
  190      508     -12  12 (1)A> 0 223
  191      509     -11  13 (1)B> 223
  192      510     -10  14 (1)C> 222
  193      511      -9  15 (1)A> 221
  194      513     -11  15 <B(1) 0 220
  195      518     -16  <B(1) 15 0 220
  196      519     -17  <C(2) 16 0 220
  197      521     -15  (1)C> 16 0 220
  198      523     -17  <C(2) 2 15 0 220
  199      525     -15  (1)C> 2 15 0 220
  200      526     -14  1 (1)A> 15 0 220

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 526
Tape index:  -14
nonzeros:    27
log10(nonzeros):    1.431
log10(steps   ):    2.721

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-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 3
    T 4-state 3-symbol #d (T.J. & S. Ligocki)
    : >8.0x10^986 >3.7x10^1973
    5T  1RB 1RA 0LB  2LC 1LB 1RC  0RD 2LC 1RA  2RA 1RH 1RC
    L 14
    M	201
    pref	sim
    machv Lig43_d  	just simple
    machv Lig43_d-r	with repetitions reduced
    machv Lig43_d-1	with tape symbol exponents
    machv Lig43_d-m	as 1-bck-macro machine
    machv Lig43_d-a	as 1-bck-macro machine with pure additive config-TRs
    iam	Lig43_d-m
    mtype	1 0
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:14:06 CEST 2010
    edate	Tue Jul  6 22:14:06 CEST 2010
    bnspeed	1
    short	7

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:14:06 CEST 2010
Ready: Tue Jul 6 22:14:06 CEST 2010