Comment: This TM produces 90 nonzeros in 7195 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 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 3LA | 1LA | 1RA | 1 | right | B | 3 | left | A | 1 | left | A | 1 | right | A |
| B | 2LA | 1RH | 3RA | 3RB | 2 | left | A | 1 | right | H | 3 | right | A | 3 | right | B |
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 A . . .032
4 0 B . . .132
5 1 B . . .132
6 2 A . . .1330
7 3 B . . .13310
8 2 A . . .13312
9 1 A . . .13332
+ 11 3 A . . .13112 by A/3 * 2
12 2 A . . .13111
+ 14 0 A . . .13331 by A/1 * 2
+ 17 3 A . . .11111 by A/3 * 3
+ 22 -2 A . . 033333 by A/1 * 5
23 -1 B . . 133333
+ 28 4 B . . 1333330 by B/3 * 5
29 3 A . . 1333332
30 4 A . . 1333312
31 3 A . . 1333311
32 2 A . . 1333331
+ 34 4 A . . 1333111 by A/3 * 2
+ 37 1 A . . 1333333 by A/1 * 3
+ 41 5 A . . 13311110 by A/3 * 4
42 6 B . . 133111110
43 5 A . . 133111112
+ 48 0 A . . 133333332 by A/1 * 5
+ 54 6 A . . 131111112 by A/3 * 6
55 5 A . . 131111111
+ 61 -1 A . . 133333331 by A/1 * 6
+ 68 6 A . . 111111111 by A/3 * 7
+ 77 -3 A . .0333333333 by A/1 * 9
78 -2 B . .1333333333
+ 87 7 B . .13333333330 by B/3 * 9
88 6 A . .13333333332
89 7 A . .13333333312
90 6 A . .13333333311
91 5 A . .13333333331
+ 93 7 A . .13333333111 by A/3 * 2
+ 96 4 A . .13333333333 by A/1 * 3
+ 100 8 A . .133333311110 by A/3 * 4
101 9 B . .1333333111110
102 8 A . .1333333111112
+ 107 3 A . .1333333333332 by A/1 * 5
+ 113 9 A . .1333331111112 by A/3 * 6
114 8 A . .1333331111111
+ 120 2 A . .1333333333331 by A/1 * 6
+ 127 9 A . .1333311111111 by A/3 * 7
+ 135 1 A . .1333333333333 by A/1 * 8
+ 144 10 A . .13331111111110 by A/3 * 9
145 11 B . .133311111111110
146 10 A . .133311111111112
+ 156 0 A . .133333333333332 by A/1 * 10
+ 167 11 A . .133111111111112 by A/3 * 11
168 10 A . .133111111111111
+ 179 -1 A . .133333333333331 by A/1 * 11
+ 191 11 A . .131111111111111 by A/3 * 12
+ 204 -2 A . .133333333333333 by A/1 * 13
+ 218 12 A . .1111111111111110 by A/3 * 14
219 13 B . .11111111111111110
220 12 A . .11111111111111112
+ 236 -4 A . 033333333333333332 by A/1 * 16
237 -3 B . 133333333333333332
+ 253 13 B . 133333333333333332 by B/3 * 16
254 14 A . 1333333333333333330
255 15 B . 13333333333333333310
256 14 A . 13333333333333333312
257 13 A . 13333333333333333332
+ 259 15 A . 13333333333333333112 by A/3 * 2
260 14 A . 13333333333333333111
+ 262 12 A . 13333333333333333331 by A/1 * 2
+ 265 15 A . 13333333333333331111 by A/3 * 3
+ 269 11 A . 13333333333333333333 by A/1 * 4
+ 274 16 A . 133333333333333111110 by A/3 * 5
275 17 B . 1333333333333331111110
276 16 A . 1333333333333331111112
+ 282 10 A . 1333333333333333333332 by A/1 * 6
+ 289 17 A . 1333333333333311111112 by A/3 * 7
290 16 A . 1333333333333311111111
+ 297 9 A . 1333333333333333333331 by A/1 * 7
+ 305 17 A . 1333333333333111111111 by A/3 * 8
+ 314 8 A . 1333333333333333333333 by A/1 * 9
+ 324 18 A . 13333333333311111111110 by A/3 * 10
325 19 B . 133333333333111111111110
326 18 A . 133333333333111111111112
+ 337 7 A . 133333333333333333333332 by A/1 * 11
+ 349 19 A . 133333333331111111111112 by A/3 * 12
350 18 A . 133333333331111111111111
+ 362 6 A . 133333333333333333333331 by A/1 * 12
+ 375 19 A . 133333333311111111111111 by A/3 * 13
+ 389 5 A . 133333333333333333333333 by A/1 * 14
+ 404 20 A . 1333333331111111111111110 by A/3 * 15
405 21 B . 13333333311111111111111110
406 20 A . 13333333311111111111111112
+ 422 4 A . 13333333333333333333333332 by A/1 * 16
+ 439 21 A . 13333333111111111111111112 by A/3 * 17
440 20 A . 13333333111111111111111111
+ 457 3 A . 13333333333333333333333331 by A/1 * 17
+ 475 21 A . 13333331111111111111111111 by A/3 * 18
+ 494 2 A . 13333333333333333333333333 by A/1 * 19
+ 514 22 A . 133333111111111111111111110 by A/3 * 20
515 23 B . 1333331111111111111111111110
516 22 A . 1333331111111111111111111112
+ 537 1 A . 1333333333333333333333333332 by A/1 * 21
+ 559 23 A . 1333311111111111111111111112 by A/3 * 22
560 22 A . 1333311111111111111111111111
+ 582 0 A . 1333333333333333333333333331 by A/1 * 22
+ 605 23 A . 1333111111111111111111111111 by A/3 * 23
+ 629 -1 A . 1333333333333333333333333333 by A/1 * 24
+ 654 24 A . 13311111111111111111111111110 by A/3 * 25
655 25 B . 133111111111111111111111111110
656 24 A . 133111111111111111111111111112
+ 682 -2 A . 133333333333333333333333333332 by A/1 * 26
+ 709 25 A . 131111111111111111111111111112 by A/3 * 27
710 24 A . 131111111111111111111111111111
+ 737 -3 A . 133333333333333333333333333331 by A/1 * 27
+ 765 25 A . 111111111111111111111111111111 by A/3 * 28
+ 795 -5 A .0333333333333333333333333333333 by A/1 * 30
796 -4 B .1333333333333333333333333333333
+ 826 26 B .13333333333333333333333333333330 by B/3 * 30
827 25 A .13333333333333333333333333333332
828 26 A .13333333333333333333333333333312
829 25 A .13333333333333333333333333333311
830 24 A .13333333333333333333333333333331
+ 832 26 A .13333333333333333333333333333111 by A/3 * 2
+ 835 23 A .13333333333333333333333333333333 by A/1 * 3
+ 839 27 A .133333333333333333333333333311110 by A/3 * 4
840 28 B .1333333333333333333333333333111110
841 27 A .1333333333333333333333333333111112
+ 846 22 A .1333333333333333333333333333333332 by A/1 * 5
+ 852 28 A .1333333333333333333333333331111112 by A/3 * 6
853 27 A .1333333333333333333333333331111111
+ 859 21 A .1333333333333333333333333333333331 by A/1 * 6
+ 866 28 A .1333333333333333333333333311111111 by A/3 * 7
+ 874 20 A .1333333333333333333333333333333333 by A/1 * 8
+ 883 29 A .13333333333333333333333331111111110 by A/3 * 9
884 30 B .133333333333333333333333311111111110
885 29 A .133333333333333333333333311111111112
+ 895 19 A .133333333333333333333333333333333332 by A/1 * 10
+ 906 30 A .133333333333333333333333111111111112 by A/3 * 11
907 29 A .133333333333333333333333111111111111
+ 918 18 A .133333333333333333333333333333333331 by A/1 * 11
+ 930 30 A .133333333333333333333331111111111111 by A/3 * 12
+ 943 17 A .133333333333333333333333333333333333 by A/1 * 13
+ 957 31 A .1333333333333333333333111111111111110 by A/3 * 14
958 32 B .13333333333333333333331111111111111110
959 31 A .13333333333333333333331111111111111112
+ 974 16 A .13333333333333333333333333333333333332 by A/1 * 15
+ 990 32 A .13333333333333333333311111111111111112 by A/3 * 16
991 31 A .13333333333333333333311111111111111111
+ 1007 15 A .13333333333333333333333333333333333331 by A/1 * 16
+ 1024 32 A .13333333333333333333111111111111111111 by A/3 * 17
+ 1042 14 A .13333333333333333333333333333333333333 by A/1 * 18
+ 1061 33 A .133333333333333333311111111111111111110 by A/3 * 19
1062 34 B .1333333333333333333111111111111111111110
1063 33 A .1333333333333333333111111111111111111112
+ 1083 13 A .1333333333333333333333333333333333333332 by A/1 * 20
+ 1104 34 A .1333333333333333331111111111111111111112 by A/3 * 21
1105 33 A .1333333333333333331111111111111111111111
+ 1126 12 A .1333333333333333333333333333333333333331 by A/1 * 21
+ 1148 34 A .1333333333333333311111111111111111111111 by A/3 * 22
+ 1171 11 A .1333333333333333333333333333333333333333 by A/1 * 23
+ 1195 35 A .13333333333333331111111111111111111111110 by A/3 * 24
1196 36 B .133333333333333311111111111111111111111110
1197 35 A .133333333333333311111111111111111111111112
+ 1222 10 A .133333333333333333333333333333333333333332 by A/1 * 25
+ 1248 36 A .133333333333333111111111111111111111111112 by A/3 * 26
1249 35 A .133333333333333111111111111111111111111111
+ 1275 9 A .133333333333333333333333333333333333333331 by A/1 * 26
+ 1302 36 A .133333333333331111111111111111111111111111 by A/3 * 27
+ 1330 8 A .133333333333333333333333333333333333333333 by A/1 * 28
+ 1359 37 A .1333333333333111111111111111111111111111110 by A/3 * 29
1360 38 B .13333333333331111111111111111111111111111110
1361 37 A .13333333333331111111111111111111111111111112
+ 1391 7 A .13333333333333333333333333333333333333333332 by A/1 * 30
+ 1422 38 A .13333333333311111111111111111111111111111112 by A/3 * 31
1423 37 A .13333333333311111111111111111111111111111111
+ 1454 6 A .13333333333333333333333333333333333333333331 by A/1 * 31
+ 1486 38 A .13333333333111111111111111111111111111111111 by A/3 * 32
+ 1519 5 A .13333333333333333333333333333333333333333333 by A/1 * 33
+ 1553 39 A .133333333311111111111111111111111111111111110 by A/3 * 34
1554 40 B .1333333333111111111111111111111111111111111110
1555 39 A .1333333333111111111111111111111111111111111112
+ 1590 4 A .1333333333333333333333333333333333333333333332 by A/1 * 35
+ 1626 40 A .1333333331111111111111111111111111111111111112 by A/3 * 36
1627 39 A .1333333331111111111111111111111111111111111111
+ 1663 3 A .1333333333333333333333333333333333333333333331 by A/1 * 36
+ 1700 40 A .1333333311111111111111111111111111111111111111 by A/3 * 37
+ 1738 2 A .1333333333333333333333333333333333333333333333 by A/1 * 38
+ 1777 41 A .13333331111111111111111111111111111111111111110 by A/3 * 39
1778 42 B .133333311111111111111111111111111111111111111110
1779 41 A .133333311111111111111111111111111111111111111112
+ 1819 1 A .133333333333333333333333333333333333333333333332 by A/1 * 40
+ 1860 42 A .133333111111111111111111111111111111111111111112 by A/3 * 41
1861 41 A .133333111111111111111111111111111111111111111111
+ 1902 0 A .133333333333333333333333333333333333333333333331 by A/1 * 41
+ 1944 42 A .133331111111111111111111111111111111111111111111 by A/3 * 42
+ 1987 -1 A .133333333333333333333333333333333333333333333333 by A/1 * 43
+ 2031 43 A .1333111111111111111111111111111111111111111111110 by A/3 * 44
2032 44 B .13331111111111111111111111111111111111111111111110
2033 43 A .13331111111111111111111111111111111111111111111112
After 2033 steps (201 lines): state = A.
Produced 50 nonzeros.
Tape index 43, scanned [-5 .. 44].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 1946 | 26 | 950 | 21 | 949 | 0 | 2 | 11 | 9 |
| B | 87 | 24 | 2 | 61 | 1 | 5 | 4 | ||