Comment: This TM produces 32213 nonzeros in 544884219 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 | |||||||
| 1 | 1R2 | 1L2 | 2L1 | 1 | right | 2 | 1 | left | 2 | 2 | left | 1 |
| 2 | 1L1 | 1R3 | 1Rh | 1 | left | 1 | 1 | right | 3 | 1 | right | h |
| 3 | 0L1 | 2R3 | 1L3 | 0 | left | 1 | 2 | right | 3 | 1 | left | 3 |
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 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0
1 1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 0 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 -1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .011
4 -2 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0111
5 -1 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111
6 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111
+ 8 2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220 by 3/1 * 2
9 1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
+ 11 -1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220 by 1/2 * 2
12 -2 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
13 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11220
14 0 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12220
+ 16 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11120 by 3/2 * 2
+ 19 1 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22220 by 3/1 * 3
+ 23 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . .011110 by 3/2 * 4
24 -4 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 0011110
25 -3 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1011110
26 -4 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1111110
27 -5 2 . . . . . . . . . . . . . . . . . . . . . . . . . . .01111110
28 -6 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 011111110
29 -5 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 111111110
30 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 111111110
+ 36 2 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 by 3/1 * 6
37 1 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
+ 43 -5 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220 by 1/2 * 6
44 -6 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
45 -5 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 112222220
46 -4 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 122222220
+ 48 -6 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 111222220 by 3/2 * 2
+ 51 -3 3 . . . . . . . . . . . . . . . . . . . . . . . . . . 222222220 by 3/1 * 3
+ 55 -7 3 . . . . . . . . . . . . . . . . . . . . . . . . . .0111122220 by 3/2 * 4
56 -8 1 . . . . . . . . . . . . . . . . . . . . . . . . . 00111122220
57 -7 2 . . . . . . . . . . . . . . . . . . . . . . . . . 10111122220
58 -8 1 . . . . . . . . . . . . . . . . . . . . . . . . . 11111122220
59 -9 2 . . . . . . . . . . . . . . . . . . . . . . . . .011111122220
60 -10 1 . . . . . . . . . . . . . . . . . . . . . . . . 0111111122220
61 -9 2 . . . . . . . . . . . . . . . . . . . . . . . . 1111111122220
62 -8 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111122220
+ 68 -2 3 . . . . . . . . . . . . . . . . . . . . . . . . 1122222222220 by 3/1 * 6
+ 75 -9 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111112220 by 3/2 * 7
+ 83 -1 3 . . . . . . . . . . . . . . . . . . . . . . . . 1222222222220 by 3/1 * 8
+ 92 -10 3 . . . . . . . . . . . . . . . . . . . . . . . . 1111111111220 by 3/2 * 9
+ 102 0 3 . . . . . . . . . . . . . . . . . . . . . . . . 2222222222220 by 3/1 * 10
+ 113 -11 3 . . . . . . . . . . . . . . . . . . . . . . . .01111111111120 by 3/2 * 11
114 -12 1 . . . . . . . . . . . . . . . . . . . . . . . 001111111111120
115 -11 2 . . . . . . . . . . . . . . . . . . . . . . . 101111111111120
116 -12 1 . . . . . . . . . . . . . . . . . . . . . . . 111111111111120
117 -13 2 . . . . . . . . . . . . . . . . . . . . . . .0111111111111120
118 -14 1 . . . . . . . . . . . . . . . . . . . . . . 01111111111111120
119 -13 2 . . . . . . . . . . . . . . . . . . . . . . 11111111111111120
120 -12 3 . . . . . . . . . . . . . . . . . . . . . . 11111111111111120
+ 133 1 3 . . . . . . . . . . . . . . . . . . . . . . 11222222222222220 by 3/1 * 13
+ 147 -13 3 . . . . . . . . . . . . . . . . . . . . . . 11111111111111110 by 3/2 * 14
+ 162 2 3 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 by 3/1 * 15
163 1 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220
+ 178 -14 1 . . . . . . . . . . . . . . . . . . . . . . 12222222222222220 by 1/2 * 15
179 -15 2 . . . . . . . . . . . . . . . . . . . . . .012222222222222220
180 -16 1 . . . . . . . . . . . . . . . . . . . . . 0112222222222222220
181 -15 2 . . . . . . . . . . . . . . . . . . . . . 1112222222222222220
182 -14 3 . . . . . . . . . . . . . . . . . . . . . 1112222222222222220
183 -13 3 . . . . . . . . . . . . . . . . . . . . . 1122222222222222220
+ 185 -15 3 . . . . . . . . . . . . . . . . . . . . . 1111222222222222220 by 3/2 * 2
+ 188 -12 3 . . . . . . . . . . . . . . . . . . . . . 1222222222222222220 by 3/1 * 3
+ 192 -16 3 . . . . . . . . . . . . . . . . . . . . . 1111122222222222220 by 3/2 * 4
+ 197 -11 3 . . . . . . . . . . . . . . . . . . . . . 2222222222222222220 by 3/1 * 5
+ 203 -17 3 . . . . . . . . . . . . . . . . . . . . .01111112222222222220 by 3/2 * 6
204 -18 1 . . . . . . . . . . . . . . . . . . . . 001111112222222222220
205 -17 2 . . . . . . . . . . . . . . . . . . . . 101111112222222222220
206 -18 1 . . . . . . . . . . . . . . . . . . . . 111111112222222222220
207 -19 2 . . . . . . . . . . . . . . . . . . . .0111111112222222222220
208 -20 1 . . . . . . . . . . . . . . . . . . . 01111111112222222222220
209 -19 2 . . . . . . . . . . . . . . . . . . . 11111111112222222222220
210 -18 3 . . . . . . . . . . . . . . . . . . . 11111111112222222222220
+ 218 -10 3 . . . . . . . . . . . . . . . . . . . 11222222222222222222220 by 3/1 * 8
+ 227 -19 3 . . . . . . . . . . . . . . . . . . . 11111111111222222222220 by 3/2 * 9
+ 237 -9 3 . . . . . . . . . . . . . . . . . . . 12222222222222222222220 by 3/1 * 10
+ 248 -20 3 . . . . . . . . . . . . . . . . . . . 11111111111122222222220 by 3/2 * 11
+ 260 -8 3 . . . . . . . . . . . . . . . . . . . 22222222222222222222220 by 3/1 * 12
+ 273 -21 3 . . . . . . . . . . . . . . . . . . .011111111111112222222220 by 3/2 * 13
274 -22 1 . . . . . . . . . . . . . . . . . . 0011111111111112222222220
275 -21 2 . . . . . . . . . . . . . . . . . . 1011111111111112222222220
276 -22 1 . . . . . . . . . . . . . . . . . . 1111111111111112222222220
277 -23 2 . . . . . . . . . . . . . . . . . .01111111111111112222222220
278 -24 1 . . . . . . . . . . . . . . . . . 011111111111111112222222220
279 -23 2 . . . . . . . . . . . . . . . . . 111111111111111112222222220
280 -22 3 . . . . . . . . . . . . . . . . . 111111111111111112222222220
+ 295 -7 3 . . . . . . . . . . . . . . . . . 112222222222222222222222220 by 3/1 * 15
+ 311 -23 3 . . . . . . . . . . . . . . . . . 111111111111111111222222220 by 3/2 * 16
+ 328 -6 3 . . . . . . . . . . . . . . . . . 122222222222222222222222220 by 3/1 * 17
+ 346 -24 3 . . . . . . . . . . . . . . . . . 111111111111111111122222220 by 3/2 * 18
+ 365 -5 3 . . . . . . . . . . . . . . . . . 222222222222222222222222220 by 3/1 * 19
+ 385 -25 3 . . . . . . . . . . . . . . . . .0111111111111111111112222220 by 3/2 * 20
386 -26 1 . . . . . . . . . . . . . . . . 00111111111111111111112222220
387 -25 2 . . . . . . . . . . . . . . . . 10111111111111111111112222220
388 -26 1 . . . . . . . . . . . . . . . . 11111111111111111111112222220
389 -27 2 . . . . . . . . . . . . . . . .011111111111111111111112222220
390 -28 1 . . . . . . . . . . . . . . . 0111111111111111111111112222220
391 -27 2 . . . . . . . . . . . . . . . 1111111111111111111111112222220
392 -26 3 . . . . . . . . . . . . . . . 1111111111111111111111112222220
+ 414 -4 3 . . . . . . . . . . . . . . . 1122222222222222222222222222220 by 3/1 * 22
+ 437 -27 3 . . . . . . . . . . . . . . . 1111111111111111111111111222220 by 3/2 * 23
+ 461 -3 3 . . . . . . . . . . . . . . . 1222222222222222222222222222220 by 3/1 * 24
+ 486 -28 3 . . . . . . . . . . . . . . . 1111111111111111111111111122220 by 3/2 * 25
+ 512 -2 3 . . . . . . . . . . . . . . . 2222222222222222222222222222220 by 3/1 * 26
+ 539 -29 3 . . . . . . . . . . . . . . .01111111111111111111111111112220 by 3/2 * 27
540 -30 1 . . . . . . . . . . . . . . 001111111111111111111111111112220
541 -29 2 . . . . . . . . . . . . . . 101111111111111111111111111112220
542 -30 1 . . . . . . . . . . . . . . 111111111111111111111111111112220
543 -31 2 . . . . . . . . . . . . . .0111111111111111111111111111112220
544 -32 1 . . . . . . . . . . . . . 01111111111111111111111111111112220
545 -31 2 . . . . . . . . . . . . . 11111111111111111111111111111112220
546 -30 3 . . . . . . . . . . . . . 11111111111111111111111111111112220
+ 575 -1 3 . . . . . . . . . . . . . 11222222222222222222222222222222220 by 3/1 * 29
+ 605 -31 3 . . . . . . . . . . . . . 11111111111111111111111111111111220 by 3/2 * 30
+ 636 0 3 . . . . . . . . . . . . . 12222222222222222222222222222222220 by 3/1 * 31
+ 668 -32 3 . . . . . . . . . . . . . 11111111111111111111111111111111120 by 3/2 * 32
+ 701 1 3 . . . . . . . . . . . . . 22222222222222222222222222222222220 by 3/1 * 33
+ 735 -33 3 . . . . . . . . . . . . .011111111111111111111111111111111110 by 3/2 * 34
736 -34 1 . . . . . . . . . . . . 0011111111111111111111111111111111110
737 -33 2 . . . . . . . . . . . . 1011111111111111111111111111111111110
738 -34 1 . . . . . . . . . . . . 1111111111111111111111111111111111110
739 -35 2 . . . . . . . . . . . .01111111111111111111111111111111111110
740 -36 1 . . . . . . . . . . . 011111111111111111111111111111111111110
741 -35 2 . . . . . . . . . . . 111111111111111111111111111111111111110
742 -34 3 . . . . . . . . . . . 111111111111111111111111111111111111110
+ 778 2 3 . . . . . . . . . . . 112222222222222222222222222222222222220 by 3/1 * 36
779 1 1 . . . . . . . . . . . 112222222222222222222222222222222222220
+ 815 -35 1 . . . . . . . . . . . 112222222222222222222222222222222222220 by 1/2 * 36
816 -36 2 . . . . . . . . . . . 112222222222222222222222222222222222220
817 -35 3 . . . . . . . . . . . 112222222222222222222222222222222222220
818 -34 3 . . . . . . . . . . . 122222222222222222222222222222222222220
+ 820 -36 3 . . . . . . . . . . . 111222222222222222222222222222222222220 by 3/2 * 2
+ 823 -33 3 . . . . . . . . . . . 222222222222222222222222222222222222220 by 3/1 * 3
+ 827 -37 3 . . . . . . . . . . .0111122222222222222222222222222222222220 by 3/2 * 4
828 -38 1 . . . . . . . . . . 00111122222222222222222222222222222222220
829 -37 2 . . . . . . . . . . 10111122222222222222222222222222222222220
830 -38 1 . . . . . . . . . . 11111122222222222222222222222222222222220
831 -39 2 . . . . . . . . . .011111122222222222222222222222222222222220
832 -40 1 . . . . . . . . . 0111111122222222222222222222222222222222220
833 -39 2 . . . . . . . . . 1111111122222222222222222222222222222222220
834 -38 3 . . . . . . . . . 1111111122222222222222222222222222222222220
+ 840 -32 3 . . . . . . . . . 1122222222222222222222222222222222222222220 by 3/1 * 6
+ 847 -39 3 . . . . . . . . . 1111111112222222222222222222222222222222220 by 3/2 * 7
+ 855 -31 3 . . . . . . . . . 1222222222222222222222222222222222222222220 by 3/1 * 8
+ 864 -40 3 . . . . . . . . . 1111111111222222222222222222222222222222220 by 3/2 * 9
+ 874 -30 3 . . . . . . . . . 2222222222222222222222222222222222222222220 by 3/1 * 10
+ 885 -41 3 . . . . . . . . .01111111111122222222222222222222222222222220 by 3/2 * 11
886 -42 1 . . . . . . . . 001111111111122222222222222222222222222222220
887 -41 2 . . . . . . . . 101111111111122222222222222222222222222222220
888 -42 1 . . . . . . . . 111111111111122222222222222222222222222222220
889 -43 2 . . . . . . . .0111111111111122222222222222222222222222222220
890 -44 1 . . . . . . . 01111111111111122222222222222222222222222222220
891 -43 2 . . . . . . . 11111111111111122222222222222222222222222222220
892 -42 3 . . . . . . . 11111111111111122222222222222222222222222222220
+ 905 -29 3 . . . . . . . 11222222222222222222222222222222222222222222220 by 3/1 * 13
+ 919 -43 3 . . . . . . . 11111111111111112222222222222222222222222222220 by 3/2 * 14
+ 934 -28 3 . . . . . . . 12222222222222222222222222222222222222222222220 by 3/1 * 15
+ 950 -44 3 . . . . . . . 11111111111111111222222222222222222222222222220 by 3/2 * 16
+ 967 -27 3 . . . . . . . 22222222222222222222222222222222222222222222220 by 3/1 * 17
+ 985 -45 3 . . . . . . .011111111111111111122222222222222222222222222220 by 3/2 * 18
986 -46 1 . . . . . . 0011111111111111111122222222222222222222222222220
987 -45 2 . . . . . . 1011111111111111111122222222222222222222222222220
988 -46 1 . . . . . . 1111111111111111111122222222222222222222222222220
989 -47 2 . . . . . .01111111111111111111122222222222222222222222222220
990 -48 1 . . . . . 011111111111111111111122222222222222222222222222220
991 -47 2 . . . . . 111111111111111111111122222222222222222222222222220
992 -46 3 . . . . . 111111111111111111111122222222222222222222222222220
+ 1012 -26 3 . . . . . 112222222222222222222222222222222222222222222222220 by 3/1 * 20
+ 1033 -47 3 . . . . . 111111111111111111111112222222222222222222222222220 by 3/2 * 21
+ 1055 -25 3 . . . . . 122222222222222222222222222222222222222222222222220 by 3/1 * 22
+ 1078 -48 3 . . . . . 111111111111111111111111222222222222222222222222220 by 3/2 * 23
+ 1102 -24 3 . . . . . 222222222222222222222222222222222222222222222222220 by 3/1 * 24
+ 1127 -49 3 . . . . .0111111111111111111111111122222222222222222222222220 by 3/2 * 25
1128 -50 1 . . . . 00111111111111111111111111122222222222222222222222220
1129 -49 2 . . . . 10111111111111111111111111122222222222222222222222220
1130 -50 1 . . . . 11111111111111111111111111122222222222222222222222220
1131 -51 2 . . . .011111111111111111111111111122222222222222222222222220
1132 -52 1 . . . 0111111111111111111111111111122222222222222222222222220
1133 -51 2 . . . 1111111111111111111111111111122222222222222222222222220
1134 -50 3 . . . 1111111111111111111111111111122222222222222222222222220
+ 1161 -23 3 . . . 1122222222222222222222222222222222222222222222222222220 by 3/1 * 27
+ 1189 -51 3 . . . 1111111111111111111111111111112222222222222222222222220 by 3/2 * 28
+ 1218 -22 3 . . . 1222222222222222222222222222222222222222222222222222220 by 3/1 * 29
+ 1248 -52 3 . . . 1111111111111111111111111111111222222222222222222222220 by 3/2 * 30
+ 1279 -21 3 . . . 2222222222222222222222222222222222222222222222222222220 by 3/1 * 31
+ 1311 -53 3 . . .01111111111111111111111111111111122222222222222222222220 by 3/2 * 32
1312 -54 1 . . 001111111111111111111111111111111122222222222222222222220
1313 -53 2 . . 101111111111111111111111111111111122222222222222222222220
1314 -54 1 . . 111111111111111111111111111111111122222222222222222222220
1315 -55 2 . .0111111111111111111111111111111111122222222222222222222220
1316 -56 1 . 01111111111111111111111111111111111122222222222222222222220
1317 -55 2 . 11111111111111111111111111111111111122222222222222222222220
1318 -54 3 . 11111111111111111111111111111111111122222222222222222222220
+ 1352 -20 3 . 11222222222222222222222222222222222222222222222222222222220 by 3/1 * 34
+ 1387 -55 3 . 11111111111111111111111111111111111112222222222222222222220 by 3/2 * 35
+ 1423 -19 3 . 12222222222222222222222222222222222222222222222222222222220 by 3/1 * 36
+ 1460 -56 3 . 11111111111111111111111111111111111111222222222222222222220 by 3/2 * 37
+ 1498 -18 3 . 22222222222222222222222222222222222222222222222222222222220 by 3/1 * 38
+ 1537 -57 3 .011111111111111111111111111111111111111122222222222222222220 by 3/2 * 39
1538 -58 1 0011111111111111111111111111111111111111122222222222222222220
After 1538 steps (201 lines): state = 1.
Produced 58 nonzeros.
Tape index -58, scanned [-57 .. 2].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| 1 | 106 | 29 | 18 | 59 | 0 | 2 | 9 |
| 2 | 47 | 29 | 18 | 1 | 5 | ||
| 3 | 1385 | 18 | 693 | 674 | 8 | 6 | 14 |