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

Comment: This TM produces >4.210x10^6034 nonzeros in >5.318x10^12068 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 0LB 1RD 1 right B 0 left B 1 right D
B 2RC 2LA 0LA 2 right C 2 left A 0 left A
C 1LB 0LA 0LA 1 left B 0 left A 0 left A
D 1RA 0RA 1RH 1 right A 0 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 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        2       2  (12)C>
    2        5      -1  <B(00) 10
    3       14       2  11 (11)B> 10
    4       17      -1  11 <A(20) 20
    5       19      -3  <A(20) 202
    6       25      -5  <A(01) 00 202
    7       30      -2  01 (11)A> 00 202
    8       32       0  01 11 (12)C> 202
    9       36       2  01 112 (11)B> 20
   10       39      -1  01 112 <A(20)
   11       43      -5  01 <A(20) 202
   12       47      -7  <A(01) 203
   13       52      -4  01 (11)A> 203
   14       58       2  01 113 (11)A>
   15       60       4  01 114 (12)C>
   16       63       1  01 114 <B(00) 10
   17       65      -1  01 113 <B(02) 00 10
   18       71      -7  01 <B(02) 023 00 10
   19       75      -9  <B(00) 024 00 10
   20       84      -6  11 (11)B> 024 00 10
   21       88      -4  112 (11)A> 023 00 10
   22       93      -7  112 <B(02) 00 022 00 10
   23       97     -11  <B(02) 022 00 022 00 10
   24      106      -8  11 (11)D> 022 00 022 00 10
   25      110      -4  113 (11)D> 00 022 00 10
   26      112      -2  114 (11)B> 022 00 10
   27      116       0  115 (11)A> 02 00 10
   28      121      -3  115 <B(02) 002 10
   29      131     -13  <B(02) 025 002 10
   30      140     -10  11 (11)D> 025 002 10
   31      150       0  116 (11)D> 002 10
   32      152       2  117 (11)B> 00 10
   33      157      -1  117 <A(20) 01 10
   34      171     -15  <A(20) 207 01 10
   35      177     -17  <A(01) 00 207 01 10
   36      182     -14  01 (11)A> 00 207 01 10
   37      184     -12  01 11 (12)C> 207 01 10
   38      188     -10  01 112 (11)B> 206 01 10
   39      191     -13  01 112 <A(20) 00 205 01 10
   40      195     -17  01 <A(20) 202 00 205 01 10
   41      199     -19  <A(01) 203 00 205 01 10
   42      204     -16  01 (11)A> 203 00 205 01 10
   43      210     -10  01 113 (11)A> 00 205 01 10
   44      212      -8  01 114 (12)C> 205 01 10
   45      216      -6  01 115 (11)B> 204 01 10
   46      219      -9  01 115 <A(20) 00 203 01 10
   47      229     -19  01 <A(20) 205 00 203 01 10
   48      233     -21  <A(01) 206 00 203 01 10
   49      238     -18  01 (11)A> 206 00 203 01 10
   50      250      -6  01 116 (11)A> 00 203 01 10
   51      252      -4  01 117 (12)C> 203 01 10
   52      256      -2  01 118 (11)B> 202 01 10
   53      259      -5  01 118 <A(20) 00 20 01 10
   54      275     -21  01 <A(20) 208 00 20 01 10
   55      279     -23  <A(01) 209 00 20 01 10
   56      284     -20  01 (11)A> 209 00 20 01 10
   57      302      -2  01 119 (11)A> 00 20 01 10
   58      304       0  01 1110 (12)C> 20 01 10
   59      308       2  01 1111 (11)B> 01 10
   60      312       4  01 1112 (11)A> 10
   61      315       1  01 1112 <B(02)
   62      339     -23  01 <B(02) 0212
   63      343     -25  <B(00) 0213
   64      352     -22  11 (11)B> 0213
   65      356     -20  112 (11)A> 0212
   66      361     -23  112 <B(02) 00 0211
   67      365     -27  <B(02) 022 00 0211
   68      374     -24  11 (11)D> 022 00 0211
   69      378     -20  113 (11)D> 00 0211
   70      380     -18  114 (11)B> 0211
   71      384     -16  115 (11)A> 0210
   72      389     -19  115 <B(02) 00 029
   73      399     -29  <B(02) 025 00 029
   74      408     -26  11 (11)D> 025 00 029
   75      418     -16  116 (11)D> 00 029
   76      420     -14  117 (11)B> 029
   77      424     -12  118 (11)A> 028
   78      429     -15  118 <B(02) 00 027
   79      445     -31  <B(02) 028 00 027
   80      454     -28  11 (11)D> 028 00 027
   81      470     -12  119 (11)D> 00 027
   82      472     -10  1110 (11)B> 027
   83      476      -8  1111 (11)A> 026
   84      481     -11  1111 <B(02) 00 025
   85      503     -33  <B(02) 0211 00 025
   86      512     -30  11 (11)D> 0211 00 025
   87      534      -8  1112 (11)D> 00 025
   88      536      -6  1113 (11)B> 025
   89      540      -4  1114 (11)A> 024
   90      545      -7  1114 <B(02) 00 023
   91      573     -35  <B(02) 0214 00 023
   92      582     -32  11 (11)D> 0214 00 023
   93      610      -4  1115 (11)D> 00 023
   94      612      -2  1116 (11)B> 023
   95      616       0  1117 (11)A> 022
   96      621      -3  1117 <B(02) 00 02
   97      655     -37  <B(02) 0217 00 02
   98      664     -34  11 (11)D> 0217 00 02
   99      698       0  1118 (11)D> 00 02
  100      700       2  1119 (11)B> 02
  101      704       4  1120 (11)A>
  102      706       6  1121 (12)C>
  103      709       3  1121 <B(00) 10
  104      711       1  1120 <B(02) 00 10
  105      751     -39  <B(02) 0220 00 10
  106      760     -36  11 (11)D> 0220 00 10
  107      800       4  1121 (11)D> 00 10
  108      802       6  1122 (11)B> 10
  109      805       3  1122 <A(20) 20
  110      849     -41  <A(20) 2023
  111      855     -43  <A(01) 00 2023
  112      860     -40  01 (11)A> 00 2023
  113      862     -38  01 11 (12)C> 2023
  114      866     -36  01 112 (11)B> 2022
  115      869     -39  01 112 <A(20) 00 2021
  116      873     -43  01 <A(20) 202 00 2021
  117      877     -45  <A(01) 203 00 2021
  118      882     -42  01 (11)A> 203 00 2021
  119      888     -36  01 113 (11)A> 00 2021
  120      890     -34  01 114 (12)C> 2021
  121      894     -32  01 115 (11)B> 2020
  122      897     -35  01 115 <A(20) 00 2019
  123      907     -45  01 <A(20) 205 00 2019
  124      911     -47  <A(01) 206 00 2019
  125      916     -44  01 (11)A> 206 00 2019
  126      928     -32  01 116 (11)A> 00 2019
  127      930     -30  01 117 (12)C> 2019
  128      934     -28  01 118 (11)B> 2018
  129      937     -31  01 118 <A(20) 00 2017
  130      953     -47  01 <A(20) 208 00 2017
  131      957     -49  <A(01) 209 00 2017
  132      962     -46  01 (11)A> 209 00 2017
  133      980     -28  01 119 (11)A> 00 2017
  134      982     -26  01 1110 (12)C> 2017
  135      986     -24  01 1111 (11)B> 2016
  136      989     -27  01 1111 <A(20) 00 2015
  137     1011     -49  01 <A(20) 2011 00 2015
  138     1015     -51  <A(01) 2012 00 2015
  139     1020     -48  01 (11)A> 2012 00 2015
  140     1044     -24  01 1112 (11)A> 00 2015
  141     1046     -22  01 1113 (12)C> 2015
  142     1050     -20  01 1114 (11)B> 2014
  143     1053     -23  01 1114 <A(20) 00 2013
  144     1081     -51  01 <A(20) 2014 00 2013
  145     1085     -53  <A(01) 2015 00 2013
  146     1090     -50  01 (11)A> 2015 00 2013
  147     1120     -20  01 1115 (11)A> 00 2013
  148     1122     -18  01 1116 (12)C> 2013
  149     1126     -16  01 1117 (11)B> 2012
  150     1129     -19  01 1117 <A(20) 00 2011
  151     1163     -53  01 <A(20) 2017 00 2011
  152     1167     -55  <A(01) 2018 00 2011
  153     1172     -52  01 (11)A> 2018 00 2011
  154     1208     -16  01 1118 (11)A> 00 2011
  155     1210     -14  01 1119 (12)C> 2011
  156     1214     -12  01 1120 (11)B> 2010
  157     1217     -15  01 1120 <A(20) 00 209
  158     1257     -55  01 <A(20) 2020 00 209
  159     1261     -57  <A(01) 2021 00 209
  160     1266     -54  01 (11)A> 2021 00 209
  161     1308     -12  01 1121 (11)A> 00 209
  162     1310     -10  01 1122 (12)C> 209
  163     1314      -8  01 1123 (11)B> 208
  164     1317     -11  01 1123 <A(20) 00 207
  165     1363     -57  01 <A(20) 2023 00 207
  166     1367     -59  <A(01) 2024 00 207
  167     1372     -56  01 (11)A> 2024 00 207
  168     1420      -8  01 1124 (11)A> 00 207
  169     1422      -6  01 1125 (12)C> 207
  170     1426      -4  01 1126 (11)B> 206
  171     1429      -7  01 1126 <A(20) 00 205
  172     1481     -59  01 <A(20) 2026 00 205
  173     1485     -61  <A(01) 2027 00 205
  174     1490     -58  01 (11)A> 2027 00 205
  175     1544      -4  01 1127 (11)A> 00 205
  176     1546      -2  01 1128 (12)C> 205
  177     1550       0  01 1129 (11)B> 204
  178     1553      -3  01 1129 <A(20) 00 203
  179     1611     -61  01 <A(20) 2029 00 203
  180     1615     -63  <A(01) 2030 00 203
  181     1620     -60  01 (11)A> 2030 00 203
  182     1680       0  01 1130 (11)A> 00 203
  183     1682       2  01 1131 (12)C> 203
  184     1686       4  01 1132 (11)B> 202
  185     1689       1  01 1132 <A(20) 00 20
  186     1753     -63  01 <A(20) 2032 00 20
  187     1757     -65  <A(01) 2033 00 20
  188     1762     -62  01 (11)A> 2033 00 20
  189     1828       4  01 1133 (11)A> 00 20
  190     1830       6  01 1134 (12)C> 20
  191     1834       8  01 1135 (11)B>
  192     1839       5  01 1135 <A(20) 01
  193     1909     -65  01 <A(20) 2035 01
  194     1913     -67  <A(01) 2036 01
  195     1918     -64  01 (11)A> 2036 01
  196     1990       8  01 1136 (11)A> 01
  197     1995       5  01 1136 <B(02) 02
  198     2067     -67  01 <B(02) 0237
  199     2071     -69  <B(00) 0238
  200     2080     -66  11 (11)B> 0238

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 2080
Tape index:  -66
nonzeros:    42
log10(nonzeros):    1.623
log10(steps   ):    3.318

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 3
    T 4-state 3-symbol #h (T.J. & S. Ligocki)
    : >4.210x10^6034 >5.318x10^12068
    5T  1RB 0LB 1RD  2RC 2LA 0LA  1LB 0LA 0LA  1RA 0RA 1RH
    L 20
    M	201
    pref	sim
    machv Lig43_h  	just simple
    machv Lig43_h-r	with repetitions reduced
    machv Lig43_h-1	with tape symbol exponents
    machv Lig43_h-m	as 2-bck-macro machine
    machv Lig43_h-a	as 2-bck-macro machine with pure additive config-TRs
    iam	Lig43_h-m
    mtype	2 0
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:14:17 CEST 2010
    edate	Tue Jul  6 22:14:17 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:17 CEST 2010
Ready: Tue Jul 6 22:14:17 CEST 2010