Comment: This TM produces 11120 nonzeros in 148,304,214 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 | 4LA | 1LA | 2LA | 1RA | 1 | right | B | 4 | left | A | 1 | left | A | 2 | left | A | 1 | right | A |
| B | 3LA | 1RH | 1RA | 2RA | 4RB | 3 | left | A | 1 | right | H | 1 | right | A | 2 | right | A | 4 | right | B |
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 . . . . . 13
3 -1 A . . . . .043
4 0 B . . . . .143
5 1 B . . . . .143
6 2 A . . . . .1420
7 3 B . . . . .14210
8 2 A . . . . .14213
9 1 A . . . . .14243
10 0 A . . . . .14143
11 1 A . . . . .11143
+ 14 -2 A . . . . 044443 by A/1 * 3
15 -1 B . . . . 144443
+ 19 3 B . . . . 144443 by B/4 * 4
20 4 A . . . . 1444420
21 5 B . . . . 14444210
22 4 A . . . . 14444213
23 3 A . . . . 14444243
24 2 A . . . . 14444143
25 3 A . . . . 14441143
+ 27 1 A . . . . 14444443 by A/1 * 2
+ 31 5 A . . . . 14411113 by A/4 * 4
32 4 A . . . . 14411112
+ 36 0 A . . . . 14444442 by A/1 * 4
+ 41 5 A . . . . 14111112 by A/4 * 5
42 4 A . . . . 14111111
+ 47 -1 A . . . . 14444441 by A/1 * 5
+ 53 5 A . . . . 11111111 by A/4 * 6
+ 61 -3 A . . . .044444444 by A/1 * 8
62 -2 B . . . .144444444
+ 70 6 B . . . .1444444440 by B/4 * 8
71 5 A . . . .1444444443
72 6 A . . . .1444444413
73 5 A . . . .1444444412
74 4 A . . . .1444444442
+ 76 6 A . . . .1444444112 by A/4 * 2
77 5 A . . . .1444444111
+ 79 3 A . . . .1444444441 by A/1 * 2
+ 82 6 A . . . .1444441111 by A/4 * 3
+ 86 2 A . . . .1444444444 by A/1 * 4
+ 91 7 A . . . .14444111110 by A/4 * 5
92 8 B . . . .144441111110
93 7 A . . . .144441111113
+ 99 1 A . . . .144444444443 by A/1 * 6
+ 106 8 A . . . .144411111113 by A/4 * 7
107 7 A . . . .144411111112
+ 114 0 A . . . .144444444442 by A/1 * 7
+ 122 8 A . . . .144111111112 by A/4 * 8
123 7 A . . . .144111111111
+ 131 -1 A . . . .144444444441 by A/1 * 8
+ 140 8 A . . . .141111111111 by A/4 * 9
+ 150 -2 A . . . .144444444444 by A/1 * 10
+ 161 9 A . . . .1111111111110 by A/4 * 11
162 10 B . . . .11111111111110
163 9 A . . . .11111111111113
+ 176 -4 A . . . 044444444444443 by A/1 * 13
177 -3 B . . . 144444444444443
+ 190 10 B . . . 144444444444443 by B/4 * 13
191 11 A . . . 1444444444444420
192 12 B . . . 14444444444444210
193 11 A . . . 14444444444444213
194 10 A . . . 14444444444444243
195 9 A . . . 14444444444444143
196 10 A . . . 14444444444441143
+ 198 8 A . . . 14444444444444443 by A/1 * 2
+ 202 12 A . . . 14444444444411113 by A/4 * 4
203 11 A . . . 14444444444411112
+ 207 7 A . . . 14444444444444442 by A/1 * 4
+ 212 12 A . . . 14444444444111112 by A/4 * 5
213 11 A . . . 14444444444111111
+ 218 6 A . . . 14444444444444441 by A/1 * 5
+ 224 12 A . . . 14444444441111111 by A/4 * 6
+ 231 5 A . . . 14444444444444444 by A/1 * 7
+ 239 13 A . . . 144444444111111110 by A/4 * 8
240 14 B . . . 1444444441111111110
241 13 A . . . 1444444441111111113
+ 250 4 A . . . 1444444444444444443 by A/1 * 9
+ 260 14 A . . . 1444444411111111113 by A/4 * 10
261 13 A . . . 1444444411111111112
+ 271 3 A . . . 1444444444444444442 by A/1 * 10
+ 282 14 A . . . 1444444111111111112 by A/4 * 11
283 13 A . . . 1444444111111111111
+ 294 2 A . . . 1444444444444444441 by A/1 * 11
+ 306 14 A . . . 1444441111111111111 by A/4 * 12
+ 319 1 A . . . 1444444444444444444 by A/1 * 13
+ 333 15 A . . . 14444111111111111110 by A/4 * 14
334 16 B . . . 144441111111111111110
335 15 A . . . 144441111111111111113
+ 350 0 A . . . 144444444444444444443 by A/1 * 15
+ 366 16 A . . . 144411111111111111113 by A/4 * 16
367 15 A . . . 144411111111111111112
+ 383 -1 A . . . 144444444444444444442 by A/1 * 16
+ 400 16 A . . . 144111111111111111112 by A/4 * 17
401 15 A . . . 144111111111111111111
+ 418 -2 A . . . 144444444444444444441 by A/1 * 17
+ 436 16 A . . . 141111111111111111111 by A/4 * 18
+ 455 -3 A . . . 144444444444444444444 by A/1 * 19
+ 475 17 A . . . 1111111111111111111110 by A/4 * 20
476 18 B . . . 11111111111111111111110
477 17 A . . . 11111111111111111111113
+ 499 -5 A . . .044444444444444444444443 by A/1 * 22
500 -4 B . . .144444444444444444444443
+ 522 18 B . . .144444444444444444444443 by B/4 * 22
523 19 A . . .1444444444444444444444420
524 20 B . . .14444444444444444444444210
525 19 A . . .14444444444444444444444213
526 18 A . . .14444444444444444444444243
527 17 A . . .14444444444444444444444143
528 18 A . . .14444444444444444444441143
+ 530 16 A . . .14444444444444444444444443 by A/1 * 2
+ 534 20 A . . .14444444444444444444411113 by A/4 * 4
535 19 A . . .14444444444444444444411112
+ 539 15 A . . .14444444444444444444444442 by A/1 * 4
+ 544 20 A . . .14444444444444444444111112 by A/4 * 5
545 19 A . . .14444444444444444444111111
+ 550 14 A . . .14444444444444444444444441 by A/1 * 5
+ 556 20 A . . .14444444444444444441111111 by A/4 * 6
+ 563 13 A . . .14444444444444444444444444 by A/1 * 7
+ 571 21 A . . .144444444444444444111111110 by A/4 * 8
572 22 B . . .1444444444444444441111111110
573 21 A . . .1444444444444444441111111113
+ 582 12 A . . .1444444444444444444444444443 by A/1 * 9
+ 592 22 A . . .1444444444444444411111111113 by A/4 * 10
593 21 A . . .1444444444444444411111111112
+ 603 11 A . . .1444444444444444444444444442 by A/1 * 10
+ 614 22 A . . .1444444444444444111111111112 by A/4 * 11
615 21 A . . .1444444444444444111111111111
+ 626 10 A . . .1444444444444444444444444441 by A/1 * 11
+ 638 22 A . . .1444444444444441111111111111 by A/4 * 12
+ 651 9 A . . .1444444444444444444444444444 by A/1 * 13
+ 665 23 A . . .14444444444444111111111111110 by A/4 * 14
666 24 B . . .144444444444441111111111111110
667 23 A . . .144444444444441111111111111113
+ 682 8 A . . .144444444444444444444444444443 by A/1 * 15
+ 698 24 A . . .144444444444411111111111111113 by A/4 * 16
699 23 A . . .144444444444411111111111111112
+ 715 7 A . . .144444444444444444444444444442 by A/1 * 16
+ 732 24 A . . .144444444444111111111111111112 by A/4 * 17
733 23 A . . .144444444444111111111111111111
+ 750 6 A . . .144444444444444444444444444441 by A/1 * 17
+ 768 24 A . . .144444444441111111111111111111 by A/4 * 18
+ 787 5 A . . .144444444444444444444444444444 by A/1 * 19
+ 807 25 A . . .1444444444111111111111111111110 by A/4 * 20
808 26 B . . .14444444441111111111111111111110
809 25 A . . .14444444441111111111111111111113
+ 830 4 A . . .14444444444444444444444444444443 by A/1 * 21
+ 852 26 A . . .14444444411111111111111111111113 by A/4 * 22
853 25 A . . .14444444411111111111111111111112
+ 875 3 A . . .14444444444444444444444444444442 by A/1 * 22
+ 898 26 A . . .14444444111111111111111111111112 by A/4 * 23
899 25 A . . .14444444111111111111111111111111
+ 922 2 A . . .14444444444444444444444444444441 by A/1 * 23
+ 946 26 A . . .14444441111111111111111111111111 by A/4 * 24
+ 971 1 A . . .14444444444444444444444444444444 by A/1 * 25
+ 997 27 A . . .144444111111111111111111111111110 by A/4 * 26
998 28 B . . .1444441111111111111111111111111110
999 27 A . . .1444441111111111111111111111111113
+ 1026 0 A . . .1444444444444444444444444444444443 by A/1 * 27
+ 1054 28 A . . .1444411111111111111111111111111113 by A/4 * 28
1055 27 A . . .1444411111111111111111111111111112
+ 1083 -1 A . . .1444444444444444444444444444444442 by A/1 * 28
+ 1112 28 A . . .1444111111111111111111111111111112 by A/4 * 29
1113 27 A . . .1444111111111111111111111111111111
+ 1142 -2 A . . .1444444444444444444444444444444441 by A/1 * 29
+ 1172 28 A . . .1441111111111111111111111111111111 by A/4 * 30
+ 1203 -3 A . . .1444444444444444444444444444444444 by A/1 * 31
+ 1235 29 A . . .14111111111111111111111111111111110 by A/4 * 32
1236 30 B . . .141111111111111111111111111111111110
1237 29 A . . .141111111111111111111111111111111113
+ 1270 -4 A . . .144444444444444444444444444444444443 by A/1 * 33
+ 1304 30 A . . .111111111111111111111111111111111113 by A/4 * 34
1305 29 A . . .111111111111111111111111111111111112
+ 1340 -6 A . . 0444444444444444444444444444444444442 by A/1 * 35
1341 -5 B . . 1444444444444444444444444444444444442
+ 1376 30 B . . 1444444444444444444444444444444444442 by B/4 * 35
1377 31 A . . 14444444444444444444444444444444444410
1378 32 B . . 144444444444444444444444444444444444110
1379 31 A . . 144444444444444444444444444444444444113
+ 1381 29 A . . 144444444444444444444444444444444444443 by A/1 * 2
+ 1384 32 A . . 144444444444444444444444444444444441113 by A/4 * 3
1385 31 A . . 144444444444444444444444444444444441112
+ 1388 28 A . . 144444444444444444444444444444444444442 by A/1 * 3
+ 1392 32 A . . 144444444444444444444444444444444411112 by A/4 * 4
1393 31 A . . 144444444444444444444444444444444411111
+ 1397 27 A . . 144444444444444444444444444444444444441 by A/1 * 4
+ 1402 32 A . . 144444444444444444444444444444444111111 by A/4 * 5
+ 1408 26 A . . 144444444444444444444444444444444444444 by A/1 * 6
+ 1415 33 A . . 1444444444444444444444444444444411111110 by A/4 * 7
1416 34 B . . 14444444444444444444444444444444111111110
1417 33 A . . 14444444444444444444444444444444111111113
+ 1425 25 A . . 14444444444444444444444444444444444444443 by A/1 * 8
+ 1434 34 A . . 14444444444444444444444444444441111111113 by A/4 * 9
1435 33 A . . 14444444444444444444444444444441111111112
+ 1444 24 A . . 14444444444444444444444444444444444444442 by A/1 * 9
+ 1454 34 A . . 14444444444444444444444444444411111111112 by A/4 * 10
1455 33 A . . 14444444444444444444444444444411111111111
+ 1465 23 A . . 14444444444444444444444444444444444444441 by A/1 * 10
+ 1476 34 A . . 14444444444444444444444444444111111111111 by A/4 * 11
+ 1488 22 A . . 14444444444444444444444444444444444444444 by A/1 * 12
+ 1501 35 A . . 144444444444444444444444444411111111111110 by A/4 * 13
After 1501 steps (201 lines): state = A.
Produced 41 nonzeros.
Tape index 35, scanned [-6 .. 34].
| 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 | 1395 | 23 | 684 | 17 | 14 | 657 | 0 | 2 | 9 | 31 | 10 |
| B | 106 | 18 | 1 | 4 | 83 | 1 | 1376 | 5 | 4 | ||