Comment: This TM produces 668,420 nonzeros in 469,121,946,086 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 | B1R | B2R | A3L | A2R | A3R | 1 | right | B | 2 | right | B | 3 | left | A | 2 | right | A | 3 | right | A |
| B | B2L | A2L | A3L | B4R | Z1R | 2 | left | B | 2 | left | A | 3 | left | A | 4 | right | B | 1 | right | Z |
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 B . . 12
3 -1 A . .022
4 0 B . .122
5 -1 A . .132
6 0 B . .232
7 1 B . .242
8 0 A . .243
9 1 A . .233
10 2 A . .2320
11 3 B . .23210
12 2 B . .23212
13 1 A . .23222
14 0 A . .23322
+ 16 2 A . .22222 by A/3 * 2
+ 20 -2 A . 033332 by A/2 * 4
21 -1 B . 133332
+ 25 3 B . 144442 by B/3 * 4
26 2 A . 144443
27 3 A . 144433
28 4 A . 1444320
29 5 B . 14443210
30 4 B . 14443212
31 3 A . 14443222
32 2 A . 14443322
+ 34 4 A . 14442222 by A/3 * 2
+ 37 1 A . 14443332 by A/2 * 3
38 2 A . 14433332
+ 41 5 A . 14432222 by A/3 * 3
+ 45 1 A . 14433333 by A/2 * 4
+ 50 6 A . 144222220 by A/3 * 5
51 7 B . 1442222210
52 6 B . 1442222212
53 5 A . 1442222222
+ 58 0 A . 1443333322 by A/2 * 5
59 1 A . 1433333322
+ 64 6 A . 1432222222 by A/3 * 5
+ 70 0 A . 1433333332 by A/2 * 6
+ 77 7 A . 1422222222 by A/3 * 7
+ 85 -1 A . 1433333333 by A/2 * 8
86 0 A . 1333333333
+ 94 8 A . 13222222220 by A/3 * 8
95 9 B . 132222222210
96 8 B . 132222222212
97 7 A . 132222222222
+ 105 -1 A . 133333333322 by A/2 * 8
+ 114 8 A . 122222222222 by A/3 * 9
+ 124 -2 A . 133333333332 by A/2 * 10
125 -1 B . 233333333332
+ 135 9 B . 244444444442 by B/3 * 10
136 8 A . 244444444443
137 9 A . 244444444433
138 10 A . 2444444444320
139 11 B . 24444444443210
140 10 B . 24444444443212
141 9 A . 24444444443222
142 8 A . 24444444443322
+ 144 10 A . 24444444442222 by A/3 * 2
+ 147 7 A . 24444444443332 by A/2 * 3
148 8 A . 24444444433332
+ 151 11 A . 24444444432222 by A/3 * 3
+ 155 7 A . 24444444433333 by A/2 * 4
+ 160 12 A . 244444444222220 by A/3 * 5
161 13 B . 2444444442222210
162 12 B . 2444444442222212
163 11 A . 2444444442222222
+ 168 6 A . 2444444443333322 by A/2 * 5
169 7 A . 2444444433333322
+ 174 12 A . 2444444432222222 by A/3 * 5
+ 180 6 A . 2444444433333332 by A/2 * 6
+ 187 13 A . 2444444422222222 by A/3 * 7
+ 195 5 A . 2444444433333333 by A/2 * 8
196 6 A . 2444444333333333
+ 204 14 A . 24444443222222220 by A/3 * 8
205 15 B . 244444432222222210
206 14 B . 244444432222222212
207 13 A . 244444432222222222
+ 215 5 A . 244444433333333322 by A/2 * 8
+ 224 14 A . 244444422222222222 by A/3 * 9
+ 234 4 A . 244444433333333332 by A/2 * 10
235 5 A . 244444333333333332
+ 245 15 A . 244444322222222222 by A/3 * 10
+ 256 4 A . 244444333333333333 by A/2 * 11
+ 268 16 A . 2444442222222222220 by A/3 * 12
269 17 B . 24444422222222222210
270 16 B . 24444422222222222212
271 15 A . 24444422222222222222
+ 283 3 A . 24444433333333333322 by A/2 * 12
284 4 A . 24444333333333333322
+ 296 16 A . 24444322222222222222 by A/3 * 12
+ 309 3 A . 24444333333333333332 by A/2 * 13
+ 323 17 A . 24444222222222222222 by A/3 * 14
+ 338 2 A . 24444333333333333333 by A/2 * 15
339 3 A . 24443333333333333333
+ 354 18 A . 244432222222222222220 by A/3 * 15
355 19 B . 2444322222222222222210
356 18 B . 2444322222222222222212
357 17 A . 2444322222222222222222
+ 372 2 A . 2444333333333333333322 by A/2 * 15
+ 388 18 A . 2444222222222222222222 by A/3 * 16
+ 405 1 A . 2444333333333333333332 by A/2 * 17
406 2 A . 2443333333333333333332
+ 423 19 A . 2443222222222222222222 by A/3 * 17
+ 441 1 A . 2443333333333333333333 by A/2 * 18
+ 460 20 A . 24422222222222222222220 by A/3 * 19
461 21 B . 244222222222222222222210
462 20 B . 244222222222222222222212
463 19 A . 244222222222222222222222
+ 482 0 A . 244333333333333333333322 by A/2 * 19
483 1 A . 243333333333333333333322
+ 502 20 A . 243222222222222222222222 by A/3 * 19
+ 522 0 A . 243333333333333333333332 by A/2 * 20
+ 543 21 A . 242222222222222222222222 by A/3 * 21
+ 565 -1 A . 243333333333333333333333 by A/2 * 22
566 0 A . 233333333333333333333333
+ 588 22 A . 2322222222222222222222220 by A/3 * 22
589 23 B . 23222222222222222222222210
590 22 B . 23222222222222222222222212
591 21 A . 23222222222222222222222222
+ 613 -1 A . 23333333333333333333333322 by A/2 * 22
+ 636 22 A . 22222222222222222222222222 by A/3 * 23
+ 661 -3 A .033333333333333333333333332 by A/2 * 25
662 -2 B .133333333333333333333333332
+ 687 23 B .144444444444444444444444442 by B/3 * 25
688 22 A .144444444444444444444444443
689 23 A .144444444444444444444444433
690 24 A .1444444444444444444444444320
691 25 B .14444444444444444444444443210
692 24 B .14444444444444444444444443212
693 23 A .14444444444444444444444443222
694 22 A .14444444444444444444444443322
+ 696 24 A .14444444444444444444444442222 by A/3 * 2
+ 699 21 A .14444444444444444444444443332 by A/2 * 3
700 22 A .14444444444444444444444433332
+ 703 25 A .14444444444444444444444432222 by A/3 * 3
+ 707 21 A .14444444444444444444444433333 by A/2 * 4
+ 712 26 A .144444444444444444444444222220 by A/3 * 5
713 27 B .1444444444444444444444442222210
714 26 B .1444444444444444444444442222212
715 25 A .1444444444444444444444442222222
+ 720 20 A .1444444444444444444444443333322 by A/2 * 5
721 21 A .1444444444444444444444433333322
+ 726 26 A .1444444444444444444444432222222 by A/3 * 5
+ 732 20 A .1444444444444444444444433333332 by A/2 * 6
+ 739 27 A .1444444444444444444444422222222 by A/3 * 7
+ 747 19 A .1444444444444444444444433333333 by A/2 * 8
748 20 A .1444444444444444444444333333333
+ 756 28 A .14444444444444444444443222222220 by A/3 * 8
757 29 B .144444444444444444444432222222210
758 28 B .144444444444444444444432222222212
759 27 A .144444444444444444444432222222222
+ 767 19 A .144444444444444444444433333333322 by A/2 * 8
+ 776 28 A .144444444444444444444422222222222 by A/3 * 9
+ 786 18 A .144444444444444444444433333333332 by A/2 * 10
787 19 A .144444444444444444444333333333332
+ 797 29 A .144444444444444444444322222222222 by A/3 * 10
+ 808 18 A .144444444444444444444333333333333 by A/2 * 11
+ 820 30 A .1444444444444444444442222222222220 by A/3 * 12
821 31 B .14444444444444444444422222222222210
822 30 B .14444444444444444444422222222222212
823 29 A .14444444444444444444422222222222222
+ 835 17 A .14444444444444444444433333333333322 by A/2 * 12
836 18 A .14444444444444444444333333333333322
+ 848 30 A .14444444444444444444322222222222222 by A/3 * 12
+ 861 17 A .14444444444444444444333333333333332 by A/2 * 13
+ 875 31 A .14444444444444444444222222222222222 by A/3 * 14
+ 890 16 A .14444444444444444444333333333333333 by A/2 * 15
891 17 A .14444444444444444443333333333333333
+ 906 32 A .144444444444444444432222222222222220 by A/3 * 15
907 33 B .1444444444444444444322222222222222210
908 32 B .1444444444444444444322222222222222212
909 31 A .1444444444444444444322222222222222222
+ 924 16 A .1444444444444444444333333333333333322 by A/2 * 15
+ 940 32 A .1444444444444444444222222222222222222 by A/3 * 16
+ 957 15 A .1444444444444444444333333333333333332 by A/2 * 17
958 16 A .1444444444444444443333333333333333332
+ 975 33 A .1444444444444444443222222222222222222 by A/3 * 17
+ 993 15 A .1444444444444444443333333333333333333 by A/2 * 18
+ 1012 34 A .14444444444444444422222222222222222220 by A/3 * 19
1013 35 B .144444444444444444222222222222222222210
1014 34 B .144444444444444444222222222222222222212
1015 33 A .144444444444444444222222222222222222222
+ 1034 14 A .144444444444444444333333333333333333322 by A/2 * 19
1035 15 A .144444444444444443333333333333333333322
+ 1054 34 A .144444444444444443222222222222222222222 by A/3 * 19
+ 1074 14 A .144444444444444443333333333333333333332 by A/2 * 20
+ 1095 35 A .144444444444444442222222222222222222222 by A/3 * 21
+ 1117 13 A .144444444444444443333333333333333333333 by A/2 * 22
1118 14 A .144444444444444433333333333333333333333
+ 1140 36 A .1444444444444444322222222222222222222220 by A/3 * 22
1141 37 B .14444444444444443222222222222222222222210
1142 36 B .14444444444444443222222222222222222222212
1143 35 A .14444444444444443222222222222222222222222
+ 1165 13 A .14444444444444443333333333333333333333322 by A/2 * 22
+ 1188 36 A .14444444444444442222222222222222222222222 by A/3 * 23
+ 1212 12 A .14444444444444443333333333333333333333332 by A/2 * 24
1213 13 A .14444444444444433333333333333333333333332
+ 1237 37 A .14444444444444432222222222222222222222222 by A/3 * 24
+ 1262 12 A .14444444444444433333333333333333333333333 by A/2 * 25
+ 1288 38 A .144444444444444222222222222222222222222220 by A/3 * 26
After 1288 steps (201 lines): state = A.
Produced 41 nonzeros.
Tape index 38, scanned [-3 .. 37].
| 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 | 1205 | 22 | 2 | 582 | 573 | 26 | 0 | 5 | 13 | 9 | 8 |
| B | 83 | 19 | 19 | 5 | 40 | 1 | 2 | 4 | 6 | ||