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

Comment: This TM produces >2.2x10^2372 nonzeros in >5.9x10^4744 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 1RA 1LB 1RC 1 right B 1 right A 1 left B 1 right C
B 2LA 0LB 3LC 1RH 2 left A 0 left B 3 left C 1 right H
C 1LB 0RC 2RA 2RC 1 left B 0 right C 2 right A 2 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 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.

Steps BasSteps BasTpos  Tape contents
    0        0       0  (00)A>
    1       13      -3  <B(13) 11
    2       20       0  02 (02)C> 11
    3       22       2  022 (00)C>
    4       33      -1  022 <A(21) 21
    5       37      -5  <A(21) 213
    6       42      -2  (20)C> 213
    7       44       0  20 (21)A> 212
    8       47      -3  20 <C(30) 11 21
    9       49      -5  <C(31) 30 11 21
   10       51      -7  <A(21) 31 30 11 21
   11       56      -4  (20)C> 31 30 11 21
   12       58      -2  20 (20)C> 30 11 21
   13       63      -5  20 <C(31) 31 11 21
   14       65      -7  <C(31) 312 11 21
   15       67      -9  <A(21) 313 11 21
   16       72      -6  (20)C> 313 11 21
   17       78       0  203 (20)C> 11 21
   18       80       2  204 (00)C> 21
   19       82       4  204 00 (21)A>
   20       89       1  204 00 <C(30) 01
   21       91      -1  204 <A(21) 30 01
   22       96       2  204 (20)C> 30 01
   23      101      -1  204 <C(31) 31 01
   24      109      -9  <C(31) 315 01
   25      111     -11  <A(21) 316 01
   26      116      -8  (20)C> 316 01
   27      128       4  206 (20)C> 01
   28      131       1  206 <B(12) 11
   29      143     -11  <B(12) 126 11
   30      150      -8  02 (02)A> 126 11
   31      155     -11  02 <B(13) 01 125 11
   32      157     -13  <B(13) 13 01 125 11
   33      164     -10  02 (02)C> 13 01 125 11
   34      166      -8  022 (02)C> 01 125 11
   35      169     -11  022 <B(13) 11 125 11
   36      173     -15  <B(13) 132 11 125 11
   37      180     -12  02 (02)C> 132 11 125 11
   38      184      -8  023 (02)C> 11 125 11
   39      186      -6  024 (00)C> 125 11
   40      188      -4  024 00 (02)A> 124 11
   41      193      -7  024 00 <B(13) 01 123 11
   42      200      -4  025 (02)C> 01 123 11
   43      203      -7  025 <B(13) 11 123 11
   44      213     -17  <B(13) 135 11 123 11
   45      220     -14  02 (02)C> 135 11 123 11
   46      230      -4  026 (02)C> 11 123 11
   47      232      -2  027 (00)C> 123 11
   48      234       0  027 00 (02)A> 122 11
   49      239      -3  027 00 <B(13) 01 12 11
   50      246       0  028 (02)C> 01 12 11
   51      249      -3  028 <B(13) 11 12 11
   52      265     -19  <B(13) 138 11 12 11
   53      272     -16  02 (02)C> 138 11 12 11
   54      288       0  029 (02)C> 11 12 11
   55      290       2  0210 (00)C> 12 11
   56      292       4  0210 00 (02)A> 11
   57      294       6  0210 00 02 (11)A>
   58      301       3  0210 00 02 <B(00) 01
   59      303       1  0210 00 <B(13) 00 01
   60      310       4  0211 (02)C> 00 01
   61      313       1  0211 <B(13) 10 01
   62      335     -21  <B(13) 1311 10 01
   63      342     -18  02 (02)C> 1311 10 01
   64      364       4  0212 (02)C> 10 01
   65      369       1  0212 <A(21) 21 01
   66      393     -23  <A(21) 2113 01
   67      398     -20  (20)C> 2113 01
   68      400     -18  20 (21)A> 2112 01
   69      403     -21  20 <C(30) 11 2111 01
   70      405     -23  <C(31) 30 11 2111 01
   71      407     -25  <A(21) 31 30 11 2111 01
   72      412     -22  (20)C> 31 30 11 2111 01
   73      414     -20  20 (20)C> 30 11 2111 01
   74      419     -23  20 <C(31) 31 11 2111 01
   75      421     -25  <C(31) 312 11 2111 01
   76      423     -27  <A(21) 313 11 2111 01
   77      428     -24  (20)C> 313 11 2111 01
   78      434     -18  203 (20)C> 11 2111 01
   79      436     -16  204 (00)C> 2111 01
   80      438     -14  204 00 (21)A> 2110 01
   81      441     -17  204 00 <C(30) 11 219 01
   82      443     -19  204 <A(21) 30 11 219 01
   83      448     -16  204 (20)C> 30 11 219 01
   84      453     -19  204 <C(31) 31 11 219 01
   85      461     -27  <C(31) 315 11 219 01
   86      463     -29  <A(21) 316 11 219 01
   87      468     -26  (20)C> 316 11 219 01
   88      480     -14  206 (20)C> 11 219 01
   89      482     -12  207 (00)C> 219 01
   90      484     -10  207 00 (21)A> 218 01
   91      487     -13  207 00 <C(30) 11 217 01
   92      489     -15  207 <A(21) 30 11 217 01
   93      494     -12  207 (20)C> 30 11 217 01
   94      499     -15  207 <C(31) 31 11 217 01
   95      513     -29  <C(31) 318 11 217 01
   96      515     -31  <A(21) 319 11 217 01
   97      520     -28  (20)C> 319 11 217 01
   98      538     -10  209 (20)C> 11 217 01
   99      540      -8  2010 (00)C> 217 01
  100      542      -6  2010 00 (21)A> 216 01
  101      545      -9  2010 00 <C(30) 11 215 01
  102      547     -11  2010 <A(21) 30 11 215 01
  103      552      -8  2010 (20)C> 30 11 215 01
  104      557     -11  2010 <C(31) 31 11 215 01
  105      577     -31  <C(31) 3111 11 215 01
  106      579     -33  <A(21) 3112 11 215 01
  107      584     -30  (20)C> 3112 11 215 01
  108      608      -6  2012 (20)C> 11 215 01
  109      610      -4  2013 (00)C> 215 01
  110      612      -2  2013 00 (21)A> 214 01
  111      615      -5  2013 00 <C(30) 11 213 01
  112      617      -7  2013 <A(21) 30 11 213 01
  113      622      -4  2013 (20)C> 30 11 213 01
  114      627      -7  2013 <C(31) 31 11 213 01
  115      653     -33  <C(31) 3114 11 213 01
  116      655     -35  <A(21) 3115 11 213 01
  117      660     -32  (20)C> 3115 11 213 01
  118      690      -2  2015 (20)C> 11 213 01
  119      692       0  2016 (00)C> 213 01
  120      694       2  2016 00 (21)A> 212 01
  121      697      -1  2016 00 <C(30) 11 21 01
  122      699      -3  2016 <A(21) 30 11 21 01
  123      704       0  2016 (20)C> 30 11 21 01
  124      709      -3  2016 <C(31) 31 11 21 01
  125      741     -35  <C(31) 3117 11 21 01
  126      743     -37  <A(21) 3118 11 21 01
  127      748     -34  (20)C> 3118 11 21 01
  128      784       2  2018 (20)C> 11 21 01
  129      786       4  2019 (00)C> 21 01
  130      788       6  2019 00 (21)A> 01
  131      793       3  2019 00 <C(30)
  132      795       1  2019 <A(21) 30
  133      800       4  2019 (20)C> 30
  134      805       1  2019 <C(31) 31
  135      843     -37  <C(31) 3120
  136      845     -39  <A(21) 3121
  137      850     -36  (20)C> 3121
  138      892       6  2021 (20)C>
  139      895       3  2021 <B(12) 10
  140      937     -39  <B(12) 1221 10
  141      944     -36  02 (02)A> 1221 10
  142      949     -39  02 <B(13) 01 1220 10
  143      951     -41  <B(13) 13 01 1220 10
  144      958     -38  02 (02)C> 13 01 1220 10
  145      960     -36  022 (02)C> 01 1220 10
  146      963     -39  022 <B(13) 11 1220 10
  147      967     -43  <B(13) 132 11 1220 10
  148      974     -40  02 (02)C> 132 11 1220 10
  149      978     -36  023 (02)C> 11 1220 10
  150      980     -34  024 (00)C> 1220 10
  151      982     -32  024 00 (02)A> 1219 10
  152      987     -35  024 00 <B(13) 01 1218 10
  153      994     -32  025 (02)C> 01 1218 10
  154      997     -35  025 <B(13) 11 1218 10
  155     1007     -45  <B(13) 135 11 1218 10
  156     1014     -42  02 (02)C> 135 11 1218 10
  157     1024     -32  026 (02)C> 11 1218 10
  158     1026     -30  027 (00)C> 1218 10
  159     1028     -28  027 00 (02)A> 1217 10
  160     1033     -31  027 00 <B(13) 01 1216 10
  161     1040     -28  028 (02)C> 01 1216 10
  162     1043     -31  028 <B(13) 11 1216 10
  163     1059     -47  <B(13) 138 11 1216 10
  164     1066     -44  02 (02)C> 138 11 1216 10
  165     1082     -28  029 (02)C> 11 1216 10
  166     1084     -26  0210 (00)C> 1216 10
  167     1086     -24  0210 00 (02)A> 1215 10
  168     1091     -27  0210 00 <B(13) 01 1214 10
  169     1098     -24  0211 (02)C> 01 1214 10
  170     1101     -27  0211 <B(13) 11 1214 10
  171     1123     -49  <B(13) 1311 11 1214 10
  172     1130     -46  02 (02)C> 1311 11 1214 10
  173     1152     -24  0212 (02)C> 11 1214 10
  174     1154     -22  0213 (00)C> 1214 10
  175     1156     -20  0213 00 (02)A> 1213 10
  176     1161     -23  0213 00 <B(13) 01 1212 10
  177     1168     -20  0214 (02)C> 01 1212 10
  178     1171     -23  0214 <B(13) 11 1212 10
  179     1199     -51  <B(13) 1314 11 1212 10
  180     1206     -48  02 (02)C> 1314 11 1212 10
  181     1234     -20  0215 (02)C> 11 1212 10
  182     1236     -18  0216 (00)C> 1212 10
  183     1238     -16  0216 00 (02)A> 1211 10
  184     1243     -19  0216 00 <B(13) 01 1210 10
  185     1250     -16  0217 (02)C> 01 1210 10
  186     1253     -19  0217 <B(13) 11 1210 10
  187     1287     -53  <B(13) 1317 11 1210 10
  188     1294     -50  02 (02)C> 1317 11 1210 10
  189     1328     -16  0218 (02)C> 11 1210 10
  190     1330     -14  0219 (00)C> 1210 10
  191     1332     -12  0219 00 (02)A> 129 10
  192     1337     -15  0219 00 <B(13) 01 128 10
  193     1344     -12  0220 (02)C> 01 128 10
  194     1347     -15  0220 <B(13) 11 128 10
  195     1387     -55  <B(13) 1320 11 128 10
  196     1394     -52  02 (02)C> 1320 11 128 10
  197     1434     -12  0221 (02)C> 11 128 10
  198     1436     -10  0222 (00)C> 128 10
  199     1438      -8  0222 00 (02)A> 127 10
  200     1443     -11  0222 00 <B(13) 01 126 10

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 1443
Tape index:  -11
nonzeros:    38
log10(nonzeros):    1.580
log10(steps   ):    3.159

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-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 4
    T 3-state 4-symbol #h (T.J. & S. Ligocki)
    : >2.2x10^2372 >5.9x10^4744
    5T  1RB 1RA 1LB 1RC  2LA 0LB 3LC 1RH  1LB 0RC 2RA 2RC
    L 16
    M	201
    pref	sim
    machv Lig34_h  	just simple
    machv Lig34_h-r	with repetitions reduced
    machv Lig34_h-1	with tape symbol exponents
    machv Lig34_h-m	as 2-bck-macro machine
    machv Lig34_h-a	as 2-bck-macro machine with pure additive config-TRs
    iam	Lig34_h-m
    mtype	2 0
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:13:54 CEST 2010
    edate	Tue Jul  6 22:13:55 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:13:54 CEST 2010
Ready: Tue Jul 6 22:13:55 CEST 2010