3-state 3-symbol former champion of Myron Souris

Comment: This TM produces 32213 nonzeros in 544884219 steps.

State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
1 1R2 1L2 2L1 1 right 2 1 left 2 2 left 1
2 1L1 1R3 1Rh 1 left 1 1 right 3 1 right h
3 0L1 2R3 1L3 0 left 1 2 right 3 1 left 3
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-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 2.

Steps BasSteps BasTpos  Tape contents
    0        0       0  1>
    1        3      -1  <2 11
    2        6       0  11 3> 11
    3        8       2  11 22 3>
    4        9       1  11 22 <1
    5       11      -1  11 <1 22
    6       14       0  12 3> 22
    7       15      -1  12 <3 12
    8       18       0  22 3> 12
    9       21      -1  22 <3 11
   10       23      -3  <3 112
   11       27      -5  <2 113
   12       30      -4  11 3> 113
   13       36       2  11 223 3>
   14       37       1  11 223 <1
   15       43      -5  11 <1 223
   16       46      -4  12 3> 223
   17       47      -5  12 <3 12 222
   18       50      -4  22 3> 12 222
   19       53      -5  22 <3 11 222
   20       55      -7  <3 112 222
   21       59      -9  <2 113 222
   22       62      -8  11 3> 113 222
   23       68      -2  11 223 3> 222
   24       69      -3  11 223 <3 12 22
   25       75      -9  11 <3 113 12 22
   26       76      -8  12 3> 113 12 22
   27       82      -2  12 223 3> 12 22
   28       85      -3  12 223 <3 11 22
   29       91      -9  12 <3 114 22
   30       94      -8  22 3> 114 22
   31      102       0  225 3> 22
   32      103      -1  225 <3 12
   33      113     -11  <3 115 12
   34      117     -13  <2 116 12
   35      120     -12  11 3> 116 12
   36      132       0  11 226 3> 12
   37      135      -1  11 226 <3 11
   38      147     -13  11 <3 117
   39      148     -12  12 3> 117
   40      162       2  12 227 3>
   41      163       1  12 227 <1
   42      177     -13  12 <1 227
   43      179     -15  <2 12 227
   44      182     -14  11 3> 12 227
   45      185     -15  11 <3 11 227
   46      186     -14  12 3> 11 227
   47      188     -12  12 22 3> 227
   48      189     -13  12 22 <3 12 226
   49      191     -15  12 <3 11 12 226
   50      194     -14  22 3> 11 12 226
   51      196     -12  222 3> 12 226
   52      199     -13  222 <3 11 226
   53      203     -17  <3 113 226
   54      207     -19  <2 114 226
   55      210     -18  11 3> 114 226
   56      218     -10  11 224 3> 226
   57      219     -11  11 224 <3 12 225
   58      227     -19  11 <3 114 12 225
   59      228     -18  12 3> 114 12 225
   60      236     -10  12 224 3> 12 225
   61      239     -11  12 224 <3 11 225
   62      247     -19  12 <3 115 225
   63      250     -18  22 3> 115 225
   64      260      -8  226 3> 225
   65      261      -9  226 <3 12 224
   66      273     -21  <3 116 12 224
   67      277     -23  <2 117 12 224
   68      280     -22  11 3> 117 12 224
   69      294      -8  11 227 3> 12 224
   70      297      -9  11 227 <3 11 224
   71      311     -23  11 <3 118 224
   72      312     -22  12 3> 118 224
   73      328      -6  12 228 3> 224
   74      329      -7  12 228 <3 12 223
   75      345     -23  12 <3 118 12 223
   76      348     -22  22 3> 118 12 223
   77      364      -6  229 3> 12 223
   78      367      -7  229 <3 11 223
   79      385     -25  <3 1110 223
   80      389     -27  <2 1111 223
   81      392     -26  11 3> 1111 223
   82      414      -4  11 2211 3> 223
   83      415      -5  11 2211 <3 12 222
   84      437     -27  11 <3 1111 12 222
   85      438     -26  12 3> 1111 12 222
   86      460      -4  12 2211 3> 12 222
   87      463      -5  12 2211 <3 11 222
   88      485     -27  12 <3 1112 222
   89      488     -26  22 3> 1112 222
   90      512      -2  2213 3> 222
   91      513      -3  2213 <3 12 22
   92      539     -29  <3 1113 12 22
   93      543     -31  <2 1114 12 22
   94      546     -30  11 3> 1114 12 22
   95      574      -2  11 2214 3> 12 22
   96      577      -3  11 2214 <3 11 22
   97      605     -31  11 <3 1115 22
   98      606     -30  12 3> 1115 22
   99      636       0  12 2215 3> 22
  100      637      -1  12 2215 <3 12
  101      667     -31  12 <3 1115 12
  102      670     -30  22 3> 1115 12
  103      700       0  2216 3> 12
  104      703      -1  2216 <3 11
  105      735     -33  <3 1117
  106      739     -35  <2 1118
  107      742     -34  11 3> 1118
  108      778       2  11 2218 3>
  109      779       1  11 2218 <1
  110      815     -35  11 <1 2218
  111      818     -34  12 3> 2218
  112      819     -35  12 <3 12 2217
  113      822     -34  22 3> 12 2217
  114      825     -35  22 <3 11 2217
  115      827     -37  <3 112 2217
  116      831     -39  <2 113 2217
  117      834     -38  11 3> 113 2217
  118      840     -32  11 223 3> 2217
  119      841     -33  11 223 <3 12 2216
  120      847     -39  11 <3 113 12 2216
  121      848     -38  12 3> 113 12 2216
  122      854     -32  12 223 3> 12 2216
  123      857     -33  12 223 <3 11 2216
  124      863     -39  12 <3 114 2216
  125      866     -38  22 3> 114 2216
  126      874     -30  225 3> 2216
  127      875     -31  225 <3 12 2215
  128      885     -41  <3 115 12 2215
  129      889     -43  <2 116 12 2215
  130      892     -42  11 3> 116 12 2215
  131      904     -30  11 226 3> 12 2215
  132      907     -31  11 226 <3 11 2215
  133      919     -43  11 <3 117 2215
  134      920     -42  12 3> 117 2215
  135      934     -28  12 227 3> 2215
  136      935     -29  12 227 <3 12 2214
  137      949     -43  12 <3 117 12 2214
  138      952     -42  22 3> 117 12 2214
  139      966     -28  228 3> 12 2214
  140      969     -29  228 <3 11 2214
  141      985     -45  <3 119 2214
  142      989     -47  <2 1110 2214
  143      992     -46  11 3> 1110 2214
  144     1012     -26  11 2210 3> 2214
  145     1013     -27  11 2210 <3 12 2213
  146     1033     -47  11 <3 1110 12 2213
  147     1034     -46  12 3> 1110 12 2213
  148     1054     -26  12 2210 3> 12 2213
  149     1057     -27  12 2210 <3 11 2213
  150     1077     -47  12 <3 1111 2213
  151     1080     -46  22 3> 1111 2213
  152     1102     -24  2212 3> 2213
  153     1103     -25  2212 <3 12 2212
  154     1127     -49  <3 1112 12 2212
  155     1131     -51  <2 1113 12 2212
  156     1134     -50  11 3> 1113 12 2212
  157     1160     -24  11 2213 3> 12 2212
  158     1163     -25  11 2213 <3 11 2212
  159     1189     -51  11 <3 1114 2212
  160     1190     -50  12 3> 1114 2212
  161     1218     -22  12 2214 3> 2212
  162     1219     -23  12 2214 <3 12 2211
  163     1247     -51  12 <3 1114 12 2211
  164     1250     -50  22 3> 1114 12 2211
  165     1278     -22  2215 3> 12 2211
  166     1281     -23  2215 <3 11 2211
  167     1311     -53  <3 1116 2211
  168     1315     -55  <2 1117 2211
  169     1318     -54  11 3> 1117 2211
  170     1352     -20  11 2217 3> 2211
  171     1353     -21  11 2217 <3 12 2210
  172     1387     -55  11 <3 1117 12 2210
  173     1388     -54  12 3> 1117 12 2210
  174     1422     -20  12 2217 3> 12 2210
  175     1425     -21  12 2217 <3 11 2210
  176     1459     -55  12 <3 1118 2210
  177     1462     -54  22 3> 1118 2210
  178     1498     -18  2219 3> 2210
  179     1499     -19  2219 <3 12 229
  180     1537     -57  <3 1119 12 229
  181     1541     -59  <2 1120 12 229
  182     1544     -58  11 3> 1120 12 229
  183     1584     -18  11 2220 3> 12 229
  184     1587     -19  11 2220 <3 11 229
  185     1627     -59  11 <3 1121 229
  186     1628     -58  12 3> 1121 229
  187     1670     -16  12 2221 3> 229
  188     1671     -17  12 2221 <3 12 228
  189     1713     -59  12 <3 1121 12 228
  190     1716     -58  22 3> 1121 12 228
  191     1758     -16  2222 3> 12 228
  192     1761     -17  2222 <3 11 228
  193     1805     -61  <3 1123 228
  194     1809     -63  <2 1124 228
  195     1812     -62  11 3> 1124 228
  196     1860     -14  11 2224 3> 228
  197     1861     -15  11 2224 <3 12 227
  198     1909     -63  11 <3 1124 12 227
  199     1910     -62  12 3> 1124 12 227
  200     1958     -14  12 2224 3> 12 227

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 1958
Tape index:  -14
nonzeros:    66
log10(nonzeros):    1.820
log10(steps   ):    3.292

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-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 3-state 3-symbol former champion of Myron Souris
    5t  1R2 1L2 2L1  1L1 1R3 1Rh  0L1 2R3 1L3
    : 32213 544884219
    L 58
    M	201
    pref	sim
    machv MS33_b  	just simple
    machv MS33_b-r	with repetitions reduced
    machv MS33_b-1	with tape symbol exponents
    machv MS33_b-m	as 2-macro machine
    machv MS33_b-a	as 2-macro machine with pure additive config-TRs
    iam	MS33_b-m
    mtype	2
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:11:43 CEST 2010
    edate	Tue Jul  6 22:11:43 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:11:43 CEST 2010
Ready: Tue Jul 6 22:11:43 CEST 2010