Comment: This TM produces 172,312,766,455 nonzeros in 7,069,449,877,176,007,352,687 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 | 0RB | 4RA | 2LB | 2LA | 1 | right | B | 0 | right | B | 4 | right | A | 2 | left | B | 2 | left | A |
| B | 2LA | 1LB | 3RB | 4RA | 1RH | 2 | left | A | 1 | left | 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 . . . 12
3 1 B . . . 02
4 2 B . . . 030
5 1 A . . . 032
6 0 B . . . 022
7 -1 A . . .0222
8 0 B . . .1222
+ 11 3 B . . .13330 by B/2 * 3
12 2 A . . .13332
13 1 B . . .13322
14 2 A . . .13422
+ 16 4 A . . .134440 by A/2 * 2
17 5 B . . .1344410
18 4 A . . .1344412
19 5 B . . .1344402
20 6 B . . .13444030
21 5 A . . .13444032
22 4 B . . .13444022
23 3 A . . .13444222
+ 26 0 A . . .13222222 by A/4 * 3
27 -1 B . . .12222222
28 -2 B . . 012222222
29 -3 A . .0212222222
30 -2 B . .1212222222
31 -1 B . .1312222222
32 -2 B . .1312222222
33 -1 A . .1412222222
34 0 B . .1402222222
+ 41 7 B . .14033333330 by B/2 * 7
42 6 A . .14033333332
43 5 B . .14033333322
44 6 A . .14033333422
+ 46 8 A . .140333334440 by A/2 * 2
47 9 B . .1403333344410
48 8 A . .1403333344412
49 9 B . .1403333344402
50 10 B . .14033333444030
51 9 A . .14033333444032
52 8 B . .14033333444022
53 7 A . .14033333444222
+ 56 4 A . .14033333222222 by A/4 * 3
57 3 B . .14033332222222
58 4 A . .14033342222222
+ 65 11 A . .140333444444440 by A/2 * 7
66 12 B . .1403334444444410
67 11 A . .1403334444444412
68 12 B . .1403334444444402
69 13 B . .14033344444444030
70 12 A . .14033344444444032
71 11 B . .14033344444444022
72 10 A . .14033344444444222
+ 80 2 A . .14033322222222222 by A/4 * 8
81 1 B . .14033222222222222
82 2 A . .14034222222222222
+ 94 14 A . .140344444444444440 by A/2 * 12
95 15 B . .1403444444444444410
96 14 A . .1403444444444444412
97 15 B . .1403444444444444402
98 16 B . .14034444444444444030
99 15 A . .14034444444444444032
100 14 B . .14034444444444444022
101 13 A . .14034444444444444222
+ 114 0 A . .14032222222222222222 by A/4 * 13
115 -1 B . .14022222222222222222
116 -2 A . .14222222222222222222
117 -3 A . .12222222222222222222
118 -2 B . .02222222222222222222
+ 137 17 B . .033333333333333333330 by B/2 * 19
138 16 A . .033333333333333333332
139 15 B . .033333333333333333322
140 16 A . .033333333333333333422
+ 142 18 A . .0333333333333333334440 by A/2 * 2
143 19 B . .03333333333333333344410
144 18 A . .03333333333333333344412
145 19 B . .03333333333333333344402
146 20 B . .033333333333333333444030
147 19 A . .033333333333333333444032
148 18 B . .033333333333333333444022
149 17 A . .033333333333333333444222
+ 152 14 A . .033333333333333333222222 by A/4 * 3
153 13 B . .033333333333333332222222
154 14 A . .033333333333333342222222
+ 161 21 A . .0333333333333333444444440 by A/2 * 7
162 22 B . .03333333333333334444444410
163 21 A . .03333333333333334444444412
164 22 B . .03333333333333334444444402
165 23 B . .033333333333333344444444030
166 22 A . .033333333333333344444444032
167 21 B . .033333333333333344444444022
168 20 A . .033333333333333344444444222
+ 176 12 A . .033333333333333322222222222 by A/4 * 8
177 11 B . .033333333333333222222222222
178 12 A . .033333333333334222222222222
+ 190 24 A . .0333333333333344444444444440 by A/2 * 12
191 25 B . .03333333333333444444444444410
192 24 A . .03333333333333444444444444412
193 25 B . .03333333333333444444444444402
194 26 B . .033333333333334444444444444030
195 25 A . .033333333333334444444444444032
196 24 B . .033333333333334444444444444022
197 23 A . .033333333333334444444444444222
+ 210 10 A . .033333333333332222222222222222 by A/4 * 13
211 9 B . .033333333333322222222222222222
212 10 A . .033333333333422222222222222222
+ 229 27 A . .0333333333334444444444444444440 by A/2 * 17
230 28 B . .03333333333344444444444444444410
231 27 A . .03333333333344444444444444444412
232 28 B . .03333333333344444444444444444402
233 29 B . .033333333333444444444444444444030
234 28 A . .033333333333444444444444444444032
235 27 B . .033333333333444444444444444444022
236 26 A . .033333333333444444444444444444222
+ 254 8 A . .033333333333222222222222222222222 by A/4 * 18
255 7 B . .033333333332222222222222222222222
256 8 A . .033333333342222222222222222222222
+ 278 30 A . .0333333333444444444444444444444440 by A/2 * 22
279 31 B . .03333333334444444444444444444444410
280 30 A . .03333333334444444444444444444444412
281 31 B . .03333333334444444444444444444444402
282 32 B . .033333333344444444444444444444444030
283 31 A . .033333333344444444444444444444444032
284 30 B . .033333333344444444444444444444444022
285 29 A . .033333333344444444444444444444444222
+ 308 6 A . .033333333322222222222222222222222222 by A/4 * 23
309 5 B . .033333333222222222222222222222222222
310 6 A . .033333334222222222222222222222222222
+ 337 33 A . .0333333344444444444444444444444444440 by A/2 * 27
338 34 B . .03333333444444444444444444444444444410
339 33 A . .03333333444444444444444444444444444412
340 34 B . .03333333444444444444444444444444444402
341 35 B . .033333334444444444444444444444444444030
342 34 A . .033333334444444444444444444444444444032
343 33 B . .033333334444444444444444444444444444022
344 32 A . .033333334444444444444444444444444444222
+ 372 4 A . .033333332222222222222222222222222222222 by A/4 * 28
373 3 B . .033333322222222222222222222222222222222
374 4 A . .033333422222222222222222222222222222222
+ 406 36 A . .0333334444444444444444444444444444444440 by A/2 * 32
407 37 B . .03333344444444444444444444444444444444410
408 36 A . .03333344444444444444444444444444444444412
409 37 B . .03333344444444444444444444444444444444402
410 38 B . .033333444444444444444444444444444444444030
411 37 A . .033333444444444444444444444444444444444032
412 36 B . .033333444444444444444444444444444444444022
413 35 A . .033333444444444444444444444444444444444222
+ 446 2 A . .033333222222222222222222222222222222222222 by A/4 * 33
447 1 B . .033332222222222222222222222222222222222222
448 2 A . .033342222222222222222222222222222222222222
+ 485 39 A . .0333444444444444444444444444444444444444440 by A/2 * 37
486 40 B . .03334444444444444444444444444444444444444410
487 39 A . .03334444444444444444444444444444444444444412
488 40 B . .03334444444444444444444444444444444444444402
489 41 B . .033344444444444444444444444444444444444444030
490 40 A . .033344444444444444444444444444444444444444032
491 39 B . .033344444444444444444444444444444444444444022
492 38 A . .033344444444444444444444444444444444444444222
+ 530 0 A . .033322222222222222222222222222222222222222222 by A/4 * 38
531 -1 B . .033222222222222222222222222222222222222222222
532 0 A . .034222222222222222222222222222222222222222222
+ 574 42 A . .0344444444444444444444444444444444444444444440 by A/2 * 42
575 43 B . .03444444444444444444444444444444444444444444410
576 42 A . .03444444444444444444444444444444444444444444412
577 43 B . .03444444444444444444444444444444444444444444402
578 44 B . .034444444444444444444444444444444444444444444030
579 43 A . .034444444444444444444444444444444444444444444032
580 42 B . .034444444444444444444444444444444444444444444022
581 41 A . .034444444444444444444444444444444444444444444222
+ 624 -2 A . .032222222222222222222222222222222222222222222222 by A/4 * 43
625 -3 B . .022222222222222222222222222222222222222222222222
626 -4 A . 0222222222222222222222222222222222222222222222222
627 -3 B . 1222222222222222222222222222222222222222222222222
+ 675 45 B . 13333333333333333333333333333333333333333333333330 by B/2 * 48
676 44 A . 13333333333333333333333333333333333333333333333332
677 43 B . 13333333333333333333333333333333333333333333333322
678 44 A . 13333333333333333333333333333333333333333333333422
+ 680 46 A . 133333333333333333333333333333333333333333333334440 by A/2 * 2
681 47 B . 1333333333333333333333333333333333333333333333344410
682 46 A . 1333333333333333333333333333333333333333333333344412
683 47 B . 1333333333333333333333333333333333333333333333344402
684 48 B . 13333333333333333333333333333333333333333333333444030
685 47 A . 13333333333333333333333333333333333333333333333444032
686 46 B . 13333333333333333333333333333333333333333333333444022
687 45 A . 13333333333333333333333333333333333333333333333444222
+ 690 42 A . 13333333333333333333333333333333333333333333333222222 by A/4 * 3
691 41 B . 13333333333333333333333333333333333333333333332222222
692 42 A . 13333333333333333333333333333333333333333333342222222
+ 699 49 A . 133333333333333333333333333333333333333333333444444440 by A/2 * 7
700 50 B . 1333333333333333333333333333333333333333333334444444410
701 49 A . 1333333333333333333333333333333333333333333334444444412
702 50 B . 1333333333333333333333333333333333333333333334444444402
703 51 B . 13333333333333333333333333333333333333333333344444444030
704 50 A . 13333333333333333333333333333333333333333333344444444032
705 49 B . 13333333333333333333333333333333333333333333344444444022
706 48 A . 13333333333333333333333333333333333333333333344444444222
+ 714 40 A . 13333333333333333333333333333333333333333333322222222222 by A/4 * 8
715 39 B . 13333333333333333333333333333333333333333333222222222222
716 40 A . 13333333333333333333333333333333333333333334222222222222
+ 728 52 A . 133333333333333333333333333333333333333333344444444444440 by A/2 * 12
729 53 B . 1333333333333333333333333333333333333333333444444444444410
After 729 steps (201 lines): state = B.
Produced 57 nonzeros.
Tape index 53, scanned [-4 .. 52].
| 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 | 561 | 20 | 18 | 242 | 35 | 246 | 0 | 2 | 14 | 5 | 23 |
| B | 168 | 55 | 2 | 94 | 17 | 1 | 27 | 3 | 13 | ||