Comment: Taken (cited) from P.Michel 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 | 2LA | 1RA | 1LA | 1 | right | B | 2 | left | A | 1 | right | A | 1 | left | A |
| B | 3LA | 1RH | 2RB | 2RA | 3 | left | A | 1 | right | H | 2 | right | B | 2 | 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 . . . 13
3 -1 A . . .023
4 0 B . . .123
5 1 B . . .123
6 2 A . . .1220
7 3 B . . .12210
8 2 A . . .12213
9 1 A . . .12223
+ 11 3 A . . .12113 by A/2 * 2
12 2 A . . .12111
+ 14 0 A . . .12221 by A/1 * 2
+ 17 3 A . . .11111 by A/2 * 3
+ 22 -2 A . . 022222 by A/1 * 5
23 -1 B . . 122222
+ 28 4 B . . 1222220 by B/2 * 5
29 3 A . . 1222223
30 4 A . . 1222213
31 3 A . . 1222211
32 2 A . . 1222221
+ 34 4 A . . 1222111 by A/2 * 2
+ 37 1 A . . 1222222 by A/1 * 3
+ 41 5 A . . 12211110 by A/2 * 4
42 6 B . . 122111110
43 5 A . . 122111113
+ 48 0 A . . 122222223 by A/1 * 5
+ 54 6 A . . 121111113 by A/2 * 6
55 5 A . . 121111111
+ 61 -1 A . . 122222221 by A/1 * 6
+ 68 6 A . . 111111111 by A/2 * 7
+ 77 -3 A . .0222222222 by A/1 * 9
78 -2 B . .1222222222
+ 87 7 B . .12222222220 by B/2 * 9
88 6 A . .12222222223
89 7 A . .12222222213
90 6 A . .12222222211
91 5 A . .12222222221
+ 93 7 A . .12222222111 by A/2 * 2
+ 96 4 A . .12222222222 by A/1 * 3
+ 100 8 A . .122222211110 by A/2 * 4
101 9 B . .1222222111110
102 8 A . .1222222111113
+ 107 3 A . .1222222222223 by A/1 * 5
+ 113 9 A . .1222221111113 by A/2 * 6
114 8 A . .1222221111111
+ 120 2 A . .1222222222221 by A/1 * 6
+ 127 9 A . .1222211111111 by A/2 * 7
+ 135 1 A . .1222222222222 by A/1 * 8
+ 144 10 A . .12221111111110 by A/2 * 9
145 11 B . .122211111111110
146 10 A . .122211111111113
+ 156 0 A . .122222222222223 by A/1 * 10
+ 167 11 A . .122111111111113 by A/2 * 11
168 10 A . .122111111111111
+ 179 -1 A . .122222222222221 by A/1 * 11
+ 191 11 A . .121111111111111 by A/2 * 12
+ 204 -2 A . .122222222222222 by A/1 * 13
+ 218 12 A . .1111111111111110 by A/2 * 14
219 13 B . .11111111111111110
220 12 A . .11111111111111113
+ 236 -4 A . 022222222222222223 by A/1 * 16
237 -3 B . 122222222222222223
+ 253 13 B . 122222222222222223 by B/2 * 16
254 14 A . 1222222222222222220
255 15 B . 12222222222222222210
256 14 A . 12222222222222222213
257 13 A . 12222222222222222223
+ 259 15 A . 12222222222222222113 by A/2 * 2
260 14 A . 12222222222222222111
+ 262 12 A . 12222222222222222221 by A/1 * 2
+ 265 15 A . 12222222222222221111 by A/2 * 3
+ 269 11 A . 12222222222222222222 by A/1 * 4
+ 274 16 A . 122222222222222111110 by A/2 * 5
275 17 B . 1222222222222221111110
276 16 A . 1222222222222221111113
+ 282 10 A . 1222222222222222222223 by A/1 * 6
+ 289 17 A . 1222222222222211111113 by A/2 * 7
290 16 A . 1222222222222211111111
+ 297 9 A . 1222222222222222222221 by A/1 * 7
+ 305 17 A . 1222222222222111111111 by A/2 * 8
+ 314 8 A . 1222222222222222222222 by A/1 * 9
+ 324 18 A . 12222222222211111111110 by A/2 * 10
325 19 B . 122222222222111111111110
326 18 A . 122222222222111111111113
+ 337 7 A . 122222222222222222222223 by A/1 * 11
+ 349 19 A . 122222222221111111111113 by A/2 * 12
350 18 A . 122222222221111111111111
+ 362 6 A . 122222222222222222222221 by A/1 * 12
+ 375 19 A . 122222222211111111111111 by A/2 * 13
+ 389 5 A . 122222222222222222222222 by A/1 * 14
+ 404 20 A . 1222222221111111111111110 by A/2 * 15
405 21 B . 12222222211111111111111110
406 20 A . 12222222211111111111111113
+ 422 4 A . 12222222222222222222222223 by A/1 * 16
+ 439 21 A . 12222222111111111111111113 by A/2 * 17
440 20 A . 12222222111111111111111111
+ 457 3 A . 12222222222222222222222221 by A/1 * 17
+ 475 21 A . 12222221111111111111111111 by A/2 * 18
+ 494 2 A . 12222222222222222222222222 by A/1 * 19
+ 514 22 A . 122222111111111111111111110 by A/2 * 20
515 23 B . 1222221111111111111111111110
516 22 A . 1222221111111111111111111113
+ 537 1 A . 1222222222222222222222222223 by A/1 * 21
+ 559 23 A . 1222211111111111111111111113 by A/2 * 22
560 22 A . 1222211111111111111111111111
+ 582 0 A . 1222222222222222222222222221 by A/1 * 22
+ 605 23 A . 1222111111111111111111111111 by A/2 * 23
+ 629 -1 A . 1222222222222222222222222222 by A/1 * 24
+ 654 24 A . 12211111111111111111111111110 by A/2 * 25
655 25 B . 122111111111111111111111111110
656 24 A . 122111111111111111111111111113
+ 682 -2 A . 122222222222222222222222222223 by A/1 * 26
+ 709 25 A . 121111111111111111111111111113 by A/2 * 27
710 24 A . 121111111111111111111111111111
+ 737 -3 A . 122222222222222222222222222221 by A/1 * 27
+ 765 25 A . 111111111111111111111111111111 by A/2 * 28
+ 795 -5 A .0222222222222222222222222222222 by A/1 * 30
796 -4 B .1222222222222222222222222222222
+ 826 26 B .12222222222222222222222222222220 by B/2 * 30
827 25 A .12222222222222222222222222222223
828 26 A .12222222222222222222222222222213
829 25 A .12222222222222222222222222222211
830 24 A .12222222222222222222222222222221
+ 832 26 A .12222222222222222222222222222111 by A/2 * 2
+ 835 23 A .12222222222222222222222222222222 by A/1 * 3
+ 839 27 A .122222222222222222222222222211110 by A/2 * 4
840 28 B .1222222222222222222222222222111110
841 27 A .1222222222222222222222222222111113
+ 846 22 A .1222222222222222222222222222222223 by A/1 * 5
+ 852 28 A .1222222222222222222222222221111113 by A/2 * 6
853 27 A .1222222222222222222222222221111111
+ 859 21 A .1222222222222222222222222222222221 by A/1 * 6
+ 866 28 A .1222222222222222222222222211111111 by A/2 * 7
+ 874 20 A .1222222222222222222222222222222222 by A/1 * 8
+ 883 29 A .12222222222222222222222221111111110 by A/2 * 9
884 30 B .122222222222222222222222211111111110
885 29 A .122222222222222222222222211111111113
+ 895 19 A .122222222222222222222222222222222223 by A/1 * 10
+ 906 30 A .122222222222222222222222111111111113 by A/2 * 11
907 29 A .122222222222222222222222111111111111
+ 918 18 A .122222222222222222222222222222222221 by A/1 * 11
+ 930 30 A .122222222222222222222221111111111111 by A/2 * 12
+ 943 17 A .122222222222222222222222222222222222 by A/1 * 13
+ 957 31 A .1222222222222222222222111111111111110 by A/2 * 14
958 32 B .12222222222222222222221111111111111110
959 31 A .12222222222222222222221111111111111113
+ 974 16 A .12222222222222222222222222222222222223 by A/1 * 15
+ 990 32 A .12222222222222222222211111111111111113 by A/2 * 16
991 31 A .12222222222222222222211111111111111111
+ 1007 15 A .12222222222222222222222222222222222221 by A/1 * 16
+ 1024 32 A .12222222222222222222111111111111111111 by A/2 * 17
+ 1042 14 A .12222222222222222222222222222222222222 by A/1 * 18
+ 1061 33 A .122222222222222222211111111111111111110 by A/2 * 19
1062 34 B .1222222222222222222111111111111111111110
1063 33 A .1222222222222222222111111111111111111113
+ 1083 13 A .1222222222222222222222222222222222222223 by A/1 * 20
+ 1104 34 A .1222222222222222221111111111111111111113 by A/2 * 21
1105 33 A .1222222222222222221111111111111111111111
+ 1126 12 A .1222222222222222222222222222222222222221 by A/1 * 21
+ 1148 34 A .1222222222222222211111111111111111111111 by A/2 * 22
+ 1171 11 A .1222222222222222222222222222222222222222 by A/1 * 23
+ 1195 35 A .12222222222222221111111111111111111111110 by A/2 * 24
1196 36 B .122222222222222211111111111111111111111110
1197 35 A .122222222222222211111111111111111111111113
+ 1222 10 A .122222222222222222222222222222222222222223 by A/1 * 25
+ 1248 36 A .122222222222222111111111111111111111111113 by A/2 * 26
1249 35 A .122222222222222111111111111111111111111111
+ 1275 9 A .122222222222222222222222222222222222222221 by A/1 * 26
+ 1302 36 A .122222222222221111111111111111111111111111 by A/2 * 27
+ 1330 8 A .122222222222222222222222222222222222222222 by A/1 * 28
+ 1359 37 A .1222222222222111111111111111111111111111110 by A/2 * 29
1360 38 B .12222222222221111111111111111111111111111110
1361 37 A .12222222222221111111111111111111111111111113
+ 1391 7 A .12222222222222222222222222222222222222222223 by A/1 * 30
+ 1422 38 A .12222222222211111111111111111111111111111113 by A/2 * 31
1423 37 A .12222222222211111111111111111111111111111111
+ 1454 6 A .12222222222222222222222222222222222222222221 by A/1 * 31
+ 1486 38 A .12222222222111111111111111111111111111111111 by A/2 * 32
+ 1519 5 A .12222222222222222222222222222222222222222222 by A/1 * 33
+ 1553 39 A .122222222211111111111111111111111111111111110 by A/2 * 34
1554 40 B .1222222222111111111111111111111111111111111110
1555 39 A .1222222222111111111111111111111111111111111113
+ 1590 4 A .1222222222222222222222222222222222222222222223 by A/1 * 35
+ 1626 40 A .1222222221111111111111111111111111111111111113 by A/2 * 36
1627 39 A .1222222221111111111111111111111111111111111111
+ 1663 3 A .1222222222222222222222222222222222222222222221 by A/1 * 36
+ 1700 40 A .1222222211111111111111111111111111111111111111 by A/2 * 37
+ 1738 2 A .1222222222222222222222222222222222222222222222 by A/1 * 38
+ 1777 41 A .12222221111111111111111111111111111111111111110 by A/2 * 39
1778 42 B .122222211111111111111111111111111111111111111110
1779 41 A .122222211111111111111111111111111111111111111113
+ 1819 1 A .122222222222222222222222222222222222222222222223 by A/1 * 40
+ 1860 42 A .122222111111111111111111111111111111111111111113 by A/2 * 41
1861 41 A .122222111111111111111111111111111111111111111111
+ 1902 0 A .122222222222222222222222222222222222222222222221 by A/1 * 41
+ 1944 42 A .122221111111111111111111111111111111111111111111 by A/2 * 42
+ 1987 -1 A .122222222222222222222222222222222222222222222222 by A/1 * 43
+ 2031 43 A .1222111111111111111111111111111111111111111111110 by A/2 * 44
2032 44 B .12221111111111111111111111111111111111111111111110
2033 43 A .12221111111111111111111111111111111111111111111113
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 | 949 | 21 | 0 | 2 | 9 | 11 |
| B | 87 | 24 | 61 | 2 | 1 | 4 | 5 | ||