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

Comment: This TM produces 15008 nonzeros in 250,096,776 steps.

State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A 0RB 1RH 2LD 0 right B 1 right H 2 left D
B 2LA 2RD 2RC 2 left A 2 right D 2 right C
C 2RB 2RC 1LC 2 right B 2 right C 1 left C
D 2LA 1RB 2LC 2 left A 1 right B 2 left 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-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  A>
    1        4       2  02 C>
    2        7       1  02 <D 22
    3       10       2  22 C> 22
    4       11       1  22 <C 12
    5       13      -1  <C 11 12
    6       14       0  02 B> 11 12
    7       16       2  02 21 B> 12
    8       19       1  02 21 <C 12
    9       20       2  02 22 C> 12
   10       23       1  02 22 <C 11
   11       25      -1  02 <C 112
   12       28       0  22 D> 112
   13       32       4  22 122 D>
   14       33       3  22 122 <A 20
   15       36       4  22 122 C> 20
   16       37       3  22 122 <C 10
   17       40       4  22 12 22 C> 10
   18       42       6  22 12 222 B>
   19       43       5  22 12 222 <A 20
   20       45       3  22 12 22 <C 22 20
   21       47       1  22 12 <C 11 22 20
   22       50       2  222 C> 11 22 20
   23       52       4  223 C> 22 20
   24       53       3  223 <C 12 20
   25       59      -3  <C 113 12 20
   26       60      -2  02 B> 113 12 20
   27       66       4  02 213 B> 12 20
   28       69       3  02 213 <C 12 20
   29       70       4  02 212 22 C> 12 20
   30       73       3  02 212 22 <C 11 20
   31       75       1  02 212 <C 112 20
   32       76       2  02 21 22 C> 112 20
   33       80       6  02 21 223 C> 20
   34       81       5  02 21 223 <C 10
   35       87      -1  02 21 <C 113 10
   36       88       0  02 22 C> 113 10
   37       94       6  02 224 C> 10
   38       96       8  02 225 B>
   39       97       7  02 225 <A 20
   40       99       5  02 224 <C 22 20
   41      107      -3  02 <C 114 22 20
   42      110      -2  22 D> 114 22 20
   43      118       6  22 124 D> 22 20
   44      119       5  22 124 <C 22 20
   45      122       6  22 123 22 C> 22 20
   46      123       5  22 123 22 <C 12 20
   47      125       3  22 123 <C 11 12 20
   48      128       4  22 122 22 C> 11 12 20
   49      130       6  22 122 222 C> 12 20
   50      133       5  22 122 222 <C 11 20
   51      137       1  22 122 <C 113 20
   52      140       2  22 12 22 C> 113 20
   53      146       8  22 12 224 C> 20
   54      147       7  22 12 224 <C 10
   55      155      -1  22 12 <C 114 10
   56      158       0  222 C> 114 10
   57      166       8  226 C> 10
   58      168      10  227 B>
   59      169       9  227 <A 20
   60      171       7  226 <C 22 20
   61      183      -5  <C 116 22 20
   62      184      -4  02 B> 116 22 20
   63      196       8  02 216 B> 22 20
   64      199       7  02 216 <C 11 20
   65      200       8  02 215 22 C> 11 20
   66      202      10  02 215 222 C> 20
   67      203       9  02 215 222 <C 10
   68      207       5  02 215 <C 112 10
   69      208       6  02 214 22 C> 112 10
   70      212      10  02 214 223 C> 10
   71      214      12  02 214 224 B>
   72      215      11  02 214 224 <A 20
   73      217       9  02 214 223 <C 22 20
   74      223       3  02 214 <C 113 22 20
   75      224       4  02 213 22 C> 113 22 20
   76      230      10  02 213 224 C> 22 20
   77      231       9  02 213 224 <C 12 20
   78      239       1  02 213 <C 114 12 20
   79      240       2  02 212 22 C> 114 12 20
   80      248      10  02 212 225 C> 12 20
   81      251       9  02 212 225 <C 11 20
   82      261      -1  02 212 <C 116 20
   83      262       0  02 21 22 C> 116 20
   84      274      12  02 21 227 C> 20
   85      275      11  02 21 227 <C 10
   86      289      -3  02 21 <C 117 10
   87      290      -2  02 22 C> 117 10
   88      304      12  02 228 C> 10
   89      306      14  02 229 B>
   90      307      13  02 229 <A 20
   91      309      11  02 228 <C 22 20
   92      325      -5  02 <C 118 22 20
   93      328      -4  22 D> 118 22 20
   94      344      12  22 128 D> 22 20
   95      345      11  22 128 <C 22 20
   96      348      12  22 127 22 C> 22 20
   97      349      11  22 127 22 <C 12 20
   98      351       9  22 127 <C 11 12 20
   99      354      10  22 126 22 C> 11 12 20
  100      356      12  22 126 222 C> 12 20
  101      359      11  22 126 222 <C 11 20
  102      363       7  22 126 <C 113 20
  103      366       8  22 125 22 C> 113 20
  104      372      14  22 125 224 C> 20
  105      373      13  22 125 224 <C 10
  106      381       5  22 125 <C 114 10
  107      384       6  22 124 22 C> 114 10
  108      392      14  22 124 225 C> 10
  109      394      16  22 124 226 B>
  110      395      15  22 124 226 <A 20
  111      397      13  22 124 225 <C 22 20
  112      407       3  22 124 <C 115 22 20
  113      410       4  22 123 22 C> 115 22 20
  114      420      14  22 123 226 C> 22 20
  115      421      13  22 123 226 <C 12 20
  116      433       1  22 123 <C 116 12 20
  117      436       2  22 122 22 C> 116 12 20
  118      448      14  22 122 227 C> 12 20
  119      451      13  22 122 227 <C 11 20
  120      465      -1  22 122 <C 118 20
  121      468       0  22 12 22 C> 118 20
  122      484      16  22 12 229 C> 20
  123      485      15  22 12 229 <C 10
  124      503      -3  22 12 <C 119 10
  125      506      -2  222 C> 119 10
  126      524      16  2211 C> 10
  127      526      18  2212 B>
  128      527      17  2212 <A 20
  129      529      15  2211 <C 22 20
  130      551      -7  <C 1111 22 20
  131      552      -6  02 B> 1111 22 20
  132      574      16  02 2111 B> 22 20
  133      577      15  02 2111 <C 11 20
  134      578      16  02 2110 22 C> 11 20
  135      580      18  02 2110 222 C> 20
  136      581      17  02 2110 222 <C 10
  137      585      13  02 2110 <C 112 10
  138      586      14  02 219 22 C> 112 10
  139      590      18  02 219 223 C> 10
  140      592      20  02 219 224 B>
  141      593      19  02 219 224 <A 20
  142      595      17  02 219 223 <C 22 20
  143      601      11  02 219 <C 113 22 20
  144      602      12  02 218 22 C> 113 22 20
  145      608      18  02 218 224 C> 22 20
  146      609      17  02 218 224 <C 12 20
  147      617       9  02 218 <C 114 12 20
  148      618      10  02 217 22 C> 114 12 20
  149      626      18  02 217 225 C> 12 20
  150      629      17  02 217 225 <C 11 20
  151      639       7  02 217 <C 116 20
  152      640       8  02 216 22 C> 116 20
  153      652      20  02 216 227 C> 20
  154      653      19  02 216 227 <C 10
  155      667       5  02 216 <C 117 10
  156      668       6  02 215 22 C> 117 10
  157      682      20  02 215 228 C> 10
  158      684      22  02 215 229 B>
  159      685      21  02 215 229 <A 20
  160      687      19  02 215 228 <C 22 20
  161      703       3  02 215 <C 118 22 20
  162      704       4  02 214 22 C> 118 22 20
  163      720      20  02 214 229 C> 22 20
  164      721      19  02 214 229 <C 12 20
  165      739       1  02 214 <C 119 12 20
  166      740       2  02 213 22 C> 119 12 20
  167      758      20  02 213 2210 C> 12 20
  168      761      19  02 213 2210 <C 11 20
  169      781      -1  02 213 <C 1111 20
  170      782       0  02 212 22 C> 1111 20
  171      804      22  02 212 2212 C> 20
  172      805      21  02 212 2212 <C 10
  173      829      -3  02 212 <C 1112 10
  174      830      -2  02 21 22 C> 1112 10
  175      854      22  02 21 2213 C> 10
  176      856      24  02 21 2214 B>
  177      857      23  02 21 2214 <A 20
  178      859      21  02 21 2213 <C 22 20
  179      885      -5  02 21 <C 1113 22 20
  180      886      -4  02 22 C> 1113 22 20
  181      912      22  02 2214 C> 22 20
  182      913      21  02 2214 <C 12 20
  183      941      -7  02 <C 1114 12 20
  184      944      -6  22 D> 1114 12 20
  185      972      22  22 1214 D> 12 20
  186      974      24  22 1215 C> 20
  187      975      23  22 1215 <C 10
  188      978      24  22 1214 22 C> 10
  189      980      26  22 1214 222 B>
  190      981      25  22 1214 222 <A 20
  191      983      23  22 1214 22 <C 22 20
  192      985      21  22 1214 <C 11 22 20
  193      988      22  22 1213 22 C> 11 22 20
  194      990      24  22 1213 222 C> 22 20
  195      991      23  22 1213 222 <C 12 20
  196      995      19  22 1213 <C 112 12 20
  197      998      20  22 1212 22 C> 112 12 20
  198     1002      24  22 1212 223 C> 12 20
  199     1005      23  22 1212 223 <C 11 20
  200     1011      17  22 1212 <C 114 20

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 1011
Tape index:  17
nonzeros:    35
log10(nonzeros):    1.544
log10(steps   ):    3.005

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 4-state 3-symbol #a (T.J. & S. Ligocki)
    : 15008 250,096,776
    5T  0RB 1RH 2LD  2LA 2RD 2RC  2RB 2RC 1LC  2LA 1RB 2LC
    L 10
    M	201
    pref	sim
    machv Lig43_a  	just simple
    machv Lig43_a-r	with repetitions reduced
    machv Lig43_a-1	with tape symbol exponents
    machv Lig43_a-m	as 2-macro machine
    machv Lig43_a-a	as 2-macro machine with pure additive config-TRs
    iam	Lig43_a-m
    mtype	2
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:13:58 CEST 2010
    edate	Tue Jul  6 22:13:58 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:13:58 CEST 2010
Ready: Tue Jul 6 22:13:58 CEST 2010