Comment: This TM produces 64'665 nonzeros in 4'561'535'055 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 | A1L | B4R | Z1R | 2 | left | B | 2 | left | A | 1 | 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-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 B . . 12
3 -1 A . .022
4 0 B . .122
5 -1 A . .112
6 0 B . .212
7 -1 A . .222
8 -2 A . 0322
9 -1 B . 1322
10 0 B . 1422
11 -1 A . 1412
12 0 A . 1312
13 1 B . 1322
14 0 A . 1321
15 -1 A . 1331
+ 17 1 A . 1221 by A/3 * 2
18 2 B . 12220
19 1 B . 12222
20 0 A . 12212
+ 22 -2 A . 13312 by A/2 * 2
23 -1 B . 23312
+ 25 1 B . 24412 by B/3 * 2
26 0 A . 24422
27 1 A . 24322
28 0 A . 24332
+ 30 2 A . 24222 by A/3 * 2
+ 33 -1 A . 24333 by A/2 * 3
34 0 A . 23333
+ 37 3 A . 232220 by A/3 * 3
38 4 B . 2322210
39 3 B . 2322212
40 2 A . 2322222
+ 43 -1 A . 2333322 by A/2 * 3
+ 47 3 A . 2222222 by A/3 * 4
+ 53 -3 A .03333332 by A/2 * 6
54 -2 B .13333332
+ 60 4 B .14444442 by B/3 * 6
61 3 A .14444441
62 4 A .14444431
63 5 B .144444320
64 4 B .144444322
65 3 A .144444312
66 4 A .144444212
67 5 B .144444222
68 4 A .144444221
+ 70 2 A .144444331 by A/2 * 2
71 3 A .144443331
+ 73 5 A .144443221 by A/3 * 2
74 6 B .1444432220
75 5 B .1444432222
76 4 A .1444432212
+ 78 2 A .1444433312 by A/2 * 2
+ 81 5 A .1444422212 by A/3 * 3
82 6 B .1444422222
83 5 A .1444422221
+ 87 1 A .1444433331 by A/2 * 4
88 2 A .1444333331
+ 92 6 A .1444322221 by A/3 * 4
93 7 B .14443222220
94 6 B .14443222222
95 5 A .14443222212
+ 99 1 A .14443333312 by A/2 * 4
+ 104 6 A .14442222212 by A/3 * 5
105 7 B .14442222222
106 6 A .14442222221
+ 112 0 A .14443333331 by A/2 * 6
113 1 A .14433333331
+ 119 7 A .14432222221 by A/3 * 6
120 8 B .144322222220
121 7 B .144322222222
122 6 A .144322222212
+ 128 0 A .144333333312 by A/2 * 6
+ 135 7 A .144222222212 by A/3 * 7
136 8 B .144222222222
137 7 A .144222222221
+ 145 -1 A .144333333331 by A/2 * 8
146 0 A .143333333331
+ 154 8 A .143222222221 by A/3 * 8
155 9 B .1432222222220
156 8 B .1432222222222
157 7 A .1432222222212
+ 165 -1 A .1433333333312 by A/2 * 8
+ 174 8 A .1422222222212 by A/3 * 9
175 9 B .1422222222222
176 8 A .1422222222221
+ 186 -2 A .1433333333331 by A/2 * 10
187 -1 A .1333333333331
+ 197 9 A .1322222222221 by A/3 * 10
198 10 B .13222222222220
199 9 B .13222222222222
200 8 A .13222222222212
+ 210 -2 A .13333333333312 by A/2 * 10
+ 221 9 A .12222222222212 by A/3 * 11
222 10 B .12222222222222
223 9 A .12222222222221
+ 235 -3 A .13333333333331 by A/2 * 12
236 -2 B .23333333333331
+ 248 10 B .24444444444441 by B/3 * 12
249 9 A .24444444444442
250 10 A .24444444444432
251 9 A .24444444444433
+ 253 11 A .244444444444220 by A/3 * 2
254 12 B .2444444444442210
255 11 B .2444444444442212
256 10 A .2444444444442222
+ 258 8 A .2444444444443322 by A/2 * 2
259 9 A .2444444444433322
+ 261 11 A .2444444444432222 by A/3 * 2
+ 264 8 A .2444444444433332 by A/2 * 3
+ 268 12 A .2444444444422222 by A/3 * 4
+ 273 7 A .2444444444433333 by A/2 * 5
274 8 A .2444444444333333
+ 279 13 A .24444444443222220 by A/3 * 5
280 14 B .244444444432222210
281 13 B .244444444432222212
282 12 A .244444444432222222
+ 287 7 A .244444444433333322 by A/2 * 5
+ 293 13 A .244444444422222222 by A/3 * 6
+ 300 6 A .244444444433333332 by A/2 * 7
301 7 A .244444444333333332
+ 308 14 A .244444444322222222 by A/3 * 7
+ 316 6 A .244444444333333333 by A/2 * 8
+ 325 15 A .2444444442222222220 by A/3 * 9
326 16 B .24444444422222222210
327 15 B .24444444422222222212
328 14 A .24444444422222222222
+ 337 5 A .24444444433333333322 by A/2 * 9
338 6 A .24444444333333333322
+ 347 15 A .24444444322222222222 by A/3 * 9
+ 357 5 A .24444444333333333332 by A/2 * 10
+ 368 16 A .24444444222222222222 by A/3 * 11
+ 380 4 A .24444444333333333333 by A/2 * 12
381 5 A .24444443333333333333
+ 393 17 A .244444432222222222220 by A/3 * 12
394 18 B .2444444322222222222210
395 17 B .2444444322222222222212
396 16 A .2444444322222222222222
+ 408 4 A .2444444333333333333322 by A/2 * 12
+ 421 17 A .2444444222222222222222 by A/3 * 13
+ 435 3 A .2444444333333333333332 by A/2 * 14
436 4 A .2444443333333333333332
+ 450 18 A .2444443222222222222222 by A/3 * 14
+ 465 3 A .2444443333333333333333 by A/2 * 15
+ 481 19 A .24444422222222222222220 by A/3 * 16
482 20 B .244444222222222222222210
483 19 B .244444222222222222222212
484 18 A .244444222222222222222222
+ 500 2 A .244444333333333333333322 by A/2 * 16
501 3 A .244443333333333333333322
+ 517 19 A .244443222222222222222222 by A/3 * 16
+ 534 2 A .244443333333333333333332 by A/2 * 17
+ 552 20 A .244442222222222222222222 by A/3 * 18
+ 571 1 A .244443333333333333333333 by A/2 * 19
572 2 A .244433333333333333333333
+ 591 21 A .2444322222222222222222220 by A/3 * 19
592 22 B .24443222222222222222222210
593 21 B .24443222222222222222222212
594 20 A .24443222222222222222222222
+ 613 1 A .24443333333333333333333322 by A/2 * 19
+ 633 21 A .24442222222222222222222222 by A/3 * 20
+ 654 0 A .24443333333333333333333332 by A/2 * 21
655 1 A .24433333333333333333333332
+ 676 22 A .24432222222222222222222222 by A/3 * 21
+ 698 0 A .24433333333333333333333333 by A/2 * 22
+ 721 23 A .244222222222222222222222220 by A/3 * 23
722 24 B .2442222222222222222222222210
723 23 B .2442222222222222222222222212
724 22 A .2442222222222222222222222222
+ 747 -1 A .2443333333333333333333333322 by A/2 * 23
748 0 A .2433333333333333333333333322
+ 771 23 A .2432222222222222222222222222 by A/3 * 23
+ 795 -1 A .2433333333333333333333333332 by A/2 * 24
+ 820 24 A .2422222222222222222222222222 by A/3 * 25
+ 846 -2 A .2433333333333333333333333333 by A/2 * 26
847 -1 A .2333333333333333333333333333
+ 873 25 A .23222222222222222222222222220 by A/3 * 26
874 26 B .232222222222222222222222222210
875 25 B .232222222222222222222222222212
876 24 A .232222222222222222222222222222
+ 902 -2 A .233333333333333333333333333322 by A/2 * 26
+ 929 25 A .222222222222222222222222222222 by A/3 * 27
+ 958 -4 A 0333333333333333333333333333332 by A/2 * 29
959 -3 B 1333333333333333333333333333332
+ 988 26 B 1444444444444444444444444444442 by B/3 * 29
989 25 A 1444444444444444444444444444441
990 26 A 1444444444444444444444444444431
991 27 B 14444444444444444444444444444320
992 26 B 14444444444444444444444444444322
993 25 A 14444444444444444444444444444312
994 26 A 14444444444444444444444444444212
995 27 B 14444444444444444444444444444222
996 26 A 14444444444444444444444444444221
+ 998 24 A 14444444444444444444444444444331 by A/2 * 2
999 25 A 14444444444444444444444444443331
+ 1001 27 A 14444444444444444444444444443221 by A/3 * 2
1002 28 B 144444444444444444444444444432220
1003 27 B 144444444444444444444444444432222
1004 26 A 144444444444444444444444444432212
+ 1006 24 A 144444444444444444444444444433312 by A/2 * 2
+ 1009 27 A 144444444444444444444444444422212 by A/3 * 3
After 1009 steps (201 lines): state = A.
Produced 33 nonzeros.
Tape index 27, scanned [-4 .. 28].
| 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 | 906 | 14 | 20 | 438 | 411 | 23 | 0 | 5 | 7 | 15 | 11 |
| B | 103 | 19 | 13 | 21 | 50 | 1 | 2 | 4 | 9 | ||