Comment: This TM produces 107'900 nonzeros in 4'939'345'068 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 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | Z1R | B2R | 1 | right | B | 1 | right | Z | 2 | right | B |
| B | C1L | B0L | A1R | 1 | left | C | 0 | left | B | 1 | right | A |
| C | A1R | C2L | C1R | 1 | right | A | 2 | left | C | 1 | right | C |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . 0
1 1 B . . . 10
2 0 C . . . 11
3 -1 C . . .021
4 0 A . . .121
5 1 B . . .121
6 0 B . . .120
7 1 A . . .110
8 2 B . . .1110
9 1 C . . .1111
+ 12 -2 C . . 02221 by C/1 * 3
13 -1 A . . 12221
14 0 B . . 12221
15 1 A . . 12121
16 2 B . . 12121
17 1 B . . 12120
18 2 A . . 12110
19 3 B . . 121110
20 2 C . . 121111
+ 23 -1 C . . 122221 by C/1 * 3
+ 27 3 C . . 111111 by C/2 * 4
+ 33 -3 C . .0222222 by C/1 * 6
34 -2 A . .1222222
35 -1 B . .1222222
36 0 A . .1212222
37 1 B . .1212222
38 2 A . .1212122
39 3 B . .1212122
40 4 A . .12121210
41 5 B . .121212110
42 4 C . .121212111
+ 44 2 C . .121212221 by C/1 * 2
+ 47 5 C . .121211111 by C/2 * 3
+ 52 0 C . .121222222 by C/1 * 5
+ 58 6 C . .1211111110 by C/2 * 6
59 7 A . .12111111110
60 8 B . .121111111110
61 7 C . .121111111111
+ 70 -2 C . .122222222221 by C/1 * 9
+ 80 8 C . .111111111111 by C/2 * 10
+ 92 -4 C . 0222222222222 by C/1 * 12
93 -3 A . 1222222222222
94 -2 B . 1222222222222
95 -1 A . 1212222222222
96 0 B . 1212222222222
97 1 A . 1212122222222
98 2 B . 1212122222222
99 3 A . 1212121222222
100 4 B . 1212121222222
101 5 A . 1212121212222
102 6 B . 1212121212222
103 7 A . 1212121212122
104 8 B . 1212121212122
105 9 A . 12121212121210
106 10 B . 121212121212110
107 9 C . 121212121212111
+ 109 7 C . 121212121212221 by C/1 * 2
+ 112 10 C . 121212121211111 by C/2 * 3
+ 117 5 C . 121212121222222 by C/1 * 5
+ 123 11 C . 1212121211111110 by C/2 * 6
124 12 A . 12121212111111110
125 13 B . 121212121111111110
126 12 C . 121212121111111111
+ 135 3 C . 121212122222222221 by C/1 * 9
+ 145 13 C . 121212111111111111 by C/2 * 10
+ 157 1 C . 121212222222222222 by C/1 * 12
+ 170 14 C . 1212111111111111110 by C/2 * 13
171 15 A . 12121111111111111110
172 16 B . 121211111111111111110
173 15 C . 121211111111111111111
+ 189 -1 C . 121222222222222222221 by C/1 * 16
+ 206 16 C . 121111111111111111111 by C/2 * 17
+ 225 -3 C . 122222222222222222222 by C/1 * 19
+ 245 17 C . 1111111111111111111110 by C/2 * 20
246 18 A . 11111111111111111111110
247 19 B . 111111111111111111111110
248 18 C . 111111111111111111111111
+ 271 -5 C .0222222222222222222222221 by C/1 * 23
272 -4 A .1222222222222222222222221
273 -3 B .1222222222222222222222221
274 -2 A .1212222222222222222222221
275 -1 B .1212222222222222222222221
276 0 A .1212122222222222222222221
277 1 B .1212122222222222222222221
278 2 A .1212121222222222222222221
279 3 B .1212121222222222222222221
280 4 A .1212121212222222222222221
281 5 B .1212121212222222222222221
282 6 A .1212121212122222222222221
283 7 B .1212121212122222222222221
284 8 A .1212121212121222222222221
285 9 B .1212121212121222222222221
286 10 A .1212121212121212222222221
287 11 B .1212121212121212222222221
288 12 A .1212121212121212122222221
289 13 B .1212121212121212122222221
290 14 A .1212121212121212121222221
291 15 B .1212121212121212121222221
292 16 A .1212121212121212121212221
293 17 B .1212121212121212121212221
294 18 A .1212121212121212121212121
295 19 B .1212121212121212121212121
296 18 B .1212121212121212121212120
297 19 A .1212121212121212121212110
298 20 B .12121212121212121212121110
299 19 C .12121212121212121212121111
+ 302 16 C .12121212121212121212122221 by C/1 * 3
+ 306 20 C .12121212121212121212111111 by C/2 * 4
+ 312 14 C .12121212121212121212222222 by C/1 * 6
+ 319 21 C .121212121212121212111111110 by C/2 * 7
320 22 A .1212121212121212121111111110
321 23 B .12121212121212121211111111110
322 22 C .12121212121212121211111111111
+ 332 12 C .12121212121212121222222222221 by C/1 * 10
+ 343 23 C .12121212121212121111111111111 by C/2 * 11
+ 356 10 C .12121212121212122222222222222 by C/1 * 13
+ 370 24 C .121212121212121111111111111110 by C/2 * 14
371 25 A .1212121212121211111111111111110
372 26 B .12121212121212111111111111111110
373 25 C .12121212121212111111111111111111
+ 390 8 C .12121212121212222222222222222221 by C/1 * 17
+ 408 26 C .12121212121211111111111111111111 by C/2 * 18
+ 428 6 C .12121212121222222222222222222222 by C/1 * 20
+ 449 27 C .121212121211111111111111111111110 by C/2 * 21
450 28 A .1212121212111111111111111111111110
451 29 B .12121212121111111111111111111111110
452 28 C .12121212121111111111111111111111111
+ 476 4 C .12121212122222222222222222222222221 by C/1 * 24
+ 501 29 C .12121212111111111111111111111111111 by C/2 * 25
+ 528 2 C .12121212222222222222222222222222222 by C/1 * 27
+ 556 30 C .121212111111111111111111111111111110 by C/2 * 28
557 31 A .1212121111111111111111111111111111110
558 32 B .12121211111111111111111111111111111110
559 31 C .12121211111111111111111111111111111111
+ 590 0 C .12121222222222222222222222222222222221 by C/1 * 31
+ 622 32 C .12121111111111111111111111111111111111 by C/2 * 32
+ 656 -2 C .12122222222222222222222222222222222222 by C/1 * 34
+ 691 33 C .121111111111111111111111111111111111110 by C/2 * 35
692 34 A .1211111111111111111111111111111111111110
693 35 B .12111111111111111111111111111111111111110
694 34 C .12111111111111111111111111111111111111111
+ 732 -4 C .12222222222222222222222222222222222222221 by C/1 * 38
+ 771 35 C .11111111111111111111111111111111111111111 by C/2 * 39
+ 812 -6 C 022222222222222222222222222222222222222222 by C/1 * 41
813 -5 A 122222222222222222222222222222222222222222
814 -4 B 122222222222222222222222222222222222222222
815 -3 A 121222222222222222222222222222222222222222
816 -2 B 121222222222222222222222222222222222222222
817 -1 A 121212222222222222222222222222222222222222
818 0 B 121212222222222222222222222222222222222222
819 1 A 121212122222222222222222222222222222222222
820 2 B 121212122222222222222222222222222222222222
821 3 A 121212121222222222222222222222222222222222
822 4 B 121212121222222222222222222222222222222222
823 5 A 121212121212222222222222222222222222222222
824 6 B 121212121212222222222222222222222222222222
825 7 A 121212121212122222222222222222222222222222
826 8 B 121212121212122222222222222222222222222222
827 9 A 121212121212121222222222222222222222222222
828 10 B 121212121212121222222222222222222222222222
829 11 A 121212121212121212222222222222222222222222
830 12 B 121212121212121212222222222222222222222222
831 13 A 121212121212121212122222222222222222222222
832 14 B 121212121212121212122222222222222222222222
833 15 A 121212121212121212121222222222222222222222
834 16 B 121212121212121212121222222222222222222222
835 17 A 121212121212121212121212222222222222222222
836 18 B 121212121212121212121212222222222222222222
837 19 A 121212121212121212121212122222222222222222
838 20 B 121212121212121212121212122222222222222222
839 21 A 121212121212121212121212121222222222222222
840 22 B 121212121212121212121212121222222222222222
841 23 A 121212121212121212121212121212222222222222
842 24 B 121212121212121212121212121212222222222222
843 25 A 121212121212121212121212121212122222222222
844 26 B 121212121212121212121212121212122222222222
845 27 A 121212121212121212121212121212121222222222
846 28 B 121212121212121212121212121212121222222222
847 29 A 121212121212121212121212121212121212222222
848 30 B 121212121212121212121212121212121212222222
849 31 A 121212121212121212121212121212121212122222
850 32 B 121212121212121212121212121212121212122222
851 33 A 121212121212121212121212121212121212121222
852 34 B 121212121212121212121212121212121212121222
853 35 A 121212121212121212121212121212121212121212
854 36 B 1212121212121212121212121212121212121212120
855 35 C 1212121212121212121212121212121212121212121
856 36 C 1212121212121212121212121212121212121212111
+ 859 33 C 1212121212121212121212121212121212121212222 by C/1 * 3
+ 863 37 C 12121212121212121212121212121212121212111110 by C/2 * 4
864 38 A 121212121212121212121212121212121212121111110
865 39 B 1212121212121212121212121212121212121211111110
866 38 C 1212121212121212121212121212121212121211111111
+ 873 31 C 1212121212121212121212121212121212121222222221 by C/1 * 7
+ 881 39 C 1212121212121212121212121212121212121111111111 by C/2 * 8
+ 891 29 C 1212121212121212121212121212121212122222222222 by C/1 * 10
+ 902 40 C 12121212121212121212121212121212121111111111110 by C/2 * 11
903 41 A 121212121212121212121212121212121211111111111110
904 42 B 1212121212121212121212121212121212111111111111110
905 41 C 1212121212121212121212121212121212111111111111111
+ 919 27 C 1212121212121212121212121212121212222222222222221 by C/1 * 14
After 919 steps (201 lines): state = C.
Produced 49 nonzeros.
Tape index 27, scanned [-6 .. 42].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 62 | 17 | 45 | 0 | 4 | ||
| B | 65 | 18 | 3 | 44 | 1 | 5 | 6 |
| C | 792 | 17 | 425 | 350 | 3 | 2 | 23 |