Comment: This TM produces >1.6x10^809 nonzeros in >7.7x10^1618 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 2RC | 1RA | 1 | right | B | 2 | right | C | 1 | right | A |
| B | 2LC | 1LA | 1LB | 2 | left | C | 1 | left | A | 1 | left | B |
| C | 2LD | 0LB | 0RC | 2 | left | D | 0 | left | B | 0 | right | C |
| D | 0RD | 1RH | 0RA | 0 | right | D | 1 | right | H | 0 | right | A |
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 5 -3 <D(22) 02
2 8 0 (01)A> 02
3 15 -3 <C(21) 01
4 20 0 (12)C> 01
5 24 2 10 (12)C>
6 28 4 102 (11)B>
7 31 1 102 <A(10) 20
8 37 -1 10 <A(11) 00 20
9 43 -3 <A(11) 01 00 20
10 49 -5 <C(21) 012 00 20
11 54 -2 (12)C> 012 00 20
12 62 2 102 (12)C> 00 20
13 66 4 103 (11)B> 20
14 71 1 103 <B(10) 10
15 73 -1 102 <B(02) 102
16 77 -5 <B(02) 022 102
17 79 -7 <D(22) 023 102
18 82 -4 (01)A> 023 102
19 89 -7 <C(21) 01 022 102
20 94 -4 (12)C> 01 022 102
21 98 -2 10 (12)C> 022 102
22 102 0 102 (11)A> 02 102
23 109 -3 102 <A(11) 01 102
24 121 -7 <A(11) 013 102
25 127 -9 <C(21) 014 102
26 132 -6 (12)C> 014 102
27 148 2 104 (12)C> 102
28 151 -1 104 <A(11) 00 10
29 175 -9 <A(11) 014 00 10
30 181 -11 <C(21) 015 00 10
31 186 -8 (12)C> 015 00 10
32 206 2 105 (12)C> 00 10
33 210 4 106 (11)B> 10
34 215 1 106 <A(11)
35 251 -11 <A(11) 016
36 257 -13 <C(21) 017
37 262 -10 (12)C> 017
38 290 4 107 (12)C>
39 294 6 108 (11)B>
40 297 3 108 <A(10) 20
41 303 1 107 <A(11) 00 20
42 345 -13 <A(11) 017 00 20
43 351 -15 <C(21) 018 00 20
44 356 -12 (12)C> 018 00 20
45 388 4 108 (12)C> 00 20
46 392 6 109 (11)B> 20
47 397 3 109 <B(10) 10
48 399 1 108 <B(02) 102
49 415 -15 <B(02) 028 102
50 417 -17 <D(22) 029 102
51 420 -14 (01)A> 029 102
52 427 -17 <C(21) 01 028 102
53 432 -14 (12)C> 01 028 102
54 436 -12 10 (12)C> 028 102
55 440 -10 102 (11)A> 027 102
56 447 -13 102 <A(11) 01 026 102
57 459 -17 <A(11) 013 026 102
58 465 -19 <C(21) 014 026 102
59 470 -16 (12)C> 014 026 102
60 486 -8 104 (12)C> 026 102
61 490 -6 105 (11)A> 025 102
62 497 -9 105 <A(11) 01 024 102
63 527 -19 <A(11) 016 024 102
64 533 -21 <C(21) 017 024 102
65 538 -18 (12)C> 017 024 102
66 566 -4 107 (12)C> 024 102
67 570 -2 108 (11)A> 023 102
68 577 -5 108 <A(11) 01 022 102
69 625 -21 <A(11) 019 022 102
70 631 -23 <C(21) 0110 022 102
71 636 -20 (12)C> 0110 022 102
72 676 0 1010 (12)C> 022 102
73 680 2 1011 (11)A> 02 102
74 687 -1 1011 <A(11) 01 102
75 753 -23 <A(11) 0112 102
76 759 -25 <C(21) 0113 102
77 764 -22 (12)C> 0113 102
78 816 4 1013 (12)C> 102
79 819 1 1013 <A(11) 00 10
80 897 -25 <A(11) 0113 00 10
81 903 -27 <C(21) 0114 00 10
82 908 -24 (12)C> 0114 00 10
83 964 4 1014 (12)C> 00 10
84 968 6 1015 (11)B> 10
85 973 3 1015 <A(11)
86 1063 -27 <A(11) 0115
87 1069 -29 <C(21) 0116
88 1074 -26 (12)C> 0116
89 1138 6 1016 (12)C>
90 1142 8 1017 (11)B>
91 1145 5 1017 <A(10) 20
92 1151 3 1016 <A(11) 00 20
93 1247 -29 <A(11) 0116 00 20
94 1253 -31 <C(21) 0117 00 20
95 1258 -28 (12)C> 0117 00 20
96 1326 6 1017 (12)C> 00 20
97 1330 8 1018 (11)B> 20
98 1335 5 1018 <B(10) 10
99 1337 3 1017 <B(02) 102
100 1371 -31 <B(02) 0217 102
101 1373 -33 <D(22) 0218 102
102 1376 -30 (01)A> 0218 102
103 1383 -33 <C(21) 01 0217 102
104 1388 -30 (12)C> 01 0217 102
105 1392 -28 10 (12)C> 0217 102
106 1396 -26 102 (11)A> 0216 102
107 1403 -29 102 <A(11) 01 0215 102
108 1415 -33 <A(11) 013 0215 102
109 1421 -35 <C(21) 014 0215 102
110 1426 -32 (12)C> 014 0215 102
111 1442 -24 104 (12)C> 0215 102
112 1446 -22 105 (11)A> 0214 102
113 1453 -25 105 <A(11) 01 0213 102
114 1483 -35 <A(11) 016 0213 102
115 1489 -37 <C(21) 017 0213 102
116 1494 -34 (12)C> 017 0213 102
117 1522 -20 107 (12)C> 0213 102
118 1526 -18 108 (11)A> 0212 102
119 1533 -21 108 <A(11) 01 0211 102
120 1581 -37 <A(11) 019 0211 102
121 1587 -39 <C(21) 0110 0211 102
122 1592 -36 (12)C> 0110 0211 102
123 1632 -16 1010 (12)C> 0211 102
124 1636 -14 1011 (11)A> 0210 102
125 1643 -17 1011 <A(11) 01 029 102
126 1709 -39 <A(11) 0112 029 102
127 1715 -41 <C(21) 0113 029 102
128 1720 -38 (12)C> 0113 029 102
129 1772 -12 1013 (12)C> 029 102
130 1776 -10 1014 (11)A> 028 102
131 1783 -13 1014 <A(11) 01 027 102
132 1867 -41 <A(11) 0115 027 102
133 1873 -43 <C(21) 0116 027 102
134 1878 -40 (12)C> 0116 027 102
135 1942 -8 1016 (12)C> 027 102
136 1946 -6 1017 (11)A> 026 102
137 1953 -9 1017 <A(11) 01 025 102
138 2055 -43 <A(11) 0118 025 102
139 2061 -45 <C(21) 0119 025 102
140 2066 -42 (12)C> 0119 025 102
141 2142 -4 1019 (12)C> 025 102
142 2146 -2 1020 (11)A> 024 102
143 2153 -5 1020 <A(11) 01 023 102
144 2273 -45 <A(11) 0121 023 102
145 2279 -47 <C(21) 0122 023 102
146 2284 -44 (12)C> 0122 023 102
147 2372 0 1022 (12)C> 023 102
148 2376 2 1023 (11)A> 022 102
149 2383 -1 1023 <A(11) 01 02 102
150 2521 -47 <A(11) 0124 02 102
151 2527 -49 <C(21) 0125 02 102
152 2532 -46 (12)C> 0125 02 102
153 2632 4 1025 (12)C> 02 102
154 2636 6 1026 (11)A> 102
155 2640 8 1026 11 (01)A> 10
156 2644 10 1026 11 01 (01)A>
157 2653 7 1026 11 01 <B(10) 02
158 2659 5 1026 11 <B(10) 10 02
159 2663 3 1026 <B(10) 102 02
160 2665 1 1025 <B(02) 103 02
161 2715 -49 <B(02) 0225 103 02
162 2717 -51 <D(22) 0226 103 02
163 2720 -48 (01)A> 0226 103 02
164 2727 -51 <C(21) 01 0225 103 02
165 2732 -48 (12)C> 01 0225 103 02
166 2736 -46 10 (12)C> 0225 103 02
167 2740 -44 102 (11)A> 0224 103 02
168 2747 -47 102 <A(11) 01 0223 103 02
169 2759 -51 <A(11) 013 0223 103 02
170 2765 -53 <C(21) 014 0223 103 02
171 2770 -50 (12)C> 014 0223 103 02
172 2786 -42 104 (12)C> 0223 103 02
173 2790 -40 105 (11)A> 0222 103 02
174 2797 -43 105 <A(11) 01 0221 103 02
175 2827 -53 <A(11) 016 0221 103 02
176 2833 -55 <C(21) 017 0221 103 02
177 2838 -52 (12)C> 017 0221 103 02
178 2866 -38 107 (12)C> 0221 103 02
179 2870 -36 108 (11)A> 0220 103 02
180 2877 -39 108 <A(11) 01 0219 103 02
181 2925 -55 <A(11) 019 0219 103 02
182 2931 -57 <C(21) 0110 0219 103 02
183 2936 -54 (12)C> 0110 0219 103 02
184 2976 -34 1010 (12)C> 0219 103 02
185 2980 -32 1011 (11)A> 0218 103 02
186 2987 -35 1011 <A(11) 01 0217 103 02
187 3053 -57 <A(11) 0112 0217 103 02
188 3059 -59 <C(21) 0113 0217 103 02
189 3064 -56 (12)C> 0113 0217 103 02
190 3116 -30 1013 (12)C> 0217 103 02
191 3120 -28 1014 (11)A> 0216 103 02
192 3127 -31 1014 <A(11) 01 0215 103 02
193 3211 -59 <A(11) 0115 0215 103 02
194 3217 -61 <C(21) 0116 0215 103 02
195 3222 -58 (12)C> 0116 0215 103 02
196 3286 -26 1016 (12)C> 0215 103 02
197 3290 -24 1017 (11)A> 0214 103 02
198 3297 -27 1017 <A(11) 01 0213 103 02
199 3399 -61 <A(11) 0118 0213 103 02
200 3405 -63 <C(21) 0119 0213 103 02
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 3405
Tape index: -63
nonzeros: 38
log10(nonzeros): 1.580
log10(steps ): 3.532
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #c (T.J. & S. Ligocki)
: >1.6x10^809 >7.7x10^1618
5T 1RB 2RC 1RA 2LC 1LA 1LB 2LD 0LB 0RC 0RD 1RH 0RA
L 12
M 201
pref sim
machv Lig43_c just simple
machv Lig43_c-r with repetitions reduced
machv Lig43_c-1 with tape symbol exponents
machv Lig43_c-m as 2-bck-macro machine
machv Lig43_c-a as 2-bck-macro machine with pure additive config-TRs
iam Lig43_c-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:03 CEST 2010
edate Tue Jul 6 22:14:04 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:03 CEST 2010