Comment: This TM produces 36,543,045 nonzeros in 417,310,842,648,366 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | 1RB | 2RA | 1LA | 1LB | 3LB | 1 | right | B | 2 | right | A | 1 | left | A | 1 | left | B | 3 | left | B |
| B | 2LA | 3RB | 1RH | 4RA | 1LA | 2 | left | A | 3 | right | B | 1 | right | H | 4 | right | A | 1 | left | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-bck-bck-macro machine.
The same TM as 1-bck-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)(0)A>
1 1 1 (0)(1)B>
2 8 2 1 (3)(3)B>
3 15 -1 1 <B(3)(1) 1
4 18 2 3 (4)(2)A> 1
5 19 3 3 4 (2)(2)A>
6 20 4 3 4 2 (2)(1)B>
7 25 1 3 4 2 <A(1)(1) 1
8 26 0 3 4 <A(1)(1) 12
9 27 -1 3 <B(3)(1) 13
10 30 -2 <A(1)(1) 14
11 33 1 1 (3)(3)B> 14
12 37 5 1 34 (3)(3)B>
13 44 2 1 34 <B(3)(1) 1
14 47 1 1 33 <A(1)(1) 12
15 48 0 1 32 <B(1)(1) 13
16 51 3 1 3 4 (2)(2)A> 13
17 54 6 1 3 4 23 (2)(2)A>
18 55 7 1 3 4 24 (2)(1)B>
19 60 4 1 3 4 24 <A(1)(1) 1
20 64 0 1 3 4 <A(1)(1) 15
21 65 -1 1 3 <B(3)(1) 16
22 68 -2 1 <A(1)(1) 17
23 71 1 2 (2)(2)A> 17
24 78 8 28 (2)(2)A>
25 79 9 29 (2)(1)B>
26 84 6 29 <A(1)(1) 1
27 93 -3 <A(1)(1) 110
28 96 0 1 (3)(3)B> 110
29 106 10 1 310 (3)(3)B>
30 113 7 1 310 <B(3)(1) 1
31 116 6 1 39 <A(1)(1) 12
32 117 5 1 38 <B(1)(1) 13
33 120 8 1 37 4 (2)(2)A> 13
34 123 11 1 37 4 23 (2)(2)A>
35 124 12 1 37 4 24 (2)(1)B>
36 129 9 1 37 4 24 <A(1)(1) 1
37 133 5 1 37 4 <A(1)(1) 15
38 134 4 1 37 <B(3)(1) 16
39 137 3 1 36 <A(1)(1) 17
40 138 2 1 35 <B(1)(1) 18
41 141 5 1 34 4 (2)(2)A> 18
42 149 13 1 34 4 28 (2)(2)A>
43 150 14 1 34 4 29 (2)(1)B>
44 155 11 1 34 4 29 <A(1)(1) 1
45 164 2 1 34 4 <A(1)(1) 110
46 165 1 1 34 <B(3)(1) 111
47 168 0 1 33 <A(1)(1) 112
48 169 -1 1 32 <B(1)(1) 113
49 172 2 1 3 4 (2)(2)A> 113
50 185 15 1 3 4 213 (2)(2)A>
51 186 16 1 3 4 214 (2)(1)B>
52 191 13 1 3 4 214 <A(1)(1) 1
53 205 -1 1 3 4 <A(1)(1) 115
54 206 -2 1 3 <B(3)(1) 116
55 209 -3 1 <A(1)(1) 117
56 212 0 2 (2)(2)A> 117
57 229 17 218 (2)(2)A>
58 230 18 219 (2)(1)B>
59 235 15 219 <A(1)(1) 1
60 254 -4 <A(1)(1) 120
61 257 -1 1 (3)(3)B> 120
62 277 19 1 320 (3)(3)B>
63 284 16 1 320 <B(3)(1) 1
64 287 15 1 319 <A(1)(1) 12
65 288 14 1 318 <B(1)(1) 13
66 291 17 1 317 4 (2)(2)A> 13
67 294 20 1 317 4 23 (2)(2)A>
68 295 21 1 317 4 24 (2)(1)B>
69 300 18 1 317 4 24 <A(1)(1) 1
70 304 14 1 317 4 <A(1)(1) 15
71 305 13 1 317 <B(3)(1) 16
72 308 12 1 316 <A(1)(1) 17
73 309 11 1 315 <B(1)(1) 18
74 312 14 1 314 4 (2)(2)A> 18
75 320 22 1 314 4 28 (2)(2)A>
76 321 23 1 314 4 29 (2)(1)B>
77 326 20 1 314 4 29 <A(1)(1) 1
78 335 11 1 314 4 <A(1)(1) 110
79 336 10 1 314 <B(3)(1) 111
80 339 9 1 313 <A(1)(1) 112
81 340 8 1 312 <B(1)(1) 113
82 343 11 1 311 4 (2)(2)A> 113
83 356 24 1 311 4 213 (2)(2)A>
84 357 25 1 311 4 214 (2)(1)B>
85 362 22 1 311 4 214 <A(1)(1) 1
86 376 8 1 311 4 <A(1)(1) 115
87 377 7 1 311 <B(3)(1) 116
88 380 6 1 310 <A(1)(1) 117
89 381 5 1 39 <B(1)(1) 118
90 384 8 1 38 4 (2)(2)A> 118
91 402 26 1 38 4 218 (2)(2)A>
92 403 27 1 38 4 219 (2)(1)B>
93 408 24 1 38 4 219 <A(1)(1) 1
94 427 5 1 38 4 <A(1)(1) 120
95 428 4 1 38 <B(3)(1) 121
96 431 3 1 37 <A(1)(1) 122
97 432 2 1 36 <B(1)(1) 123
98 435 5 1 35 4 (2)(2)A> 123
99 458 28 1 35 4 223 (2)(2)A>
100 459 29 1 35 4 224 (2)(1)B>
101 464 26 1 35 4 224 <A(1)(1) 1
102 488 2 1 35 4 <A(1)(1) 125
103 489 1 1 35 <B(3)(1) 126
104 492 0 1 34 <A(1)(1) 127
105 493 -1 1 33 <B(1)(1) 128
106 496 2 1 32 4 (2)(2)A> 128
107 524 30 1 32 4 228 (2)(2)A>
108 525 31 1 32 4 229 (2)(1)B>
109 530 28 1 32 4 229 <A(1)(1) 1
110 559 -1 1 32 4 <A(1)(1) 130
111 560 -2 1 32 <B(3)(1) 131
112 563 -3 1 3 <A(1)(1) 132
113 564 -4 1 <B(1)(1) 133
114 567 -1 3 (3)(3)B> 133
115 600 32 334 (3)(3)B>
116 607 29 334 <B(3)(1) 1
117 610 28 333 <A(1)(1) 12
118 611 27 332 <B(1)(1) 13
119 614 30 331 4 (2)(2)A> 13
120 617 33 331 4 23 (2)(2)A>
121 618 34 331 4 24 (2)(1)B>
122 623 31 331 4 24 <A(1)(1) 1
123 627 27 331 4 <A(1)(1) 15
124 628 26 331 <B(3)(1) 16
125 631 25 330 <A(1)(1) 17
126 632 24 329 <B(1)(1) 18
127 635 27 328 4 (2)(2)A> 18
128 643 35 328 4 28 (2)(2)A>
129 644 36 328 4 29 (2)(1)B>
130 649 33 328 4 29 <A(1)(1) 1
131 658 24 328 4 <A(1)(1) 110
132 659 23 328 <B(3)(1) 111
133 662 22 327 <A(1)(1) 112
134 663 21 326 <B(1)(1) 113
135 666 24 325 4 (2)(2)A> 113
136 679 37 325 4 213 (2)(2)A>
137 680 38 325 4 214 (2)(1)B>
138 685 35 325 4 214 <A(1)(1) 1
139 699 21 325 4 <A(1)(1) 115
140 700 20 325 <B(3)(1) 116
141 703 19 324 <A(1)(1) 117
142 704 18 323 <B(1)(1) 118
143 707 21 322 4 (2)(2)A> 118
144 725 39 322 4 218 (2)(2)A>
145 726 40 322 4 219 (2)(1)B>
146 731 37 322 4 219 <A(1)(1) 1
147 750 18 322 4 <A(1)(1) 120
148 751 17 322 <B(3)(1) 121
149 754 16 321 <A(1)(1) 122
150 755 15 320 <B(1)(1) 123
151 758 18 319 4 (2)(2)A> 123
152 781 41 319 4 223 (2)(2)A>
153 782 42 319 4 224 (2)(1)B>
154 787 39 319 4 224 <A(1)(1) 1
155 811 15 319 4 <A(1)(1) 125
156 812 14 319 <B(3)(1) 126
157 815 13 318 <A(1)(1) 127
158 816 12 317 <B(1)(1) 128
159 819 15 316 4 (2)(2)A> 128
160 847 43 316 4 228 (2)(2)A>
161 848 44 316 4 229 (2)(1)B>
162 853 41 316 4 229 <A(1)(1) 1
163 882 12 316 4 <A(1)(1) 130
164 883 11 316 <B(3)(1) 131
165 886 10 315 <A(1)(1) 132
166 887 9 314 <B(1)(1) 133
167 890 12 313 4 (2)(2)A> 133
168 923 45 313 4 233 (2)(2)A>
169 924 46 313 4 234 (2)(1)B>
170 929 43 313 4 234 <A(1)(1) 1
171 963 9 313 4 <A(1)(1) 135
172 964 8 313 <B(3)(1) 136
173 967 7 312 <A(1)(1) 137
174 968 6 311 <B(1)(1) 138
175 971 9 310 4 (2)(2)A> 138
176 1009 47 310 4 238 (2)(2)A>
177 1010 48 310 4 239 (2)(1)B>
178 1015 45 310 4 239 <A(1)(1) 1
179 1054 6 310 4 <A(1)(1) 140
180 1055 5 310 <B(3)(1) 141
181 1058 4 39 <A(1)(1) 142
182 1059 3 38 <B(1)(1) 143
183 1062 6 37 4 (2)(2)A> 143
184 1105 49 37 4 243 (2)(2)A>
185 1106 50 37 4 244 (2)(1)B>
186 1111 47 37 4 244 <A(1)(1) 1
187 1155 3 37 4 <A(1)(1) 145
188 1156 2 37 <B(3)(1) 146
189 1159 1 36 <A(1)(1) 147
190 1160 0 35 <B(1)(1) 148
191 1163 3 34 4 (2)(2)A> 148
192 1211 51 34 4 248 (2)(2)A>
193 1212 52 34 4 249 (2)(1)B>
194 1217 49 34 4 249 <A(1)(1) 1
195 1266 0 34 4 <A(1)(1) 150
196 1267 -1 34 <B(3)(1) 151
197 1270 -2 33 <A(1)(1) 152
198 1271 -3 32 <B(1)(1) 153
199 1274 0 3 4 (2)(2)A> 153
200 1327 53 3 4 253 (2)(2)A>
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1327
Tape index: 53
nonzeros: 57
log10(nonzeros): 1.756
log10(steps ): 3.123
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #d from T.J. & S. Ligocki
5T 1RB 2RA 1LA 1LB 3LB 2LA 3RB 1RH 4RA 1LA
: 36,543,045 417,310,842,648,366
L 6
M 201
pref sim
machv Lig25_d just simple
machv Lig25_d-r with repetitions reduced
machv Lig25_d-1 with tape symbol exponents
machv Lig25_d-m as 1-bck-bck-macro machine
machv Lig25_d-a as 1-bck-bck-macro machine with pure additive config-TRs
iam Lig25_d-m
mtype 1 0 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:42 CEST 2010
edate Tue Jul 6 22:12:42 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:12:42 CEST 2010