Comment: This TM produces 3685 nonzeros in 16268767 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 | 4RB | 2LA | 4LA | 4RA | 3LA | 4 | right | B | 2 | left | A | 4 | left | A | 4 | right | A | 3 | left | A |
| B | 1LA | 4LA | 4RA | 3RB | 3LH | 1 | left | A | 4 | left | A | 4 | right | A | 3 | right | B | 3 | left | 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 . . . . . 40
2 0 A . . . . . 41
3 -1 A . . . . .031
4 0 B . . . . .431
5 1 B . . . . .431
6 0 A . . . . .434
7 1 A . . . . .444
+ 10 -2 A . . . . 0333 by A/4 * 3
11 -1 B . . . . 4333
+ 14 2 B . . . . 43330 by B/3 * 3
15 1 A . . . . 43331
16 2 A . . . . 43341
17 1 A . . . . 43342
18 0 A . . . . 43332
+ 20 2 A . . . . 43442 by A/3 * 2
21 1 A . . . . 43444
+ 23 -1 A . . . . 43334 by A/4 * 2
+ 26 2 A . . . . 44444 by A/3 * 3
+ 31 -3 A . . . .033333 by A/4 * 5
32 -2 B . . . .433333
+ 37 3 B . . . .4333330 by B/3 * 5
38 2 A . . . .4333331
39 3 A . . . .4333341
40 2 A . . . .4333342
41 1 A . . . .4333332
+ 43 3 A . . . .4333442 by A/3 * 2
44 2 A . . . .4333444
+ 46 0 A . . . .4333334 by A/4 * 2
+ 49 3 A . . . .4334444 by A/3 * 3
+ 53 -1 A . . . .4333333 by A/4 * 4
+ 58 4 A . . . .43444440 by A/3 * 5
59 5 B . . . .434444440
60 4 A . . . .434444441
+ 66 -2 A . . . .433333331 by A/4 * 6
+ 73 5 A . . . .444444441 by A/3 * 7
74 4 A . . . .444444442
+ 82 -4 A . . . 0333333332 by A/4 * 8
83 -3 B . . . 4333333332
+ 91 5 B . . . 4333333332 by B/3 * 8
92 6 A . . . 43333333340
93 7 B . . . 433333333440
94 6 A . . . 433333333441
+ 96 4 A . . . 433333333331 by A/4 * 2
+ 99 7 A . . . 433333334441 by A/3 * 3
100 6 A . . . 433333334442
+ 103 3 A . . . 433333333332 by A/4 * 3
+ 107 7 A . . . 433333344442 by A/3 * 4
108 6 A . . . 433333344444
+ 112 2 A . . . 433333333334 by A/4 * 4
+ 117 7 A . . . 433333444444 by A/3 * 5
+ 123 1 A . . . 433333333333 by A/4 * 6
+ 130 8 A . . . 4333344444440 by A/3 * 7
131 9 B . . . 43333444444440
132 8 A . . . 43333444444441
+ 140 0 A . . . 43333333333331 by A/4 * 8
+ 149 9 A . . . 43334444444441 by A/3 * 9
150 8 A . . . 43334444444442
+ 159 -1 A . . . 43333333333332 by A/4 * 9
+ 169 9 A . . . 43344444444442 by A/3 * 10
170 8 A . . . 43344444444444
+ 180 -2 A . . . 43333333333334 by A/4 * 10
+ 191 9 A . . . 43444444444444 by A/3 * 11
+ 203 -3 A . . . 43333333333333 by A/4 * 12
+ 216 10 A . . . 444444444444440 by A/3 * 13
217 11 B . . . 4444444444444440
218 10 A . . . 4444444444444441
+ 233 -5 A . . .03333333333333331 by A/4 * 15
234 -4 B . . .43333333333333331
+ 249 11 B . . .43333333333333331 by B/3 * 15
250 10 A . . .43333333333333334
251 11 A . . .43333333333333344
+ 253 9 A . . .43333333333333333 by A/4 * 2
+ 256 12 A . . .433333333333334440 by A/3 * 3
257 13 B . . .4333333333333344440
258 12 A . . .4333333333333344441
+ 262 8 A . . .4333333333333333331 by A/4 * 4
+ 267 13 A . . .4333333333333444441 by A/3 * 5
268 12 A . . .4333333333333444442
+ 273 7 A . . .4333333333333333332 by A/4 * 5
+ 279 13 A . . .4333333333334444442 by A/3 * 6
280 12 A . . .4333333333334444444
+ 286 6 A . . .4333333333333333334 by A/4 * 6
+ 293 13 A . . .4333333333344444444 by A/3 * 7
+ 301 5 A . . .4333333333333333333 by A/4 * 8
+ 310 14 A . . .43333333334444444440 by A/3 * 9
311 15 B . . .433333333344444444440
312 14 A . . .433333333344444444441
+ 322 4 A . . .433333333333333333331 by A/4 * 10
+ 333 15 A . . .433333333444444444441 by A/3 * 11
334 14 A . . .433333333444444444442
+ 345 3 A . . .433333333333333333332 by A/4 * 11
+ 357 15 A . . .433333334444444444442 by A/3 * 12
358 14 A . . .433333334444444444444
+ 370 2 A . . .433333333333333333334 by A/4 * 12
+ 383 15 A . . .433333344444444444444 by A/3 * 13
+ 397 1 A . . .433333333333333333333 by A/4 * 14
+ 412 16 A . . .4333334444444444444440 by A/3 * 15
413 17 B . . .43333344444444444444440
414 16 A . . .43333344444444444444441
+ 430 0 A . . .43333333333333333333331 by A/4 * 16
+ 447 17 A . . .43333444444444444444441 by A/3 * 17
448 16 A . . .43333444444444444444442
+ 465 -1 A . . .43333333333333333333332 by A/4 * 17
+ 483 17 A . . .43334444444444444444442 by A/3 * 18
484 16 A . . .43334444444444444444444
+ 502 -2 A . . .43333333333333333333334 by A/4 * 18
+ 521 17 A . . .43344444444444444444444 by A/3 * 19
+ 541 -3 A . . .43333333333333333333333 by A/4 * 20
+ 562 18 A . . .434444444444444444444440 by A/3 * 21
563 19 B . . .4344444444444444444444440
564 18 A . . .4344444444444444444444441
+ 586 -4 A . . .4333333333333333333333331 by A/4 * 22
+ 609 19 A . . .4444444444444444444444441 by A/3 * 23
610 18 A . . .4444444444444444444444442
+ 634 -6 A . . 03333333333333333333333332 by A/4 * 24
635 -5 B . . 43333333333333333333333332
+ 659 19 B . . 43333333333333333333333332 by B/3 * 24
660 20 A . . 433333333333333333333333340
661 21 B . . 4333333333333333333333333440
662 20 A . . 4333333333333333333333333441
+ 664 18 A . . 4333333333333333333333333331 by A/4 * 2
+ 667 21 A . . 4333333333333333333333334441 by A/3 * 3
668 20 A . . 4333333333333333333333334442
+ 671 17 A . . 4333333333333333333333333332 by A/4 * 3
+ 675 21 A . . 4333333333333333333333344442 by A/3 * 4
676 20 A . . 4333333333333333333333344444
+ 680 16 A . . 4333333333333333333333333334 by A/4 * 4
+ 685 21 A . . 4333333333333333333333444444 by A/3 * 5
+ 691 15 A . . 4333333333333333333333333333 by A/4 * 6
+ 698 22 A . . 43333333333333333333344444440 by A/3 * 7
699 23 B . . 433333333333333333333444444440
700 22 A . . 433333333333333333333444444441
+ 708 14 A . . 433333333333333333333333333331 by A/4 * 8
+ 717 23 A . . 433333333333333333334444444441 by A/3 * 9
718 22 A . . 433333333333333333334444444442
+ 727 13 A . . 433333333333333333333333333332 by A/4 * 9
+ 737 23 A . . 433333333333333333344444444442 by A/3 * 10
738 22 A . . 433333333333333333344444444444
+ 748 12 A . . 433333333333333333333333333334 by A/4 * 10
+ 759 23 A . . 433333333333333333444444444444 by A/3 * 11
+ 771 11 A . . 433333333333333333333333333333 by A/4 * 12
+ 784 24 A . . 4333333333333333344444444444440 by A/3 * 13
785 25 B . . 43333333333333333444444444444440
786 24 A . . 43333333333333333444444444444441
+ 800 10 A . . 43333333333333333333333333333331 by A/4 * 14
+ 815 25 A . . 43333333333333334444444444444441 by A/3 * 15
816 24 A . . 43333333333333334444444444444442
+ 831 9 A . . 43333333333333333333333333333332 by A/4 * 15
+ 847 25 A . . 43333333333333344444444444444442 by A/3 * 16
848 24 A . . 43333333333333344444444444444444
+ 864 8 A . . 43333333333333333333333333333334 by A/4 * 16
+ 881 25 A . . 43333333333333444444444444444444 by A/3 * 17
+ 899 7 A . . 43333333333333333333333333333333 by A/4 * 18
+ 918 26 A . . 433333333333344444444444444444440 by A/3 * 19
919 27 B . . 4333333333333444444444444444444440
920 26 A . . 4333333333333444444444444444444441
+ 940 6 A . . 4333333333333333333333333333333331 by A/4 * 20
+ 961 27 A . . 4333333333334444444444444444444441 by A/3 * 21
962 26 A . . 4333333333334444444444444444444442
+ 983 5 A . . 4333333333333333333333333333333332 by A/4 * 21
+ 1005 27 A . . 4333333333344444444444444444444442 by A/3 * 22
1006 26 A . . 4333333333344444444444444444444444
+ 1028 4 A . . 4333333333333333333333333333333334 by A/4 * 22
+ 1051 27 A . . 4333333333444444444444444444444444 by A/3 * 23
+ 1075 3 A . . 4333333333333333333333333333333333 by A/4 * 24
+ 1100 28 A . . 43333333344444444444444444444444440 by A/3 * 25
1101 29 B . . 433333333444444444444444444444444440
1102 28 A . . 433333333444444444444444444444444441
+ 1128 2 A . . 433333333333333333333333333333333331 by A/4 * 26
+ 1155 29 A . . 433333334444444444444444444444444441 by A/3 * 27
1156 28 A . . 433333334444444444444444444444444442
+ 1183 1 A . . 433333333333333333333333333333333332 by A/4 * 27
+ 1211 29 A . . 433333344444444444444444444444444442 by A/3 * 28
1212 28 A . . 433333344444444444444444444444444444
+ 1240 0 A . . 433333333333333333333333333333333334 by A/4 * 28
+ 1269 29 A . . 433333444444444444444444444444444444 by A/3 * 29
+ 1299 -1 A . . 433333333333333333333333333333333333 by A/4 * 30
+ 1330 30 A . . 4333344444444444444444444444444444440 by A/3 * 31
1331 31 B . . 43333444444444444444444444444444444440
1332 30 A . . 43333444444444444444444444444444444441
+ 1364 -2 A . . 43333333333333333333333333333333333331 by A/4 * 32
+ 1397 31 A . . 43334444444444444444444444444444444441 by A/3 * 33
1398 30 A . . 43334444444444444444444444444444444442
+ 1431 -3 A . . 43333333333333333333333333333333333332 by A/4 * 33
+ 1465 31 A . . 43344444444444444444444444444444444442 by A/3 * 34
1466 30 A . . 43344444444444444444444444444444444444
+ 1500 -4 A . . 43333333333333333333333333333333333334 by A/4 * 34
+ 1535 31 A . . 43444444444444444444444444444444444444 by A/3 * 35
+ 1571 -5 A . . 43333333333333333333333333333333333333 by A/4 * 36
+ 1608 32 A . . 444444444444444444444444444444444444440 by A/3 * 37
1609 33 B . . 4444444444444444444444444444444444444440
1610 32 A . . 4444444444444444444444444444444444444441
+ 1649 -7 A . .03333333333333333333333333333333333333331 by A/4 * 39
1650 -6 B . .43333333333333333333333333333333333333331
+ 1689 33 B . .43333333333333333333333333333333333333331 by B/3 * 39
1690 32 A . .43333333333333333333333333333333333333334
1691 33 A . .43333333333333333333333333333333333333344
+ 1693 31 A . .43333333333333333333333333333333333333333 by A/4 * 2
+ 1696 34 A . .433333333333333333333333333333333333334440 by A/3 * 3
1697 35 B . .4333333333333333333333333333333333333344440
After 1697 steps (201 lines): state = B.
Produced 42 nonzeros.
Tape index 35, scanned [-7 .. 34].
| 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 | 1579 | 24 | 15 | 13 | 745 | 782 | 0 | 16 | 20 | 6 | 2 |
| B | 118 | 18 | 3 | 2 | 95 | 1 | 5 | 91 | 4 | ||