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

Comment: This TM produces >1.1x10^713 nonzeros in >1.5x10^1426 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 0LC 1RH 1 right B 0 left C 1 right H
B 2LC 1RD 0LB 2 left C 1 right D 0 left B
C 2LA 1LC 1LA 2 left A 1 left C 1 left A
D 1RB 2LD 2RA 1 right B 2 left D 2 right A
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(1) 2
    3        4      -2  <A(2) 1 2
    4        8       0  1 (1)B> 1 2
    5        9       1  12 (1)D> 2
    6       10       2  13 (2)A>
    7       11       3  13 2 (1)B>
    8       13       1  13 2 <C(1) 2
    9       14       0  13 <A(1) 1 2
   10       15      -1  12 <C(0) 12 2
   11       16      -2  1 <C(1) 0 12 2
   12       17      -3  <C(1) 1 0 12 2
   13       18      -4  <A(2) 12 0 12 2
   14       22      -2  1 (1)B> 12 0 12 2
   15       23      -1  12 (1)D> 1 0 12 2
   16       25      -3  12 <D(2) 2 0 12 2
   17       27      -5  <D(2) 23 0 12 2
   18       31      -3  1 (1)B> 23 0 12 2
   19       40       0  14 (1)B> 0 12 2
   20       42      -2  14 <C(1) 2 12 2
   21       46      -6  <C(1) 14 2 12 2
   22       47      -7  <A(2) 15 2 12 2
   23       51      -5  1 (1)B> 15 2 12 2
   24       52      -4  12 (1)D> 14 2 12 2
   25       54      -6  12 <D(2) 2 13 2 12 2
   26       56      -8  <D(2) 23 13 2 12 2
   27       60      -6  1 (1)B> 23 13 2 12 2
   28       69      -3  14 (1)B> 13 2 12 2
   29       70      -2  15 (1)D> 12 2 12 2
   30       72      -4  15 <D(2) 2 1 2 12 2
   31       77      -9  <D(2) 26 1 2 12 2
   32       81      -7  1 (1)B> 26 1 2 12 2
   33       99      -1  17 (1)B> 1 2 12 2
   34      100       0  18 (1)D> 2 12 2
   35      101       1  19 (2)A> 12 2
   36      103      -1  19 <A(1) 0 1 2
   37      104      -2  18 <C(0) 1 0 1 2
   38      105      -3  17 <C(1) 0 1 0 1 2
   39      112     -10  <C(1) 17 0 1 0 1 2
   40      113     -11  <A(2) 18 0 1 0 1 2
   41      117      -9  1 (1)B> 18 0 1 0 1 2
   42      118      -8  12 (1)D> 17 0 1 0 1 2
   43      120     -10  12 <D(2) 2 16 0 1 0 1 2
   44      122     -12  <D(2) 23 16 0 1 0 1 2
   45      126     -10  1 (1)B> 23 16 0 1 0 1 2
   46      135      -7  14 (1)B> 16 0 1 0 1 2
   47      136      -6  15 (1)D> 15 0 1 0 1 2
   48      138      -8  15 <D(2) 2 14 0 1 0 1 2
   49      143     -13  <D(2) 26 14 0 1 0 1 2
   50      147     -11  1 (1)B> 26 14 0 1 0 1 2
   51      165      -5  17 (1)B> 14 0 1 0 1 2
   52      166      -4  18 (1)D> 13 0 1 0 1 2
   53      168      -6  18 <D(2) 2 12 0 1 0 1 2
   54      176     -14  <D(2) 29 12 0 1 0 1 2
   55      180     -12  1 (1)B> 29 12 0 1 0 1 2
   56      207      -3  110 (1)B> 12 0 1 0 1 2
   57      208      -2  111 (1)D> 1 0 1 0 1 2
   58      210      -4  111 <D(2) 2 0 1 0 1 2
   59      221     -15  <D(2) 212 0 1 0 1 2
   60      225     -13  1 (1)B> 212 0 1 0 1 2
   61      261      -1  113 (1)B> 0 1 0 1 2
   62      263      -3  113 <C(1) 2 1 0 1 2
   63      276     -16  <C(1) 113 2 1 0 1 2
   64      277     -17  <A(2) 114 2 1 0 1 2
   65      281     -15  1 (1)B> 114 2 1 0 1 2
   66      282     -14  12 (1)D> 113 2 1 0 1 2
   67      284     -16  12 <D(2) 2 112 2 1 0 1 2
   68      286     -18  <D(2) 23 112 2 1 0 1 2
   69      290     -16  1 (1)B> 23 112 2 1 0 1 2
   70      299     -13  14 (1)B> 112 2 1 0 1 2
   71      300     -12  15 (1)D> 111 2 1 0 1 2
   72      302     -14  15 <D(2) 2 110 2 1 0 1 2
   73      307     -19  <D(2) 26 110 2 1 0 1 2
   74      311     -17  1 (1)B> 26 110 2 1 0 1 2
   75      329     -11  17 (1)B> 110 2 1 0 1 2
   76      330     -10  18 (1)D> 19 2 1 0 1 2
   77      332     -12  18 <D(2) 2 18 2 1 0 1 2
   78      340     -20  <D(2) 29 18 2 1 0 1 2
   79      344     -18  1 (1)B> 29 18 2 1 0 1 2
   80      371      -9  110 (1)B> 18 2 1 0 1 2
   81      372      -8  111 (1)D> 17 2 1 0 1 2
   82      374     -10  111 <D(2) 2 16 2 1 0 1 2
   83      385     -21  <D(2) 212 16 2 1 0 1 2
   84      389     -19  1 (1)B> 212 16 2 1 0 1 2
   85      425      -7  113 (1)B> 16 2 1 0 1 2
   86      426      -6  114 (1)D> 15 2 1 0 1 2
   87      428      -8  114 <D(2) 2 14 2 1 0 1 2
   88      442     -22  <D(2) 215 14 2 1 0 1 2
   89      446     -20  1 (1)B> 215 14 2 1 0 1 2
   90      491      -5  116 (1)B> 14 2 1 0 1 2
   91      492      -4  117 (1)D> 13 2 1 0 1 2
   92      494      -6  117 <D(2) 2 12 2 1 0 1 2
   93      511     -23  <D(2) 218 12 2 1 0 1 2
   94      515     -21  1 (1)B> 218 12 2 1 0 1 2
   95      569      -3  119 (1)B> 12 2 1 0 1 2
   96      570      -2  120 (1)D> 1 2 1 0 1 2
   97      572      -4  120 <D(2) 22 1 0 1 2
   98      592     -24  <D(2) 222 1 0 1 2
   99      596     -22  1 (1)B> 222 1 0 1 2
  100      662       0  123 (1)B> 1 0 1 2
  101      663       1  124 (1)D> 0 1 2
  102      664       2  125 (1)B> 1 2
  103      665       3  126 (1)D> 2
  104      666       4  127 (2)A>
  105      667       5  127 2 (1)B>
  106      669       3  127 2 <C(1) 2
  107      670       2  127 <A(1) 1 2
  108      671       1  126 <C(0) 12 2
  109      672       0  125 <C(1) 0 12 2
  110      697     -25  <C(1) 125 0 12 2
  111      698     -26  <A(2) 126 0 12 2
  112      702     -24  1 (1)B> 126 0 12 2
  113      703     -23  12 (1)D> 125 0 12 2
  114      705     -25  12 <D(2) 2 124 0 12 2
  115      707     -27  <D(2) 23 124 0 12 2
  116      711     -25  1 (1)B> 23 124 0 12 2
  117      720     -22  14 (1)B> 124 0 12 2
  118      721     -21  15 (1)D> 123 0 12 2
  119      723     -23  15 <D(2) 2 122 0 12 2
  120      728     -28  <D(2) 26 122 0 12 2
  121      732     -26  1 (1)B> 26 122 0 12 2
  122      750     -20  17 (1)B> 122 0 12 2
  123      751     -19  18 (1)D> 121 0 12 2
  124      753     -21  18 <D(2) 2 120 0 12 2
  125      761     -29  <D(2) 29 120 0 12 2
  126      765     -27  1 (1)B> 29 120 0 12 2
  127      792     -18  110 (1)B> 120 0 12 2
  128      793     -17  111 (1)D> 119 0 12 2
  129      795     -19  111 <D(2) 2 118 0 12 2
  130      806     -30  <D(2) 212 118 0 12 2
  131      810     -28  1 (1)B> 212 118 0 12 2
  132      846     -16  113 (1)B> 118 0 12 2
  133      847     -15  114 (1)D> 117 0 12 2
  134      849     -17  114 <D(2) 2 116 0 12 2
  135      863     -31  <D(2) 215 116 0 12 2
  136      867     -29  1 (1)B> 215 116 0 12 2
  137      912     -14  116 (1)B> 116 0 12 2
  138      913     -13  117 (1)D> 115 0 12 2
  139      915     -15  117 <D(2) 2 114 0 12 2
  140      932     -32  <D(2) 218 114 0 12 2
  141      936     -30  1 (1)B> 218 114 0 12 2
  142      990     -12  119 (1)B> 114 0 12 2
  143      991     -11  120 (1)D> 113 0 12 2
  144      993     -13  120 <D(2) 2 112 0 12 2
  145     1013     -33  <D(2) 221 112 0 12 2
  146     1017     -31  1 (1)B> 221 112 0 12 2
  147     1080     -10  122 (1)B> 112 0 12 2
  148     1081      -9  123 (1)D> 111 0 12 2
  149     1083     -11  123 <D(2) 2 110 0 12 2
  150     1106     -34  <D(2) 224 110 0 12 2
  151     1110     -32  1 (1)B> 224 110 0 12 2
  152     1182      -8  125 (1)B> 110 0 12 2
  153     1183      -7  126 (1)D> 19 0 12 2
  154     1185      -9  126 <D(2) 2 18 0 12 2
  155     1211     -35  <D(2) 227 18 0 12 2
  156     1215     -33  1 (1)B> 227 18 0 12 2
  157     1296      -6  128 (1)B> 18 0 12 2
  158     1297      -5  129 (1)D> 17 0 12 2
  159     1299      -7  129 <D(2) 2 16 0 12 2
  160     1328     -36  <D(2) 230 16 0 12 2
  161     1332     -34  1 (1)B> 230 16 0 12 2
  162     1422      -4  131 (1)B> 16 0 12 2
  163     1423      -3  132 (1)D> 15 0 12 2
  164     1425      -5  132 <D(2) 2 14 0 12 2
  165     1457     -37  <D(2) 233 14 0 12 2
  166     1461     -35  1 (1)B> 233 14 0 12 2
  167     1560      -2  134 (1)B> 14 0 12 2
  168     1561      -1  135 (1)D> 13 0 12 2
  169     1563      -3  135 <D(2) 2 12 0 12 2
  170     1598     -38  <D(2) 236 12 0 12 2
  171     1602     -36  1 (1)B> 236 12 0 12 2
  172     1710       0  137 (1)B> 12 0 12 2
  173     1711       1  138 (1)D> 1 0 12 2
  174     1713      -1  138 <D(2) 2 0 12 2
  175     1751     -39  <D(2) 239 0 12 2
  176     1755     -37  1 (1)B> 239 0 12 2
  177     1872       2  140 (1)B> 0 12 2
  178     1874       0  140 <C(1) 2 12 2
  179     1914     -40  <C(1) 140 2 12 2
  180     1915     -41  <A(2) 141 2 12 2
  181     1919     -39  1 (1)B> 141 2 12 2
  182     1920     -38  12 (1)D> 140 2 12 2
  183     1922     -40  12 <D(2) 2 139 2 12 2
  184     1924     -42  <D(2) 23 139 2 12 2
  185     1928     -40  1 (1)B> 23 139 2 12 2
  186     1937     -37  14 (1)B> 139 2 12 2
  187     1938     -36  15 (1)D> 138 2 12 2
  188     1940     -38  15 <D(2) 2 137 2 12 2
  189     1945     -43  <D(2) 26 137 2 12 2
  190     1949     -41  1 (1)B> 26 137 2 12 2
  191     1967     -35  17 (1)B> 137 2 12 2
  192     1968     -34  18 (1)D> 136 2 12 2
  193     1970     -36  18 <D(2) 2 135 2 12 2
  194     1978     -44  <D(2) 29 135 2 12 2
  195     1982     -42  1 (1)B> 29 135 2 12 2
  196     2009     -33  110 (1)B> 135 2 12 2
  197     2010     -32  111 (1)D> 134 2 12 2
  198     2012     -34  111 <D(2) 2 133 2 12 2
  199     2023     -45  <D(2) 212 133 2 12 2
  200     2027     -43  1 (1)B> 212 133 2 12 2

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 2027
Tape index:  -43
nonzeros:    51
log10(nonzeros):    1.708
log10(steps   ):    3.307

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 #b (T.J. & S. Ligocki)
    : >1.1x10^713 >1.5x10^1426
    5T  1RB 0LC 1RH  2LC 1RD 0LB  2LA 1LC 1LA  1RB 2LD 2RA
    L 16
    M	201
    pref	sim
    machv Lig43_b  	just simple
    machv Lig43_b-r	with repetitions reduced
    machv Lig43_b-1	with tape symbol exponents
    machv Lig43_b-m	as 1-bck-macro machine
    machv Lig43_b-a	as 1-bck-macro machine with pure additive config-TRs
    iam	Lig43_b-m
    mtype	1 0
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:14:01 CEST 2010
    edate	Tue Jul  6 22:14:01 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:01 CEST 2010
Ready: Tue Jul 6 22:14:01 CEST 2010