Comment: This TM produces 1,957,771 nonzeros in 912,594,733,606 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 | B1R | B3L | Z1R | A1L | A1L | 1 | right | B | 3 | left | B | 1 | right | Z | 1 | left | A | 1 | left | A |
| B | A2L | B3R | B4L | B4L | A3R | 2 | left | A | 3 | right | B | 4 | left | B | 4 | left | B | 3 | 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 . . . . . . . . . . . . . . . . . . . . . . . .032
4 -2 A . . . . . . . . . . . . . . . . . . . . . . . 0232
5 -1 B . . . . . . . . . . . . . . . . . . . . . . . 1232
6 -2 B . . . . . . . . . . . . . . . . . . . . . . . 1432
7 -1 B . . . . . . . . . . . . . . . . . . . . . . . 3432
8 0 A . . . . . . . . . . . . . . . . . . . . . . . 3332
+ 11 -3 A . . . . . . . . . . . . . . . . . . . . . . .01112 by A/3 * 3
12 -2 B . . . . . . . . . . . . . . . . . . . . . . .11112
+ 15 1 B . . . . . . . . . . . . . . . . . . . . . . .13332 by B/1 * 3
16 0 B . . . . . . . . . . . . . . . . . . . . . . .13334
+ 19 -3 B . . . . . . . . . . . . . . . . . . . . . . .14444 by B/3 * 3
20 -2 B . . . . . . . . . . . . . . . . . . . . . . .34444
21 -1 A . . . . . . . . . . . . . . . . . . . . . . .33444
22 -2 A . . . . . . . . . . . . . . . . . . . . . . .33144
+ 24 -4 A . . . . . . . . . . . . . . . . . . . . . . 011144 by A/3 * 2
25 -3 B . . . . . . . . . . . . . . . . . . . . . . 111144
+ 28 0 B . . . . . . . . . . . . . . . . . . . . . . 133344 by B/1 * 3
29 1 A . . . . . . . . . . . . . . . . . . . . . . 133334
30 0 A . . . . . . . . . . . . . . . . . . . . . . 133331
+ 34 -4 A . . . . . . . . . . . . . . . . . . . . . . 111111 by A/3 * 4
35 -5 B . . . . . . . . . . . . . . . . . . . . . .0311111
36 -6 A . . . . . . . . . . . . . . . . . . . . . 02311111
37 -5 B . . . . . . . . . . . . . . . . . . . . . 12311111
38 -6 B . . . . . . . . . . . . . . . . . . . . . 14311111
39 -5 B . . . . . . . . . . . . . . . . . . . . . 34311111
40 -4 A . . . . . . . . . . . . . . . . . . . . . 33311111
+ 43 -7 A . . . . . . . . . . . . . . . . . . . . .011111111 by A/3 * 3
44 -6 B . . . . . . . . . . . . . . . . . . . . .111111111
+ 52 2 B . . . . . . . . . . . . . . . . . . . . .1333333330 by B/1 * 8
53 1 A . . . . . . . . . . . . . . . . . . . . .1333333332
+ 61 -7 A . . . . . . . . . . . . . . . . . . . . .1111111112 by A/3 * 8
62 -8 B . . . . . . . . . . . . . . . . . . . . 03111111112
63 -9 A . . . . . . . . . . . . . . . . . . . .023111111112
64 -8 B . . . . . . . . . . . . . . . . . . . .123111111112
65 -9 B . . . . . . . . . . . . . . . . . . . .143111111112
66 -8 B . . . . . . . . . . . . . . . . . . . .343111111112
67 -7 A . . . . . . . . . . . . . . . . . . . .333111111112
+ 70 -10 A . . . . . . . . . . . . . . . . . . . 0111111111112 by A/3 * 3
71 -9 B . . . . . . . . . . . . . . . . . . . 1111111111112
+ 82 2 B . . . . . . . . . . . . . . . . . . . 1333333333332 by B/1 * 11
83 1 B . . . . . . . . . . . . . . . . . . . 1333333333334
+ 94 -10 B . . . . . . . . . . . . . . . . . . . 1444444444444 by B/3 * 11
95 -9 B . . . . . . . . . . . . . . . . . . . 3444444444444
96 -8 A . . . . . . . . . . . . . . . . . . . 3344444444444
97 -9 A . . . . . . . . . . . . . . . . . . . 3314444444444
+ 99 -11 A . . . . . . . . . . . . . . . . . . .01114444444444 by A/3 * 2
100 -10 B . . . . . . . . . . . . . . . . . . .11114444444444
+ 103 -7 B . . . . . . . . . . . . . . . . . . .13334444444444 by B/1 * 3
104 -6 A . . . . . . . . . . . . . . . . . . .13333444444444
105 -7 A . . . . . . . . . . . . . . . . . . .13333144444444
+ 109 -11 A . . . . . . . . . . . . . . . . . . .11111144444444 by A/3 * 4
110 -12 B . . . . . . . . . . . . . . . . . . 031111144444444
111 -13 A . . . . . . . . . . . . . . . . . .0231111144444444
112 -12 B . . . . . . . . . . . . . . . . . .1231111144444444
113 -13 B . . . . . . . . . . . . . . . . . .1431111144444444
114 -12 B . . . . . . . . . . . . . . . . . .3431111144444444
115 -11 A . . . . . . . . . . . . . . . . . .3331111144444444
+ 118 -14 A . . . . . . . . . . . . . . . . . 01111111144444444 by A/3 * 3
119 -13 B . . . . . . . . . . . . . . . . . 11111111144444444
+ 127 -5 B . . . . . . . . . . . . . . . . . 13333333344444444 by B/1 * 8
128 -4 A . . . . . . . . . . . . . . . . . 13333333334444444
129 -5 A . . . . . . . . . . . . . . . . . 13333333331444444
+ 138 -14 A . . . . . . . . . . . . . . . . . 11111111111444444 by A/3 * 9
139 -15 B . . . . . . . . . . . . . . . . .031111111111444444
140 -16 A . . . . . . . . . . . . . . . . 0231111111111444444
141 -15 B . . . . . . . . . . . . . . . . 1231111111111444444
142 -16 B . . . . . . . . . . . . . . . . 1431111111111444444
143 -15 B . . . . . . . . . . . . . . . . 3431111111111444444
144 -14 A . . . . . . . . . . . . . . . . 3331111111111444444
+ 147 -17 A . . . . . . . . . . . . . . . .01111111111111444444 by A/3 * 3
148 -16 B . . . . . . . . . . . . . . . .11111111111111444444
+ 161 -3 B . . . . . . . . . . . . . . . .13333333333333444444 by B/1 * 13
162 -2 A . . . . . . . . . . . . . . . .13333333333333344444
163 -3 A . . . . . . . . . . . . . . . .13333333333333314444
+ 177 -17 A . . . . . . . . . . . . . . . .11111111111111114444 by A/3 * 14
178 -18 B . . . . . . . . . . . . . . . 031111111111111114444
179 -19 A . . . . . . . . . . . . . . .0231111111111111114444
180 -18 B . . . . . . . . . . . . . . .1231111111111111114444
181 -19 B . . . . . . . . . . . . . . .1431111111111111114444
182 -18 B . . . . . . . . . . . . . . .3431111111111111114444
183 -17 A . . . . . . . . . . . . . . .3331111111111111114444
+ 186 -20 A . . . . . . . . . . . . . . 01111111111111111114444 by A/3 * 3
187 -19 B . . . . . . . . . . . . . . 11111111111111111114444
+ 205 -1 B . . . . . . . . . . . . . . 13333333333333333334444 by B/1 * 18
206 0 A . . . . . . . . . . . . . . 13333333333333333333444
207 -1 A . . . . . . . . . . . . . . 13333333333333333333144
+ 226 -20 A . . . . . . . . . . . . . . 11111111111111111111144 by A/3 * 19
227 -21 B . . . . . . . . . . . . . .031111111111111111111144
228 -22 A . . . . . . . . . . . . . 0231111111111111111111144
229 -21 B . . . . . . . . . . . . . 1231111111111111111111144
230 -22 B . . . . . . . . . . . . . 1431111111111111111111144
231 -21 B . . . . . . . . . . . . . 3431111111111111111111144
232 -20 A . . . . . . . . . . . . . 3331111111111111111111144
+ 235 -23 A . . . . . . . . . . . . .01111111111111111111111144 by A/3 * 3
236 -22 B . . . . . . . . . . . . .11111111111111111111111144
+ 259 1 B . . . . . . . . . . . . .13333333333333333333333344 by B/1 * 23
260 2 A . . . . . . . . . . . . .13333333333333333333333334
261 1 A . . . . . . . . . . . . .13333333333333333333333331
+ 285 -23 A . . . . . . . . . . . . .11111111111111111111111111 by A/3 * 24
286 -24 B . . . . . . . . . . . . 031111111111111111111111111
287 -25 A . . . . . . . . . . . .0231111111111111111111111111
288 -24 B . . . . . . . . . . . .1231111111111111111111111111
289 -25 B . . . . . . . . . . . .1431111111111111111111111111
290 -24 B . . . . . . . . . . . .3431111111111111111111111111
291 -23 A . . . . . . . . . . . .3331111111111111111111111111
+ 294 -26 A . . . . . . . . . . . 01111111111111111111111111111 by A/3 * 3
295 -25 B . . . . . . . . . . . 11111111111111111111111111111
+ 323 3 B . . . . . . . . . . . 133333333333333333333333333330 by B/1 * 28
324 2 A . . . . . . . . . . . 133333333333333333333333333332
+ 352 -26 A . . . . . . . . . . . 111111111111111111111111111112 by A/3 * 28
353 -27 B . . . . . . . . . . .0311111111111111111111111111112
354 -28 A . . . . . . . . . . 02311111111111111111111111111112
355 -27 B . . . . . . . . . . 12311111111111111111111111111112
356 -28 B . . . . . . . . . . 14311111111111111111111111111112
357 -27 B . . . . . . . . . . 34311111111111111111111111111112
358 -26 A . . . . . . . . . . 33311111111111111111111111111112
+ 361 -29 A . . . . . . . . . .011111111111111111111111111111112 by A/3 * 3
362 -28 B . . . . . . . . . .111111111111111111111111111111112
+ 393 3 B . . . . . . . . . .133333333333333333333333333333332 by B/1 * 31
394 2 B . . . . . . . . . .133333333333333333333333333333334
+ 425 -29 B . . . . . . . . . .144444444444444444444444444444444 by B/3 * 31
426 -28 B . . . . . . . . . .344444444444444444444444444444444
427 -27 A . . . . . . . . . .334444444444444444444444444444444
428 -28 A . . . . . . . . . .331444444444444444444444444444444
+ 430 -30 A . . . . . . . . . 0111444444444444444444444444444444 by A/3 * 2
431 -29 B . . . . . . . . . 1111444444444444444444444444444444
+ 434 -26 B . . . . . . . . . 1333444444444444444444444444444444 by B/1 * 3
435 -25 A . . . . . . . . . 1333344444444444444444444444444444
436 -26 A . . . . . . . . . 1333314444444444444444444444444444
+ 440 -30 A . . . . . . . . . 1111114444444444444444444444444444 by A/3 * 4
441 -31 B . . . . . . . . .03111114444444444444444444444444444
442 -32 A . . . . . . . . 023111114444444444444444444444444444
443 -31 B . . . . . . . . 123111114444444444444444444444444444
444 -32 B . . . . . . . . 143111114444444444444444444444444444
445 -31 B . . . . . . . . 343111114444444444444444444444444444
446 -30 A . . . . . . . . 333111114444444444444444444444444444
+ 449 -33 A . . . . . . . .0111111114444444444444444444444444444 by A/3 * 3
450 -32 B . . . . . . . .1111111114444444444444444444444444444
+ 458 -24 B . . . . . . . .1333333334444444444444444444444444444 by B/1 * 8
459 -23 A . . . . . . . .1333333333444444444444444444444444444
460 -24 A . . . . . . . .1333333333144444444444444444444444444
+ 469 -33 A . . . . . . . .1111111111144444444444444444444444444 by A/3 * 9
470 -34 B . . . . . . . 03111111111144444444444444444444444444
471 -35 A . . . . . . .023111111111144444444444444444444444444
472 -34 B . . . . . . .123111111111144444444444444444444444444
473 -35 B . . . . . . .143111111111144444444444444444444444444
474 -34 B . . . . . . .343111111111144444444444444444444444444
475 -33 A . . . . . . .333111111111144444444444444444444444444
+ 478 -36 A . . . . . . 0111111111111144444444444444444444444444 by A/3 * 3
479 -35 B . . . . . . 1111111111111144444444444444444444444444
+ 492 -22 B . . . . . . 1333333333333344444444444444444444444444 by B/1 * 13
493 -21 A . . . . . . 1333333333333334444444444444444444444444
494 -22 A . . . . . . 1333333333333331444444444444444444444444
+ 508 -36 A . . . . . . 1111111111111111444444444444444444444444 by A/3 * 14
509 -37 B . . . . . .03111111111111111444444444444444444444444
510 -38 A . . . . . 023111111111111111444444444444444444444444
511 -37 B . . . . . 123111111111111111444444444444444444444444
512 -38 B . . . . . 143111111111111111444444444444444444444444
513 -37 B . . . . . 343111111111111111444444444444444444444444
514 -36 A . . . . . 333111111111111111444444444444444444444444
+ 517 -39 A . . . . .0111111111111111111444444444444444444444444 by A/3 * 3
518 -38 B . . . . .1111111111111111111444444444444444444444444
+ 536 -20 B . . . . .1333333333333333333444444444444444444444444 by B/1 * 18
537 -19 A . . . . .1333333333333333333344444444444444444444444
538 -20 A . . . . .1333333333333333333314444444444444444444444
+ 557 -39 A . . . . .1111111111111111111114444444444444444444444 by A/3 * 19
558 -40 B . . . . 03111111111111111111114444444444444444444444
559 -41 A . . . .023111111111111111111114444444444444444444444
560 -40 B . . . .123111111111111111111114444444444444444444444
561 -41 B . . . .143111111111111111111114444444444444444444444
562 -40 B . . . .343111111111111111111114444444444444444444444
563 -39 A . . . .333111111111111111111114444444444444444444444
+ 566 -42 A . . . 0111111111111111111111114444444444444444444444 by A/3 * 3
567 -41 B . . . 1111111111111111111111114444444444444444444444
+ 590 -18 B . . . 1333333333333333333333334444444444444444444444 by B/1 * 23
591 -17 A . . . 1333333333333333333333333444444444444444444444
592 -18 A . . . 1333333333333333333333333144444444444444444444
+ 616 -42 A . . . 1111111111111111111111111144444444444444444444 by A/3 * 24
617 -43 B . . .03111111111111111111111111144444444444444444444
618 -44 A . . 023111111111111111111111111144444444444444444444
619 -43 B . . 123111111111111111111111111144444444444444444444
620 -44 B . . 143111111111111111111111111144444444444444444444
621 -43 B . . 343111111111111111111111111144444444444444444444
622 -42 A . . 333111111111111111111111111144444444444444444444
+ 625 -45 A . .0111111111111111111111111111144444444444444444444 by A/3 * 3
626 -44 B . .1111111111111111111111111111144444444444444444444
+ 654 -16 B . .1333333333333333333333333333344444444444444444444 by B/1 * 28
655 -15 A . .1333333333333333333333333333334444444444444444444
656 -16 A . .1333333333333333333333333333331444444444444444444
+ 685 -45 A . .1111111111111111111111111111111444444444444444444 by A/3 * 29
686 -46 B . 03111111111111111111111111111111444444444444444444
687 -47 A .023111111111111111111111111111111444444444444444444
688 -46 B .123111111111111111111111111111111444444444444444444
689 -47 B .143111111111111111111111111111111444444444444444444
690 -46 B .343111111111111111111111111111111444444444444444444
691 -45 A .333111111111111111111111111111111444444444444444444
+ 694 -48 A 0111111111111111111111111111111111444444444444444444 by A/3 * 3
695 -47 B 1111111111111111111111111111111111444444444444444444
After 695 steps (201 lines): state = B.
Produced 52 nonzeros.
Tape index -47, scanned [-48 .. 3].
| 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 | 324 | 34 | 15 | 260 | 15 | 0 | 2 | 8 | 21 | ||
| B | 371 | 18 | 260 | 18 | 45 | 30 | 1 | 6 | 5 | 16 | 7 |