Comment: This TM produces 1,194,050,967 nonzeros in 339,466,124,499,007,214 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 | 3RB | 3RA | 1RH | 2LB | 1 | right | B | 3 | right | B | 3 | right | A | 1 | right | H | 2 | left | B |
| B | 2LA | 4RA | 4RB | 2LB | 0RA | 2 | left | A | 4 | right | A | 4 | right | B | 2 | left | B | 0 | right | A |
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 . . . 12
3 1 B . . . 32
4 2 B . . . 340
5 1 A . . . 342
6 0 B . . . 322
7 -1 B . . .0222
8 -2 A . . 02222
9 -1 B . . 12222
+ 13 3 B . . 144440 by B/2 * 4
14 2 A . . 144442
15 1 B . . 144422
16 2 A . . 144022
+ 18 4 A . . 1440330 by A/2 * 2
19 5 B . . 14403310
20 4 A . . 14403312
21 5 B . . 14403332
22 6 B . . 144033340
23 5 A . . 144033342
24 4 B . . 144033322
+ 27 1 B . . 144022222 by B/3 * 3
28 0 A . . 144222222
29 -1 B . . 142222222
30 0 A . . 102222222
+ 37 7 A . . 1033333330 by A/2 * 7
38 8 B . . 10333333310
39 7 A . . 10333333312
40 8 B . . 10333333332
41 9 B . . 103333333340
42 8 A . . 103333333342
43 7 B . . 103333333322
+ 51 -1 B . . 102222222222 by B/3 * 8
52 -2 A . . 122222222222
53 -1 B . . 322222222222
+ 64 10 B . . 3444444444440 by B/2 * 11
65 9 A . . 3444444444442
66 8 B . . 3444444444422
67 9 A . . 3444444444022
+ 69 11 A . . 34444444440330 by A/2 * 2
70 12 B . . 344444444403310
71 11 A . . 344444444403312
72 12 B . . 344444444403332
73 13 B . . 3444444444033340
74 12 A . . 3444444444033342
75 11 B . . 3444444444033322
+ 78 8 B . . 3444444444022222 by B/3 * 3
79 7 A . . 3444444444222222
80 6 B . . 3444444442222222
81 7 A . . 3444444402222222
+ 88 14 A . . 34444444033333330 by A/2 * 7
89 15 B . . 344444440333333310
90 14 A . . 344444440333333312
91 15 B . . 344444440333333332
92 16 B . . 3444444403333333340
93 15 A . . 3444444403333333342
94 14 B . . 3444444403333333322
+ 102 6 B . . 3444444402222222222 by B/3 * 8
103 5 A . . 3444444422222222222
104 4 B . . 3444444222222222222
105 5 A . . 3444440222222222222
+ 117 17 A . . 34444403333333333330 by A/2 * 12
118 18 B . . 344444033333333333310
119 17 A . . 344444033333333333312
120 18 B . . 344444033333333333332
121 19 B . . 3444440333333333333340
122 18 A . . 3444440333333333333342
123 17 B . . 3444440333333333333322
+ 136 4 B . . 3444440222222222222222 by B/3 * 13
137 3 A . . 3444442222222222222222
138 2 B . . 3444422222222222222222
139 3 A . . 3444022222222222222222
+ 156 20 A . . 34440333333333333333330 by A/2 * 17
157 21 B . . 344403333333333333333310
158 20 A . . 344403333333333333333312
159 21 B . . 344403333333333333333332
160 22 B . . 3444033333333333333333340
161 21 A . . 3444033333333333333333342
162 20 B . . 3444033333333333333333322
+ 180 2 B . . 3444022222222222222222222 by B/3 * 18
181 1 A . . 3444222222222222222222222
182 0 B . . 3442222222222222222222222
183 1 A . . 3402222222222222222222222
+ 205 23 A . . 34033333333333333333333330 by A/2 * 22
206 24 B . . 340333333333333333333333310
207 23 A . . 340333333333333333333333312
208 24 B . . 340333333333333333333333332
209 25 B . . 3403333333333333333333333340
210 24 A . . 3403333333333333333333333342
211 23 B . . 3403333333333333333333333322
+ 234 0 B . . 3402222222222222222222222222 by B/3 * 23
235 -1 A . . 3422222222222222222222222222
236 -2 B . . 3222222222222222222222222222
237 -3 B . .02222222222222222222222222222
238 -4 A . 022222222222222222222222222222
239 -3 B . 122222222222222222222222222222
+ 268 26 B . 1444444444444444444444444444440 by B/2 * 29
269 25 A . 1444444444444444444444444444442
270 24 B . 1444444444444444444444444444422
271 25 A . 1444444444444444444444444444022
+ 273 27 A . 14444444444444444444444444440330 by A/2 * 2
274 28 B . 144444444444444444444444444403310
275 27 A . 144444444444444444444444444403312
276 28 B . 144444444444444444444444444403332
277 29 B . 1444444444444444444444444444033340
278 28 A . 1444444444444444444444444444033342
279 27 B . 1444444444444444444444444444033322
+ 282 24 B . 1444444444444444444444444444022222 by B/3 * 3
283 23 A . 1444444444444444444444444444222222
284 22 B . 1444444444444444444444444442222222
285 23 A . 1444444444444444444444444402222222
+ 292 30 A . 14444444444444444444444444033333330 by A/2 * 7
293 31 B . 144444444444444444444444440333333310
294 30 A . 144444444444444444444444440333333312
295 31 B . 144444444444444444444444440333333332
296 32 B . 1444444444444444444444444403333333340
297 31 A . 1444444444444444444444444403333333342
298 30 B . 1444444444444444444444444403333333322
+ 306 22 B . 1444444444444444444444444402222222222 by B/3 * 8
307 21 A . 1444444444444444444444444422222222222
308 20 B . 1444444444444444444444444222222222222
309 21 A . 1444444444444444444444440222222222222
+ 321 33 A . 14444444444444444444444403333333333330 by A/2 * 12
322 34 B . 144444444444444444444444033333333333310
323 33 A . 144444444444444444444444033333333333312
324 34 B . 144444444444444444444444033333333333332
325 35 B . 1444444444444444444444440333333333333340
326 34 A . 1444444444444444444444440333333333333342
327 33 B . 1444444444444444444444440333333333333322
+ 340 20 B . 1444444444444444444444440222222222222222 by B/3 * 13
341 19 A . 1444444444444444444444442222222222222222
342 18 B . 1444444444444444444444422222222222222222
343 19 A . 1444444444444444444444022222222222222222
+ 360 36 A . 14444444444444444444440333333333333333330 by A/2 * 17
361 37 B . 144444444444444444444403333333333333333310
362 36 A . 144444444444444444444403333333333333333312
363 37 B . 144444444444444444444403333333333333333332
364 38 B . 1444444444444444444444033333333333333333340
365 37 A . 1444444444444444444444033333333333333333342
366 36 B . 1444444444444444444444033333333333333333322
+ 384 18 B . 1444444444444444444444022222222222222222222 by B/3 * 18
385 17 A . 1444444444444444444444222222222222222222222
386 16 B . 1444444444444444444442222222222222222222222
387 17 A . 1444444444444444444402222222222222222222222
+ 409 39 A . 14444444444444444444033333333333333333333330 by A/2 * 22
410 40 B . 144444444444444444440333333333333333333333310
411 39 A . 144444444444444444440333333333333333333333312
412 40 B . 144444444444444444440333333333333333333333332
413 41 B . 1444444444444444444403333333333333333333333340
414 40 A . 1444444444444444444403333333333333333333333342
415 39 B . 1444444444444444444403333333333333333333333322
+ 438 16 B . 1444444444444444444402222222222222222222222222 by B/3 * 23
439 15 A . 1444444444444444444422222222222222222222222222
440 14 B . 1444444444444444444222222222222222222222222222
441 15 A . 1444444444444444440222222222222222222222222222
+ 468 42 A . 14444444444444444403333333333333333333333333330 by A/2 * 27
469 43 B . 144444444444444444033333333333333333333333333310
470 42 A . 144444444444444444033333333333333333333333333312
471 43 B . 144444444444444444033333333333333333333333333332
472 44 B . 1444444444444444440333333333333333333333333333340
473 43 A . 1444444444444444440333333333333333333333333333342
474 42 B . 1444444444444444440333333333333333333333333333322
+ 502 14 B . 1444444444444444440222222222222222222222222222222 by B/3 * 28
503 13 A . 1444444444444444442222222222222222222222222222222
504 12 B . 1444444444444444422222222222222222222222222222222
505 13 A . 1444444444444444022222222222222222222222222222222
+ 537 45 A . 14444444444444440333333333333333333333333333333330 by A/2 * 32
538 46 B . 144444444444444403333333333333333333333333333333310
539 45 A . 144444444444444403333333333333333333333333333333312
540 46 B . 144444444444444403333333333333333333333333333333332
541 47 B . 1444444444444444033333333333333333333333333333333340
542 46 A . 1444444444444444033333333333333333333333333333333342
543 45 B . 1444444444444444033333333333333333333333333333333322
+ 576 12 B . 1444444444444444022222222222222222222222222222222222 by B/3 * 33
577 11 A . 1444444444444444222222222222222222222222222222222222
578 10 B . 1444444444444442222222222222222222222222222222222222
579 11 A . 1444444444444402222222222222222222222222222222222222
+ 616 48 A . 14444444444444033333333333333333333333333333333333330 by A/2 * 37
617 49 B . 144444444444440333333333333333333333333333333333333310
618 48 A . 144444444444440333333333333333333333333333333333333312
619 49 B . 144444444444440333333333333333333333333333333333333332
620 50 B . 1444444444444403333333333333333333333333333333333333340
621 49 A . 1444444444444403333333333333333333333333333333333333342
622 48 B . 1444444444444403333333333333333333333333333333333333322
+ 660 10 B . 1444444444444402222222222222222222222222222222222222222 by B/3 * 38
661 9 A . 1444444444444422222222222222222222222222222222222222222
662 8 B . 1444444444444222222222222222222222222222222222222222222
663 9 A . 1444444444440222222222222222222222222222222222222222222
+ 705 51 A . 14444444444403333333333333333333333333333333333333333330 by A/2 * 42
706 52 B . 144444444444033333333333333333333333333333333333333333310
707 51 A . 144444444444033333333333333333333333333333333333333333312
708 52 B . 144444444444033333333333333333333333333333333333333333332
709 53 B . 1444444444440333333333333333333333333333333333333333333340
710 52 A . 1444444444440333333333333333333333333333333333333333333342
711 51 B . 1444444444440333333333333333333333333333333333333333333322
+ 754 8 B . 1444444444440222222222222222222222222222222222222222222222 by B/3 * 43
755 7 A . 1444444444442222222222222222222222222222222222222222222222
756 6 B . 1444444444422222222222222222222222222222222222222222222222
757 7 A . 1444444444022222222222222222222222222222222222222222222222
+ 804 54 A . 14444444440333333333333333333333333333333333333333333333330 by A/2 * 47
805 55 B . 144444444403333333333333333333333333333333333333333333333310
After 805 steps (201 lines): state = B.
Produced 58 nonzeros.
Tape index 55, scanned [-4 .. 54].
| 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 | 387 | 20 | 18 | 314 | 35 | 0 | 2 | 16 | 5 | ||
| B | 418 | 55 | 61 | 285 | 17 | 1 | 3 | 6 | 15 | ||