Comment: This TM produces >2.2x10^2372 nonzeros in >5.9x10^4744 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 1RA | 1LB | 1RC | 1 | right | B | 1 | right | A | 1 | left | B | 1 | right | C |
| B | 2LA | 0LB | 3LC | 1RH | 2 | left | A | 0 | left | B | 3 | left | C | 1 | right | H |
| C | 1LB | 0RC | 2RA | 2RC | 1 | left | B | 0 | right | C | 2 | right | A | 2 | right | C |
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 13 -3 <B(13) 11
2 20 0 02 (02)C> 11
3 22 2 022 (00)C>
4 33 -1 022 <A(21) 21
5 37 -5 <A(21) 213
6 42 -2 (20)C> 213
7 44 0 20 (21)A> 212
8 47 -3 20 <C(30) 11 21
9 49 -5 <C(31) 30 11 21
10 51 -7 <A(21) 31 30 11 21
11 56 -4 (20)C> 31 30 11 21
12 58 -2 20 (20)C> 30 11 21
13 63 -5 20 <C(31) 31 11 21
14 65 -7 <C(31) 312 11 21
15 67 -9 <A(21) 313 11 21
16 72 -6 (20)C> 313 11 21
17 78 0 203 (20)C> 11 21
18 80 2 204 (00)C> 21
19 82 4 204 00 (21)A>
20 89 1 204 00 <C(30) 01
21 91 -1 204 <A(21) 30 01
22 96 2 204 (20)C> 30 01
23 101 -1 204 <C(31) 31 01
24 109 -9 <C(31) 315 01
25 111 -11 <A(21) 316 01
26 116 -8 (20)C> 316 01
27 128 4 206 (20)C> 01
28 131 1 206 <B(12) 11
29 143 -11 <B(12) 126 11
30 150 -8 02 (02)A> 126 11
31 155 -11 02 <B(13) 01 125 11
32 157 -13 <B(13) 13 01 125 11
33 164 -10 02 (02)C> 13 01 125 11
34 166 -8 022 (02)C> 01 125 11
35 169 -11 022 <B(13) 11 125 11
36 173 -15 <B(13) 132 11 125 11
37 180 -12 02 (02)C> 132 11 125 11
38 184 -8 023 (02)C> 11 125 11
39 186 -6 024 (00)C> 125 11
40 188 -4 024 00 (02)A> 124 11
41 193 -7 024 00 <B(13) 01 123 11
42 200 -4 025 (02)C> 01 123 11
43 203 -7 025 <B(13) 11 123 11
44 213 -17 <B(13) 135 11 123 11
45 220 -14 02 (02)C> 135 11 123 11
46 230 -4 026 (02)C> 11 123 11
47 232 -2 027 (00)C> 123 11
48 234 0 027 00 (02)A> 122 11
49 239 -3 027 00 <B(13) 01 12 11
50 246 0 028 (02)C> 01 12 11
51 249 -3 028 <B(13) 11 12 11
52 265 -19 <B(13) 138 11 12 11
53 272 -16 02 (02)C> 138 11 12 11
54 288 0 029 (02)C> 11 12 11
55 290 2 0210 (00)C> 12 11
56 292 4 0210 00 (02)A> 11
57 294 6 0210 00 02 (11)A>
58 301 3 0210 00 02 <B(00) 01
59 303 1 0210 00 <B(13) 00 01
60 310 4 0211 (02)C> 00 01
61 313 1 0211 <B(13) 10 01
62 335 -21 <B(13) 1311 10 01
63 342 -18 02 (02)C> 1311 10 01
64 364 4 0212 (02)C> 10 01
65 369 1 0212 <A(21) 21 01
66 393 -23 <A(21) 2113 01
67 398 -20 (20)C> 2113 01
68 400 -18 20 (21)A> 2112 01
69 403 -21 20 <C(30) 11 2111 01
70 405 -23 <C(31) 30 11 2111 01
71 407 -25 <A(21) 31 30 11 2111 01
72 412 -22 (20)C> 31 30 11 2111 01
73 414 -20 20 (20)C> 30 11 2111 01
74 419 -23 20 <C(31) 31 11 2111 01
75 421 -25 <C(31) 312 11 2111 01
76 423 -27 <A(21) 313 11 2111 01
77 428 -24 (20)C> 313 11 2111 01
78 434 -18 203 (20)C> 11 2111 01
79 436 -16 204 (00)C> 2111 01
80 438 -14 204 00 (21)A> 2110 01
81 441 -17 204 00 <C(30) 11 219 01
82 443 -19 204 <A(21) 30 11 219 01
83 448 -16 204 (20)C> 30 11 219 01
84 453 -19 204 <C(31) 31 11 219 01
85 461 -27 <C(31) 315 11 219 01
86 463 -29 <A(21) 316 11 219 01
87 468 -26 (20)C> 316 11 219 01
88 480 -14 206 (20)C> 11 219 01
89 482 -12 207 (00)C> 219 01
90 484 -10 207 00 (21)A> 218 01
91 487 -13 207 00 <C(30) 11 217 01
92 489 -15 207 <A(21) 30 11 217 01
93 494 -12 207 (20)C> 30 11 217 01
94 499 -15 207 <C(31) 31 11 217 01
95 513 -29 <C(31) 318 11 217 01
96 515 -31 <A(21) 319 11 217 01
97 520 -28 (20)C> 319 11 217 01
98 538 -10 209 (20)C> 11 217 01
99 540 -8 2010 (00)C> 217 01
100 542 -6 2010 00 (21)A> 216 01
101 545 -9 2010 00 <C(30) 11 215 01
102 547 -11 2010 <A(21) 30 11 215 01
103 552 -8 2010 (20)C> 30 11 215 01
104 557 -11 2010 <C(31) 31 11 215 01
105 577 -31 <C(31) 3111 11 215 01
106 579 -33 <A(21) 3112 11 215 01
107 584 -30 (20)C> 3112 11 215 01
108 608 -6 2012 (20)C> 11 215 01
109 610 -4 2013 (00)C> 215 01
110 612 -2 2013 00 (21)A> 214 01
111 615 -5 2013 00 <C(30) 11 213 01
112 617 -7 2013 <A(21) 30 11 213 01
113 622 -4 2013 (20)C> 30 11 213 01
114 627 -7 2013 <C(31) 31 11 213 01
115 653 -33 <C(31) 3114 11 213 01
116 655 -35 <A(21) 3115 11 213 01
117 660 -32 (20)C> 3115 11 213 01
118 690 -2 2015 (20)C> 11 213 01
119 692 0 2016 (00)C> 213 01
120 694 2 2016 00 (21)A> 212 01
121 697 -1 2016 00 <C(30) 11 21 01
122 699 -3 2016 <A(21) 30 11 21 01
123 704 0 2016 (20)C> 30 11 21 01
124 709 -3 2016 <C(31) 31 11 21 01
125 741 -35 <C(31) 3117 11 21 01
126 743 -37 <A(21) 3118 11 21 01
127 748 -34 (20)C> 3118 11 21 01
128 784 2 2018 (20)C> 11 21 01
129 786 4 2019 (00)C> 21 01
130 788 6 2019 00 (21)A> 01
131 793 3 2019 00 <C(30)
132 795 1 2019 <A(21) 30
133 800 4 2019 (20)C> 30
134 805 1 2019 <C(31) 31
135 843 -37 <C(31) 3120
136 845 -39 <A(21) 3121
137 850 -36 (20)C> 3121
138 892 6 2021 (20)C>
139 895 3 2021 <B(12) 10
140 937 -39 <B(12) 1221 10
141 944 -36 02 (02)A> 1221 10
142 949 -39 02 <B(13) 01 1220 10
143 951 -41 <B(13) 13 01 1220 10
144 958 -38 02 (02)C> 13 01 1220 10
145 960 -36 022 (02)C> 01 1220 10
146 963 -39 022 <B(13) 11 1220 10
147 967 -43 <B(13) 132 11 1220 10
148 974 -40 02 (02)C> 132 11 1220 10
149 978 -36 023 (02)C> 11 1220 10
150 980 -34 024 (00)C> 1220 10
151 982 -32 024 00 (02)A> 1219 10
152 987 -35 024 00 <B(13) 01 1218 10
153 994 -32 025 (02)C> 01 1218 10
154 997 -35 025 <B(13) 11 1218 10
155 1007 -45 <B(13) 135 11 1218 10
156 1014 -42 02 (02)C> 135 11 1218 10
157 1024 -32 026 (02)C> 11 1218 10
158 1026 -30 027 (00)C> 1218 10
159 1028 -28 027 00 (02)A> 1217 10
160 1033 -31 027 00 <B(13) 01 1216 10
161 1040 -28 028 (02)C> 01 1216 10
162 1043 -31 028 <B(13) 11 1216 10
163 1059 -47 <B(13) 138 11 1216 10
164 1066 -44 02 (02)C> 138 11 1216 10
165 1082 -28 029 (02)C> 11 1216 10
166 1084 -26 0210 (00)C> 1216 10
167 1086 -24 0210 00 (02)A> 1215 10
168 1091 -27 0210 00 <B(13) 01 1214 10
169 1098 -24 0211 (02)C> 01 1214 10
170 1101 -27 0211 <B(13) 11 1214 10
171 1123 -49 <B(13) 1311 11 1214 10
172 1130 -46 02 (02)C> 1311 11 1214 10
173 1152 -24 0212 (02)C> 11 1214 10
174 1154 -22 0213 (00)C> 1214 10
175 1156 -20 0213 00 (02)A> 1213 10
176 1161 -23 0213 00 <B(13) 01 1212 10
177 1168 -20 0214 (02)C> 01 1212 10
178 1171 -23 0214 <B(13) 11 1212 10
179 1199 -51 <B(13) 1314 11 1212 10
180 1206 -48 02 (02)C> 1314 11 1212 10
181 1234 -20 0215 (02)C> 11 1212 10
182 1236 -18 0216 (00)C> 1212 10
183 1238 -16 0216 00 (02)A> 1211 10
184 1243 -19 0216 00 <B(13) 01 1210 10
185 1250 -16 0217 (02)C> 01 1210 10
186 1253 -19 0217 <B(13) 11 1210 10
187 1287 -53 <B(13) 1317 11 1210 10
188 1294 -50 02 (02)C> 1317 11 1210 10
189 1328 -16 0218 (02)C> 11 1210 10
190 1330 -14 0219 (00)C> 1210 10
191 1332 -12 0219 00 (02)A> 129 10
192 1337 -15 0219 00 <B(13) 01 128 10
193 1344 -12 0220 (02)C> 01 128 10
194 1347 -15 0220 <B(13) 11 128 10
195 1387 -55 <B(13) 1320 11 128 10
196 1394 -52 02 (02)C> 1320 11 128 10
197 1434 -12 0221 (02)C> 11 128 10
198 1436 -10 0222 (00)C> 128 10
199 1438 -8 0222 00 (02)A> 127 10
200 1443 -11 0222 00 <B(13) 01 126 10
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1443
Tape index: -11
nonzeros: 38
log10(nonzeros): 1.580
log10(steps ): 3.159
Input to awk program:
gohalt 1
nbs 4
T 3-state 4-symbol #h (T.J. & S. Ligocki)
: >2.2x10^2372 >5.9x10^4744
5T 1RB 1RA 1LB 1RC 2LA 0LB 3LC 1RH 1LB 0RC 2RA 2RC
L 16
M 201
pref sim
machv Lig34_h just simple
machv Lig34_h-r with repetitions reduced
machv Lig34_h-1 with tape symbol exponents
machv Lig34_h-m as 2-bck-macro machine
machv Lig34_h-a as 2-bck-macro machine with pure additive config-TRs
iam Lig34_h-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:54 CEST 2010
edate Tue Jul 6 22:13:55 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:13:54 CEST 2010