Comment: This TM produces >1.7x10^352 nonzeros in >1.9x10^704 steps. Comment: This is a current 2x5 champion 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 | 1RA | 2LB | 2LA | 1 | right | B | 2 | left | A | 1 | 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 . .410
18 2 B . .4110
19 1 A . .4110
+ 21 -1 A . .4220 by A/1 * 2
22 -2 A . 02220
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 . 13410
31 3 B . 134110
32 2 A . 134110
+ 34 0 A . 134220 by A/1 * 2
35 -1 A . 132220
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 . 233410
46 4 B . 2334110
47 3 A . 2334110
+ 49 1 A . 2334220 by A/1 * 2
50 0 A . 2332220
51 -1 B . 2322220
52 0 A . 2422220
+ 56 4 A . 2411110 by A/2 * 4
57 5 B . 24111110
58 4 A . 24111110
+ 63 -1 A . 24222220 by A/1 * 5
64 -2 A . 22222220
+ 71 5 A . 11111110 by A/2 * 7
72 6 B . 111111110
73 5 A . 111111110
+ 81 -3 A .0222222220 by A/1 * 8
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 .1333333410
95 7 B .13333334110
96 6 A .13333334110
+ 98 4 A .13333334220 by A/1 * 2
99 3 A .13333332220
100 2 B .13333322220
101 3 A .13333422220
+ 105 7 A .13333411110 by A/2 * 4
106 8 B .133334111110
107 7 A .133334111110
+ 112 2 A .133334222220 by A/1 * 5
113 1 A .133332222220
114 0 B .133322222220
115 1 A .133422222220
+ 122 8 A .133411111110 by A/2 * 7
123 9 B .1334111111110
124 8 A .1334111111110
+ 132 0 A .1334222222220 by A/1 * 8
133 -1 A .1332222222220
134 -2 B .1322222222220
135 -1 A .1422222222220
+ 145 9 A .1411111111110 by A/2 * 10
146 10 B .14111111111110
147 9 A .14111111111110
+ 158 -2 A .14222222222220 by A/1 * 11
159 -3 A .12222222222220
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 133333333333410
179 11 B 1333333333334110
180 10 A 1333333333334110
+ 182 8 A 1333333333334220 by A/1 * 2
183 7 A 1333333333332220
184 6 B 1333333333322220
185 7 A 1333333333422220
+ 189 11 A 1333333333411110 by A/2 * 4
190 12 B 13333333334111110
191 11 A 13333333334111110
+ 196 6 A 13333333334222220 by A/1 * 5
197 5 A 13333333332222220
198 4 B 13333333322222220
199 5 A 13333333422222220
+ 206 12 A 13333333411111110 by A/2 * 7
207 13 B 133333334111111110
208 12 A 133333334111111110
+ 216 4 A 133333334222222220 by A/1 * 8
217 3 A 133333332222222220
218 2 B 133333322222222220
219 3 A 133333422222222220
+ 229 13 A 133333411111111110 by A/2 * 10
230 14 B 1333334111111111110
231 13 A 1333334111111111110
+ 242 2 A 1333334222222222220 by A/1 * 11
243 1 A 1333332222222222220
244 0 B 1333322222222222220
245 1 A 1333422222222222220
+ 258 14 A 1333411111111111110 by A/2 * 13
259 15 B 13334111111111111110
260 14 A 13334111111111111110
+ 274 0 A 13334222222222222220 by A/1 * 14
275 -1 A 13332222222222222220
276 -2 B 13322222222222222220
277 -1 A 13422222222222222220
+ 293 15 A 13411111111111111110 by A/2 * 16
294 16 B 134111111111111111110
295 15 A 134111111111111111110
+ 312 -2 A 134222222222222222220 by A/1 * 17
313 -3 A 132222222222222222220
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 233333333333333333410
339 17 B 2333333333333333334110
340 16 A 2333333333333333334110
+ 342 14 A 2333333333333333334220 by A/1 * 2
343 13 A 2333333333333333332220
344 12 B 2333333333333333322220
345 13 A 2333333333333333422220
+ 349 17 A 2333333333333333411110 by A/2 * 4
350 18 B 23333333333333334111110
351 17 A 23333333333333334111110
+ 356 12 A 23333333333333334222220 by A/1 * 5
357 11 A 23333333333333332222220
358 10 B 23333333333333322222220
359 11 A 23333333333333422222220
+ 366 18 A 23333333333333411111110 by A/2 * 7
367 19 B 233333333333334111111110
368 18 A 233333333333334111111110
+ 376 10 A 233333333333334222222220 by A/1 * 8
377 9 A 233333333333332222222220
378 8 B 233333333333322222222220
379 9 A 233333333333422222222220
+ 389 19 A 233333333333411111111110 by A/2 * 10
390 20 B 2333333333334111111111110
391 19 A 2333333333334111111111110
+ 402 8 A 2333333333334222222222220 by A/1 * 11
403 7 A 2333333333332222222222220
404 6 B 2333333333322222222222220
405 7 A 2333333333422222222222220
+ 418 20 A 2333333333411111111111110 by A/2 * 13
419 21 B 23333333334111111111111110
420 20 A 23333333334111111111111110
+ 434 6 A 23333333334222222222222220 by A/1 * 14
435 5 A 23333333332222222222222220
436 4 B 23333333322222222222222220
437 5 A 23333333422222222222222220
+ 453 21 A 23333333411111111111111110 by A/2 * 16
454 22 B 233333334111111111111111110
455 21 A 233333334111111111111111110
+ 472 4 A 233333334222222222222222220 by A/1 * 17
473 3 A 233333332222222222222222220
474 2 B 233333322222222222222222220
475 3 A 233333422222222222222222220
+ 494 22 A 233333411111111111111111110 by A/2 * 19
495 23 B 2333334111111111111111111110
496 22 A 2333334111111111111111111110
+ 516 2 A 2333334222222222222222222220 by A/1 * 20
517 1 A 2333332222222222222222222220
518 0 B 2333322222222222222222222220
519 1 A 2333422222222222222222222220
+ 541 23 A 2333411111111111111111111110 by A/2 * 22
542 24 B 23334111111111111111111111110
543 23 A 23334111111111111111111111110
+ 566 0 A 23334222222222222222222222220 by A/1 * 23
567 -1 A 23332222222222222222222222220
568 -2 B 23322222222222222222222222220
569 -1 A 23422222222222222222222222220
+ 594 24 A 23411111111111111111111111110 by A/2 * 25
595 25 B 234111111111111111111111111110
596 24 A 234111111111111111111111111110
+ 622 -2 A 234222222222222222222222222220 by A/1 * 26
623 -3 A 232222222222222222222222222220
624 -4 B 222222222222222222222222222220
+ 653 25 B 333333333333333333333333333330 by B/2 * 29
654 24 A 333333333333333333333333333330
655 23 B 333333333333333333333333333320
After 655 steps (201 lines): state = B.
Produced 29 nonzeros.
Tape index 23, 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 | 515 | 29 | 230 | 204 | 29 | 23 | 0 | 2 | 16 | 6 | 21 |
| B | 140 | 34 | 3 | 80 | 23 | 1 | 7 | 4 | 15 | ||