Comment: This TM produces >5.2x10^105 nonzeros in >1.6x10^211 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| 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 | 2LA | 4RA | 2LB | 2LA | 1 | right | B | 2 | left | A | 4 | right | A | 2 | left | B | 2 | left | A |
| B | 0LA | 2RB | 3RB | 4RA | 1RH | 0 | left | A | 2 | right | B | 3 | right | B | 4 | right | A | 1 | right | H |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . 0
1 1 B . . 10
2 0 A . . 10
3 -1 A . .020
4 0 B . .120
5 1 B . .130
6 0 A . .130
7 -1 B . .120
8 0 B . .220
9 1 B . .230
10 0 A . .230
11 -1 B . .220
+ 13 1 B . .330 by B/2 * 2
14 0 A . .330
15 -1 B . .320
16 0 A . .420
17 1 A . .440
18 2 B . .4410
19 1 A . .4410
20 0 A . .4420
+ 22 -2 A . 02220 by A/4 * 2
23 -1 B . 12220
+ 26 2 B . 13330 by B/2 * 3
27 1 A . 13330
28 0 B . 13320
29 1 A . 13420
30 2 A . 13440
31 3 B . 134410
32 2 A . 134410
33 1 A . 134420
+ 35 -1 A . 132220 by A/4 * 2
36 -2 B . 122220
37 -1 B . 222220
+ 41 3 B . 233330 by B/2 * 4
42 2 A . 233330
43 1 B . 233320
44 2 A . 233420
45 3 A . 233440
46 4 B . 2334410
47 3 A . 2334410
48 2 A . 2334420
+ 50 0 A . 2332220 by A/4 * 2
51 -1 B . 2322220
52 0 A . 2422220
+ 56 4 A . 2444440 by A/2 * 4
57 5 B . 24444410
58 4 A . 24444410
59 3 A . 24444420
+ 64 -2 A . 22222220 by A/4 * 5
+ 71 5 A . 44444440 by A/2 * 7
72 6 B . 444444410
73 5 A . 444444410
74 4 A . 444444420
+ 81 -3 A .0222222220 by A/4 * 7
82 -2 B .1222222220
+ 90 6 B .1333333330 by B/2 * 8
91 5 A .1333333330
92 4 B .1333333320
93 5 A .1333333420
94 6 A .1333333440
95 7 B .13333334410
96 6 A .13333334410
97 5 A .13333334420
+ 99 3 A .13333332220 by A/4 * 2
100 2 B .13333322220
101 3 A .13333422220
+ 105 7 A .13333444440 by A/2 * 4
106 8 B .133334444410
107 7 A .133334444410
108 6 A .133334444420
+ 113 1 A .133332222220 by A/4 * 5
114 0 B .133322222220
115 1 A .133422222220
+ 122 8 A .133444444440 by A/2 * 7
123 9 B .1334444444410
124 8 A .1334444444410
125 7 A .1334444444420
+ 133 -1 A .1332222222220 by A/4 * 8
134 -2 B .1322222222220
135 -1 A .1422222222220
+ 145 9 A .1444444444440 by A/2 * 10
146 10 B .14444444444410
147 9 A .14444444444410
148 8 A .14444444444420
+ 159 -3 A .12222222222220 by A/4 * 11
160 -4 A 022222222222220
161 -3 B 122222222222220
+ 174 10 B 133333333333330 by B/2 * 13
175 9 A 133333333333330
176 8 B 133333333333320
177 9 A 133333333333420
178 10 A 133333333333440
179 11 B 1333333333334410
180 10 A 1333333333334410
181 9 A 1333333333334420
+ 183 7 A 1333333333332220 by A/4 * 2
184 6 B 1333333333322220
185 7 A 1333333333422220
+ 189 11 A 1333333333444440 by A/2 * 4
190 12 B 13333333334444410
191 11 A 13333333334444410
192 10 A 13333333334444420
+ 197 5 A 13333333332222220 by A/4 * 5
198 4 B 13333333322222220
199 5 A 13333333422222220
+ 206 12 A 13333333444444440 by A/2 * 7
207 13 B 133333334444444410
208 12 A 133333334444444410
209 11 A 133333334444444420
+ 217 3 A 133333332222222220 by A/4 * 8
218 2 B 133333322222222220
219 3 A 133333422222222220
+ 229 13 A 133333444444444440 by A/2 * 10
230 14 B 1333334444444444410
231 13 A 1333334444444444410
232 12 A 1333334444444444420
+ 243 1 A 1333332222222222220 by A/4 * 11
244 0 B 1333322222222222220
245 1 A 1333422222222222220
+ 258 14 A 1333444444444444440 by A/2 * 13
259 15 B 13334444444444444410
260 14 A 13334444444444444410
261 13 A 13334444444444444420
+ 275 -1 A 13332222222222222220 by A/4 * 14
276 -2 B 13322222222222222220
277 -1 A 13422222222222222220
+ 293 15 A 13444444444444444440 by A/2 * 16
294 16 B 134444444444444444410
295 15 A 134444444444444444410
296 14 A 134444444444444444420
+ 313 -3 A 132222222222222222220 by A/4 * 17
314 -4 B 122222222222222222220
315 -3 B 222222222222222222220
+ 334 16 B 233333333333333333330 by B/2 * 19
335 15 A 233333333333333333330
336 14 B 233333333333333333320
337 15 A 233333333333333333420
338 16 A 233333333333333333440
339 17 B 2333333333333333334410
340 16 A 2333333333333333334410
341 15 A 2333333333333333334420
+ 343 13 A 2333333333333333332220 by A/4 * 2
344 12 B 2333333333333333322220
345 13 A 2333333333333333422220
+ 349 17 A 2333333333333333444440 by A/2 * 4
350 18 B 23333333333333334444410
351 17 A 23333333333333334444410
352 16 A 23333333333333334444420
+ 357 11 A 23333333333333332222220 by A/4 * 5
358 10 B 23333333333333322222220
359 11 A 23333333333333422222220
+ 366 18 A 23333333333333444444440 by A/2 * 7
367 19 B 233333333333334444444410
368 18 A 233333333333334444444410
369 17 A 233333333333334444444420
+ 377 9 A 233333333333332222222220 by A/4 * 8
378 8 B 233333333333322222222220
379 9 A 233333333333422222222220
+ 389 19 A 233333333333444444444440 by A/2 * 10
390 20 B 2333333333334444444444410
391 19 A 2333333333334444444444410
392 18 A 2333333333334444444444420
+ 403 7 A 2333333333332222222222220 by A/4 * 11
404 6 B 2333333333322222222222220
405 7 A 2333333333422222222222220
+ 418 20 A 2333333333444444444444440 by A/2 * 13
419 21 B 23333333334444444444444410
420 20 A 23333333334444444444444410
421 19 A 23333333334444444444444420
+ 435 5 A 23333333332222222222222220 by A/4 * 14
436 4 B 23333333322222222222222220
437 5 A 23333333422222222222222220
+ 453 21 A 23333333444444444444444440 by A/2 * 16
454 22 B 233333334444444444444444410
455 21 A 233333334444444444444444410
456 20 A 233333334444444444444444420
+ 473 3 A 233333332222222222222222220 by A/4 * 17
474 2 B 233333322222222222222222220
475 3 A 233333422222222222222222220
+ 494 22 A 233333444444444444444444440 by A/2 * 19
495 23 B 2333334444444444444444444410
496 22 A 2333334444444444444444444410
497 21 A 2333334444444444444444444420
+ 517 1 A 2333332222222222222222222220 by A/4 * 20
518 0 B 2333322222222222222222222220
519 1 A 2333422222222222222222222220
+ 541 23 A 2333444444444444444444444440 by A/2 * 22
542 24 B 23334444444444444444444444410
543 23 A 23334444444444444444444444410
544 22 A 23334444444444444444444444420
+ 567 -1 A 23332222222222222222222222220 by A/4 * 23
568 -2 B 23322222222222222222222222220
569 -1 A 23422222222222222222222222220
+ 594 24 A 23444444444444444444444444440 by A/2 * 25
595 25 B 234444444444444444444444444410
596 24 A 234444444444444444444444444410
597 23 A 234444444444444444444444444420
+ 623 -3 A 232222222222222222222222222220 by A/4 * 26
624 -4 B 222222222222222222222222222220
+ 653 25 B 333333333333333333333333333330 by B/2 * 29
654 24 A 333333333333333333333333333330
After 654 steps (201 lines): state = A.
Produced 29 nonzeros.
Tape index 24, scanned [-4 .. 25].
| State | Count | Execution count | First in step | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 4 | on 0 | on 1 | on 2 | on 3 | on 4 | ||
| A | 514 | 29 | 26 | 204 | 28 | 227 | 0 | 2 | 16 | 6 | 20 |
| B | 140 | 34 | 3 | 80 | 23 | 1 | 7 | 4 | 15 | ||