Comment: This TM produces >9.3x10^30 nonzeros in >5.2x10^61 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 | 1RB | 2LA | 4RA | 1LB | 2LA | 1 | right | B | 2 | left | A | 4 | right | A | 1 | left | B | 2 | left | A |
| B | 0LA | 2RB | 3RB | 2RA | 1RH | 0 | left | A | 2 | right | B | 3 | right | B | 2 | right | A | 1 | right | H |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . 0
1 1 B . . 10
2 0 A . . 10
3 -1 A . .020
4 0 B . .120
5 1 B . .130
6 0 A . .130
7 -1 B . .110
+ 9 1 B . .220 by B/1 * 2
10 0 A . .220
11 1 A . .240
12 2 B . .2410
13 1 A . .2410
14 0 A . .2420
15 -1 A . .2220
+ 18 2 A . .4440 by A/2 * 3
19 3 B . .44410
20 2 A . .44410
21 1 A . .44420
+ 24 -2 A . 022220 by A/4 * 3
25 -1 B . 122220
+ 29 3 B . 133330 by B/2 * 4
30 2 A . 133330
31 1 B . 133310
32 2 A . 133210
33 1 A . 133220
+ 35 3 A . 133440 by A/2 * 2
36 4 B . 1334410
37 3 A . 1334410
38 2 A . 1334420
+ 40 0 A . 1332220 by A/4 * 2
41 -1 B . 1312220
42 0 A . 1212220
43 -1 A . 1222220
+ 48 4 A . 1444440 by A/2 * 5
49 5 B . 14444410
50 4 A . 14444410
51 3 A . 14444420
+ 56 -2 A . 12222220 by A/4 * 5
57 -3 A .022222220
58 -2 B .122222220
+ 65 5 B .133333330 by B/2 * 7
66 4 A .133333330
67 3 B .133333310
68 4 A .133333210
69 3 A .133333220
+ 71 5 A .133333440 by A/2 * 2
72 6 B .1333334410
73 5 A .1333334410
74 4 A .1333334420
+ 76 2 A .1333332220 by A/4 * 2
77 1 B .1333312220
78 2 A .1333212220
79 1 A .1333222220
+ 84 6 A .1333444440 by A/2 * 5
85 7 B .13334444410
86 6 A .13334444410
87 5 A .13334444420
+ 92 0 A .13332222220 by A/4 * 5
93 -1 B .13312222220
94 0 A .13212222220
95 -1 A .13222222220
+ 103 7 A .13444444440 by A/2 * 8
104 8 B .134444444410
105 7 A .134444444410
106 6 A .134444444420
+ 114 -2 A .132222222220 by A/4 * 8
115 -3 B .112222222220
+ 117 -1 B .222222222220 by B/1 * 2
+ 126 8 B .223333333330 by B/2 * 9
127 7 A .223333333330
128 6 B .223333333310
129 7 A .223333333210
130 6 A .223333333220
+ 132 8 A .223333333440 by A/2 * 2
133 9 B .2233333334410
134 8 A .2233333334410
135 7 A .2233333334420
+ 137 5 A .2233333332220 by A/4 * 2
138 4 B .2233333312220
139 5 A .2233333212220
140 4 A .2233333222220
+ 145 9 A .2233333444440 by A/2 * 5
146 10 B .22333334444410
147 9 A .22333334444410
148 8 A .22333334444420
+ 153 3 A .22333332222220 by A/4 * 5
154 2 B .22333312222220
155 3 A .22333212222220
156 2 A .22333222222220
+ 164 10 A .22333444444440 by A/2 * 8
165 11 B .223334444444410
166 10 A .223334444444410
167 9 A .223334444444420
+ 175 1 A .223332222222220 by A/4 * 8
176 0 B .223312222222220
177 1 A .223212222222220
178 0 A .223222222222220
+ 189 11 A .223444444444440 by A/2 * 11
190 12 B .2234444444444410
191 11 A .2234444444444410
192 10 A .2234444444444420
+ 203 -1 A .2232222222222220 by A/4 * 11
204 -2 B .2212222222222220
205 -1 B .2312222222222220
206 0 B .2322222222222220
+ 218 12 B .2323333333333330 by B/2 * 12
219 11 A .2323333333333330
220 10 B .2323333333333310
221 11 A .2323333333333210
222 10 A .2323333333333220
+ 224 12 A .2323333333333440 by A/2 * 2
225 13 B .23233333333334410
226 12 A .23233333333334410
227 11 A .23233333333334420
+ 229 9 A .23233333333332220 by A/4 * 2
230 8 B .23233333333312220
231 9 A .23233333333212220
232 8 A .23233333333222220
+ 237 13 A .23233333333444440 by A/2 * 5
238 14 B .232333333334444410
239 13 A .232333333334444410
240 12 A .232333333334444420
+ 245 7 A .232333333332222220 by A/4 * 5
246 6 B .232333333312222220
247 7 A .232333333212222220
248 6 A .232333333222222220
+ 256 14 A .232333333444444440 by A/2 * 8
257 15 B .2323333334444444410
258 14 A .2323333334444444410
259 13 A .2323333334444444420
+ 267 5 A .2323333332222222220 by A/4 * 8
268 4 B .2323333312222222220
269 5 A .2323333212222222220
270 4 A .2323333222222222220
+ 281 15 A .2323333444444444440 by A/2 * 11
282 16 B .23233334444444444410
283 15 A .23233334444444444410
284 14 A .23233334444444444420
+ 295 3 A .23233332222222222220 by A/4 * 11
296 2 B .23233312222222222220
297 3 A .23233212222222222220
298 2 A .23233222222222222220
+ 312 16 A .23233444444444444440 by A/2 * 14
313 17 B .232334444444444444410
314 16 A .232334444444444444410
315 15 A .232334444444444444420
+ 329 1 A .232332222222222222220 by A/4 * 14
330 0 B .232312222222222222220
331 1 A .232212222222222222220
332 0 A .232222222222222222220
+ 349 17 A .232444444444444444440 by A/2 * 17
350 18 B .2324444444444444444410
351 17 A .2324444444444444444410
352 16 A .2324444444444444444420
+ 369 -1 A .2322222222222222222220 by A/4 * 17
+ 388 18 A .2344444444444444444440 by A/2 * 19
389 19 B .23444444444444444444410
390 18 A .23444444444444444444410
391 17 A .23444444444444444444420
+ 410 -2 A .23222222222222222222220 by A/4 * 19
411 -3 B .21222222222222222222220
412 -2 B .31222222222222222222220
413 -1 B .32222222222222222222220
+ 433 19 B .32333333333333333333330 by B/2 * 20
434 18 A .32333333333333333333330
435 17 B .32333333333333333333310
436 18 A .32333333333333333333210
437 17 A .32333333333333333333220
+ 439 19 A .32333333333333333333440 by A/2 * 2
440 20 B .323333333333333333334410
441 19 A .323333333333333333334410
442 18 A .323333333333333333334420
+ 444 16 A .323333333333333333332220 by A/4 * 2
445 15 B .323333333333333333312220
446 16 A .323333333333333333212220
447 15 A .323333333333333333222220
+ 452 20 A .323333333333333333444440 by A/2 * 5
453 21 B .3233333333333333334444410
454 20 A .3233333333333333334444410
455 19 A .3233333333333333334444420
+ 460 14 A .3233333333333333332222220 by A/4 * 5
461 13 B .3233333333333333312222220
462 14 A .3233333333333333212222220
463 13 A .3233333333333333222222220
+ 471 21 A .3233333333333333444444440 by A/2 * 8
472 22 B .32333333333333334444444410
473 21 A .32333333333333334444444410
474 20 A .32333333333333334444444420
+ 482 12 A .32333333333333332222222220 by A/4 * 8
483 11 B .32333333333333312222222220
484 12 A .32333333333333212222222220
485 11 A .32333333333333222222222220
+ 496 22 A .32333333333333444444444440 by A/2 * 11
497 23 B .323333333333334444444444410
498 22 A .323333333333334444444444410
499 21 A .323333333333334444444444420
+ 510 10 A .323333333333332222222222220 by A/4 * 11
511 9 B .323333333333312222222222220
512 10 A .323333333333212222222222220
513 9 A .323333333333222222222222220
After 513 steps (201 lines): state = A.
Produced 26 nonzeros.
Tape index 9, scanned [-3 .. 23].
| 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 | 402 | 26 | 44 | 154 | 24 | 154 | 0 | 2 | 10 | 6 | 14 |
| B | 111 | 30 | 6 | 55 | 20 | 1 | 7 | 4 | 31 | ||