3-state 3-symbol TM #d of G. Lafitte & C. Papazian

Comment: This TM produces 1'525'688 nonzeros in 987'522'842'126 steps.

State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A B1R A2L A1R 1 right B 2 left A 1 right A
B C1R B2R C0R 1 right C 2 right B 0 right C
C A1L Z1R A1L 1 left A 1 right Z 1 left 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 bck-2-macro machine.
The same TM as bck-2-macro machine with pure additive config-TRs.

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

Steps BasSteps BasTpos  Tape contents
    0        0       0  (0)A>
    1        2       2  01 (1)C>
    2        4       0  01 <A(2) 10
    3       10       2  11 (2)B> 10
    4       12       4  11 22 (1)C>
    5       14       2  11 22 <A(2) 10
    6       16       4  11 21 (1)A> 10
    7       18       2  11 21 <A(2) 20
    8       22       4  112 (1)A> 20
    9       24       6  113 (1)B>
   10       28       4  113 <A(2) 21
   11       34      -2  <A(2) 223 21
   12       36       0  01 (0)C> 223 21
   13       48       6  01 123 (0)C> 21
   14       52       8  01 124 (2)B>
   15       60       6  01 124 <A(2) 22
   16       62       8  01 123 11 (1)A> 22
   17       64      10  01 123 112 (1)A>
   18       66      12  01 123 113 (1)C>
   19       68      10  01 123 113 <A(2) 10
   20       74       4  01 123 <A(2) 223 10
   21       76       6  01 122 11 (1)A> 223 10
   22       82      12  01 122 114 (1)A> 10
   23       84      10  01 122 114 <A(2) 20
   24       92       2  01 122 <A(2) 224 20
   25       94       4  01 12 11 (1)A> 224 20
   26      102      12  01 12 115 (1)A> 20
   27      104      14  01 12 116 (1)B>
   28      108      12  01 12 116 <A(2) 21
   29      120       0  01 12 <A(2) 226 21
   30      122       2  01 11 (1)A> 226 21
   31      134      14  01 117 (1)A> 21
   32      138      12  01 117 <A(2) 22
   33      152      -2  01 <A(2) 228
   34      158       0  11 (2)B> 228
   35      190      16  11 218 (2)B>
   36      198      14  11 218 <A(2) 22
   37      202      16  11 217 11 (1)A> 22
   38      204      18  11 217 112 (1)A>
   39      206      20  11 217 113 (1)C>
   40      208      18  11 217 113 <A(2) 10
   41      214      12  11 217 <A(2) 223 10
   42      218      14  11 216 11 (1)A> 223 10
   43      224      20  11 216 114 (1)A> 10
   44      226      18  11 216 114 <A(2) 20
   45      234      10  11 216 <A(2) 224 20
   46      238      12  11 215 11 (1)A> 224 20
   47      246      20  11 215 115 (1)A> 20
   48      248      22  11 215 116 (1)B>
   49      252      20  11 215 116 <A(2) 21
   50      264       8  11 215 <A(2) 226 21
   51      268      10  11 214 11 (1)A> 226 21
   52      280      22  11 214 117 (1)A> 21
   53      284      20  11 214 117 <A(2) 22
   54      298       6  11 214 <A(2) 228
   55      302       8  11 213 11 (1)A> 228
   56      318      24  11 213 119 (1)A>
   57      320      26  11 213 1110 (1)C>
   58      322      24  11 213 1110 <A(2) 10
   59      342       4  11 213 <A(2) 2210 10
   60      346       6  11 212 11 (1)A> 2210 10
   61      366      26  11 212 1111 (1)A> 10
   62      368      24  11 212 1111 <A(2) 20
   63      390       2  11 212 <A(2) 2211 20
   64      394       4  11 21 11 (1)A> 2211 20
   65      416      26  11 21 1112 (1)A> 20
   66      418      28  11 21 1113 (1)B>
   67      422      26  11 21 1113 <A(2) 21
   68      448       0  11 21 <A(2) 2213 21
   69      452       2  112 (1)A> 2213 21
   70      478      28  1115 (1)A> 21
   71      482      26  1115 <A(2) 22
   72      512      -4  <A(2) 2216
   73      514      -2  01 (0)C> 2216
   74      578      30  01 1216 (0)C>
   75      582      32  01 1217 (1)C>
   76      584      30  01 1217 <A(2) 10
   77      586      32  01 1216 11 (1)A> 10
   78      588      30  01 1216 11 <A(2) 20
   79      590      28  01 1216 <A(2) 22 20
   80      592      30  01 1215 11 (1)A> 22 20
   81      594      32  01 1215 112 (1)A> 20
   82      596      34  01 1215 113 (1)B>
   83      600      32  01 1215 113 <A(2) 21
   84      606      26  01 1215 <A(2) 223 21
   85      608      28  01 1214 11 (1)A> 223 21
   86      614      34  01 1214 114 (1)A> 21
   87      618      32  01 1214 114 <A(2) 22
   88      626      24  01 1214 <A(2) 225
   89      628      26  01 1213 11 (1)A> 225
   90      638      36  01 1213 116 (1)A>
   91      640      38  01 1213 117 (1)C>
   92      642      36  01 1213 117 <A(2) 10
   93      656      22  01 1213 <A(2) 227 10
   94      658      24  01 1212 11 (1)A> 227 10
   95      672      38  01 1212 118 (1)A> 10
   96      674      36  01 1212 118 <A(2) 20
   97      690      20  01 1212 <A(2) 228 20
   98      692      22  01 1211 11 (1)A> 228 20
   99      708      38  01 1211 119 (1)A> 20
  100      710      40  01 1211 1110 (1)B>
  101      714      38  01 1211 1110 <A(2) 21
  102      734      18  01 1211 <A(2) 2210 21
  103      736      20  01 1210 11 (1)A> 2210 21
  104      756      40  01 1210 1111 (1)A> 21
  105      760      38  01 1210 1111 <A(2) 22
  106      782      16  01 1210 <A(2) 2212
  107      784      18  01 129 11 (1)A> 2212
  108      808      42  01 129 1113 (1)A>
  109      810      44  01 129 1114 (1)C>
  110      812      42  01 129 1114 <A(2) 10
  111      840      14  01 129 <A(2) 2214 10
  112      842      16  01 128 11 (1)A> 2214 10
  113      870      44  01 128 1115 (1)A> 10
  114      872      42  01 128 1115 <A(2) 20
  115      902      12  01 128 <A(2) 2215 20
  116      904      14  01 127 11 (1)A> 2215 20
  117      934      44  01 127 1116 (1)A> 20
  118      936      46  01 127 1117 (1)B>
  119      940      44  01 127 1117 <A(2) 21
  120      974      10  01 127 <A(2) 2217 21
  121      976      12  01 126 11 (1)A> 2217 21
  122     1010      46  01 126 1118 (1)A> 21
  123     1014      44  01 126 1118 <A(2) 22
  124     1050       8  01 126 <A(2) 2219
  125     1052      10  01 125 11 (1)A> 2219
  126     1090      48  01 125 1120 (1)A>
  127     1092      50  01 125 1121 (1)C>
  128     1094      48  01 125 1121 <A(2) 10
  129     1136       6  01 125 <A(2) 2221 10
  130     1138       8  01 124 11 (1)A> 2221 10
  131     1180      50  01 124 1122 (1)A> 10
  132     1182      48  01 124 1122 <A(2) 20
  133     1226       4  01 124 <A(2) 2222 20
  134     1228       6  01 123 11 (1)A> 2222 20
  135     1272      50  01 123 1123 (1)A> 20
  136     1274      52  01 123 1124 (1)B>
  137     1278      50  01 123 1124 <A(2) 21
  138     1326       2  01 123 <A(2) 2224 21
  139     1328       4  01 122 11 (1)A> 2224 21
  140     1376      52  01 122 1125 (1)A> 21
  141     1380      50  01 122 1125 <A(2) 22
  142     1430       0  01 122 <A(2) 2226
  143     1432       2  01 12 11 (1)A> 2226
  144     1484      54  01 12 1127 (1)A>
  145     1486      56  01 12 1128 (1)C>
  146     1488      54  01 12 1128 <A(2) 10
  147     1544      -2  01 12 <A(2) 2228 10
  148     1546       0  01 11 (1)A> 2228 10
  149     1602      56  01 1129 (1)A> 10
  150     1604      54  01 1129 <A(2) 20
  151     1662      -4  01 <A(2) 2229 20
  152     1668      -2  11 (2)B> 2229 20
  153     1784      56  11 2129 (2)B> 20
  154     1788      58  11 2130 (2)B>
  155     1796      56  11 2130 <A(2) 22
  156     1800      58  11 2129 11 (1)A> 22
  157     1802      60  11 2129 112 (1)A>
  158     1804      62  11 2129 113 (1)C>
  159     1806      60  11 2129 113 <A(2) 10
  160     1812      54  11 2129 <A(2) 223 10
  161     1816      56  11 2128 11 (1)A> 223 10
  162     1822      62  11 2128 114 (1)A> 10
  163     1824      60  11 2128 114 <A(2) 20
  164     1832      52  11 2128 <A(2) 224 20
  165     1836      54  11 2127 11 (1)A> 224 20
  166     1844      62  11 2127 115 (1)A> 20
  167     1846      64  11 2127 116 (1)B>
  168     1850      62  11 2127 116 <A(2) 21
  169     1862      50  11 2127 <A(2) 226 21
  170     1866      52  11 2126 11 (1)A> 226 21
  171     1878      64  11 2126 117 (1)A> 21
  172     1882      62  11 2126 117 <A(2) 22
  173     1896      48  11 2126 <A(2) 228
  174     1900      50  11 2125 11 (1)A> 228
  175     1916      66  11 2125 119 (1)A>
  176     1918      68  11 2125 1110 (1)C>
  177     1920      66  11 2125 1110 <A(2) 10
  178     1940      46  11 2125 <A(2) 2210 10
  179     1944      48  11 2124 11 (1)A> 2210 10
  180     1964      68  11 2124 1111 (1)A> 10
  181     1966      66  11 2124 1111 <A(2) 20
  182     1988      44  11 2124 <A(2) 2211 20
  183     1992      46  11 2123 11 (1)A> 2211 20
  184     2014      68  11 2123 1112 (1)A> 20
  185     2016      70  11 2123 1113 (1)B>
  186     2020      68  11 2123 1113 <A(2) 21
  187     2046      42  11 2123 <A(2) 2213 21
  188     2050      44  11 2122 11 (1)A> 2213 21
  189     2076      70  11 2122 1114 (1)A> 21
  190     2080      68  11 2122 1114 <A(2) 22
  191     2108      40  11 2122 <A(2) 2215
  192     2112      42  11 2121 11 (1)A> 2215
  193     2142      72  11 2121 1116 (1)A>
  194     2144      74  11 2121 1117 (1)C>
  195     2146      72  11 2121 1117 <A(2) 10
  196     2180      38  11 2121 <A(2) 2217 10
  197     2184      40  11 2120 11 (1)A> 2217 10
  198     2218      74  11 2120 1118 (1)A> 10
  199     2220      72  11 2120 1118 <A(2) 20
  200     2256      36  11 2120 <A(2) 2218 20

Lines:       201
Top steps:   200
Macro steps: 200
Basic steps: 2256
Tape index:  36
nonzeros:    80
log10(nonzeros):    1.903
log10(steps   ):    3.353

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as bck-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 TM #d of G. Lafitte & C. Papazian
    5T  B1R A2L A1R  C1R B2R C0R  A1L Z1R A1L
    : 1'525'688 987'522'842'126
    L 6
    M	201
    pref	sim
    machv Laf33_d  	just simple
    machv Laf33_d-r	with repetitions reduced
    machv Laf33_d-1	with tape symbol exponents
    machv Laf33_d-m	as bck-2-macro machine
    machv Laf33_d-a	as bck-2-macro machine with pure additive config-TRs
    iam	Laf33_d-m
    mtype	0 2
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:11:49 CEST 2010
    edate	Tue Jul  6 22:11:50 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:49 CEST 2010
Ready: Tue Jul 6 22:11:50 CEST 2010