Comment: This TM produces >1.9x10^27 nonzeros in >2.3x10^54 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 5 |
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||||
| A | 1RB | 0RB | 3LA | 5LA | 1RH | 4LB | 1 | right | B | 0 | right | B | 3 | left | A | 5 | left | A | 1 | right | H | 4 | left | B |
| B | 1LA | 2RB | 3LA | 4LB | 3RB | 3RA | 1 | left | A | 2 | right | B | 3 | left | A | 4 | left | B | 3 | right | B | 3 | 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 . . . . . . . . . . . 11
3 1 B . . . . . . . . . . . 01
4 2 B . . . . . . . . . . . 020
5 1 A . . . . . . . . . . . 021
6 0 A . . . . . . . . . . . 031
7 1 B . . . . . . . . . . . 131
8 0 B . . . . . . . . . . . 141
9 1 B . . . . . . . . . . . 241
10 2 B . . . . . . . . . . . 231
11 3 B . . . . . . . . . . . 2320
12 2 A . . . . . . . . . . . 2321
13 1 A . . . . . . . . . . . 2331
14 0 A . . . . . . . . . . . 2531
15 -1 A . . . . . . . . . . .03531
16 0 B . . . . . . . . . . .13531
17 -1 B . . . . . . . . . . .14531
18 0 B . . . . . . . . . . .24531
19 1 B . . . . . . . . . . .23531
20 2 A . . . . . . . . . . .23331
+ 23 -1 A . . . . . . . . . . .25551 by A/3 * 3
24 -2 A . . . . . . . . . . 035551
25 -1 B . . . . . . . . . . 135551
26 -2 B . . . . . . . . . . 145551
27 -1 B . . . . . . . . . . 245551
28 0 B . . . . . . . . . . 235551
29 1 A . . . . . . . . . . 233551
30 0 B . . . . . . . . . . 233451
+ 32 -2 B . . . . . . . . . . 244451 by B/3 * 2
33 -3 A . . . . . . . . . .0344451
34 -2 B . . . . . . . . . .1344451
35 -3 B . . . . . . . . . .1444451
36 -2 B . . . . . . . . . .2444451
+ 40 2 B . . . . . . . . . .2333351 by B/4 * 4
41 3 A . . . . . . . . . .2333331
42 4 B . . . . . . . . . .23333300
43 3 A . . . . . . . . . .23333301
44 4 B . . . . . . . . . .23333311
45 5 B . . . . . . . . . .233333120
46 4 A . . . . . . . . . .233333121
47 3 A . . . . . . . . . .233333131
48 4 B . . . . . . . . . .233333031
49 3 B . . . . . . . . . .233333041
50 2 A . . . . . . . . . .233333141
+ 55 -3 A . . . . . . . . . .255555141 by A/3 * 5
56 -4 A . . . . . . . . . 0355555141
57 -3 B . . . . . . . . . 1355555141
58 -4 B . . . . . . . . . 1455555141
59 -3 B . . . . . . . . . 2455555141
60 -2 B . . . . . . . . . 2355555141
61 -1 A . . . . . . . . . 2335555141
62 -2 B . . . . . . . . . 2334555141
+ 64 -4 B . . . . . . . . . 2444555141 by B/3 * 2
65 -5 A . . . . . . . . .03444555141
66 -4 B . . . . . . . . .13444555141
67 -5 B . . . . . . . . .14444555141
68 -4 B . . . . . . . . .24444555141
+ 72 0 B . . . . . . . . .23333555141 by B/4 * 4
73 1 A . . . . . . . . .23333355141
74 0 B . . . . . . . . .23333345141
+ 79 -5 B . . . . . . . . .24444445141 by B/3 * 5
80 -6 A . . . . . . . . 034444445141
81 -5 B . . . . . . . . 134444445141
82 -6 B . . . . . . . . 144444445141
83 -5 B . . . . . . . . 244444445141
+ 90 2 B . . . . . . . . 233333335141 by B/4 * 7
91 3 A . . . . . . . . 233333333141
92 4 B . . . . . . . . 233333333041
93 5 B . . . . . . . . 233333333031
94 6 B . . . . . . . . 2333333330320
95 5 A . . . . . . . . 2333333330321
96 4 A . . . . . . . . 2333333330331
97 3 A . . . . . . . . 2333333330531
98 4 B . . . . . . . . 2333333331531
99 5 A . . . . . . . . 2333333331331
+ 101 3 A . . . . . . . . 2333333331551 by A/3 * 2
102 4 B . . . . . . . . 2333333330551
103 5 A . . . . . . . . 2333333330351
104 4 B . . . . . . . . 2333333330341
105 3 B . . . . . . . . 2333333330441
106 2 A . . . . . . . . 2333333331441
+ 114 -6 A . . . . . . . . 2555555551441 by A/3 * 8
115 -7 A . . . . . . . .03555555551441
116 -6 B . . . . . . . .13555555551441
117 -7 B . . . . . . . .14555555551441
118 -6 B . . . . . . . .24555555551441
119 -5 B . . . . . . . .23555555551441
120 -4 A . . . . . . . .23355555551441
121 -5 B . . . . . . . .23345555551441
+ 123 -7 B . . . . . . . .24445555551441 by B/3 * 2
124 -8 A . . . . . . . 034445555551441
125 -7 B . . . . . . . 134445555551441
126 -8 B . . . . . . . 144445555551441
127 -7 B . . . . . . . 244445555551441
+ 131 -3 B . . . . . . . 233335555551441 by B/4 * 4
132 -2 A . . . . . . . 233333555551441
133 -3 B . . . . . . . 233333455551441
+ 138 -8 B . . . . . . . 244444455551441 by B/3 * 5
139 -9 A . . . . . . .0344444455551441
140 -8 B . . . . . . .1344444455551441
141 -9 B . . . . . . .1444444455551441
142 -8 B . . . . . . .2444444455551441
+ 149 -1 B . . . . . . .2333333355551441 by B/4 * 7
150 0 A . . . . . . .2333333335551441
151 -1 B . . . . . . .2333333334551441
+ 159 -9 B . . . . . . .2444444444551441 by B/3 * 8
160 -10 A . . . . . . 03444444444551441
161 -9 B . . . . . . 13444444444551441
162 -10 B . . . . . . 14444444444551441
163 -9 B . . . . . . 24444444444551441
+ 173 1 B . . . . . . 23333333333551441 by B/4 * 10
174 2 A . . . . . . 23333333333351441
175 1 B . . . . . . 23333333333341441
+ 186 -10 B . . . . . . 24444444444441441 by B/3 * 11
187 -11 A . . . . . .034444444444441441
188 -10 B . . . . . .134444444444441441
189 -11 B . . . . . .144444444444441441
190 -10 B . . . . . .244444444444441441
+ 203 3 B . . . . . .233333333333331441 by B/4 * 13
204 4 B . . . . . .233333333333332441
+ 206 6 B . . . . . .233333333333332331 by B/4 * 2
207 7 B . . . . . .2333333333333323320
208 6 A . . . . . .2333333333333323321
209 5 A . . . . . .2333333333333323331
+ 211 3 A . . . . . .2333333333333325531 by A/3 * 2
212 2 A . . . . . .2333333333333335531
+ 225 -11 A . . . . . .2555555555555535531 by A/3 * 13
226 -12 A . . . . . 03555555555555535531
227 -11 B . . . . . 13555555555555535531
228 -12 B . . . . . 14555555555555535531
229 -11 B . . . . . 24555555555555535531
230 -10 B . . . . . 23555555555555535531
231 -9 A . . . . . 23355555555555535531
232 -10 B . . . . . 23345555555555535531
+ 234 -12 B . . . . . 24445555555555535531 by B/3 * 2
235 -13 A . . . . .034445555555555535531
236 -12 B . . . . .134445555555555535531
237 -13 B . . . . .144445555555555535531
238 -12 B . . . . .244445555555555535531
+ 242 -8 B . . . . .233335555555555535531 by B/4 * 4
243 -7 A . . . . .233333555555555535531
244 -8 B . . . . .233333455555555535531
+ 249 -13 B . . . . .244444455555555535531 by B/3 * 5
250 -14 A . . . . 0344444455555555535531
251 -13 B . . . . 1344444455555555535531
252 -14 B . . . . 1444444455555555535531
253 -13 B . . . . 2444444455555555535531
+ 260 -6 B . . . . 2333333355555555535531 by B/4 * 7
261 -5 A . . . . 2333333335555555535531
262 -6 B . . . . 2333333334555555535531
+ 270 -14 B . . . . 2444444444555555535531 by B/3 * 8
271 -15 A . . . .03444444444555555535531
272 -14 B . . . .13444444444555555535531
273 -15 B . . . .14444444444555555535531
274 -14 B . . . .24444444444555555535531
+ 284 -4 B . . . .23333333333555555535531 by B/4 * 10
285 -3 A . . . .23333333333355555535531
286 -4 B . . . .23333333333345555535531
+ 297 -15 B . . . .24444444444445555535531 by B/3 * 11
298 -16 A . . . 034444444444445555535531
299 -15 B . . . 134444444444445555535531
300 -16 B . . . 144444444444445555535531
301 -15 B . . . 244444444444445555535531
+ 314 -2 B . . . 233333333333335555535531 by B/4 * 13
315 -1 A . . . 233333333333333555535531
316 -2 B . . . 233333333333333455535531
+ 330 -16 B . . . 244444444444444455535531 by B/3 * 14
331 -17 A . . .0344444444444444455535531
332 -16 B . . .1344444444444444455535531
333 -17 B . . .1444444444444444455535531
334 -16 B . . .2444444444444444455535531
+ 350 0 B . . .2333333333333333355535531 by B/4 * 16
351 1 A . . .2333333333333333335535531
352 0 B . . .2333333333333333334535531
+ 369 -17 B . . .2444444444444444444535531 by B/3 * 17
370 -18 A . . 03444444444444444444535531
371 -17 B . . 13444444444444444444535531
372 -18 B . . 14444444444444444444535531
373 -17 B . . 24444444444444444444535531
+ 392 2 B . . 23333333333333333333535531 by B/4 * 19
393 3 A . . 23333333333333333333335531
+ 414 -18 A . . 25555555555555555555555531 by A/3 * 21
415 -19 A . .035555555555555555555555531
416 -18 B . .135555555555555555555555531
417 -19 B . .145555555555555555555555531
418 -18 B . .245555555555555555555555531
419 -17 B . .235555555555555555555555531
420 -16 A . .233555555555555555555555531
421 -17 B . .233455555555555555555555531
+ 423 -19 B . .244455555555555555555555531 by B/3 * 2
424 -20 A . 0344455555555555555555555531
425 -19 B . 1344455555555555555555555531
426 -20 B . 1444455555555555555555555531
427 -19 B . 2444455555555555555555555531
+ 431 -15 B . 2333355555555555555555555531 by B/4 * 4
432 -14 A . 2333335555555555555555555531
433 -15 B . 2333334555555555555555555531
+ 438 -20 B . 2444444555555555555555555531 by B/3 * 5
439 -21 A .03444444555555555555555555531
440 -20 B .13444444555555555555555555531
After 440 steps (201 lines): state = B.
Produced 29 nonzeros.
Tape index -20, scanned [-21 .. 7].
| State | Count | Execution count | First in step | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||
| A | 114 | 25 | 5 | 12 | 56 | 16 | 0 | 2 | 5 | 13 | 29 | ||
| B | 326 | 9 | 27 | 15 | 122 | 132 | 21 | 1 | 3 | 32 | 7 | 9 | 19 |