Comment: This TM produces 15828 nonzeros in 493,600,387 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 | 4LA | 1RA | 5LB | 1RA | 3LB | 1 | right | B | 4 | left | A | 1 | right | A | 5 | left | B | 1 | right | A | 3 | left | B |
| B | 1LB | 1LA | 5LA | 2LA | 2RB | 1RH | 1 | left | B | 1 | left | A | 5 | left | A | 2 | left | A | 2 | right | B | 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 bck-2-macro machine.
The same TM as bck-2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 1 B . . . . . 10
2 0 B . . . . . 11
3 -1 A . . . . .011
4 0 B . . . . .111
5 -1 A . . . . .111
6 -2 A . . . . 0411
7 -1 B . . . . 1411
8 0 B . . . . 1211
9 -1 A . . . . 1211
10 0 A . . . . 1111
+ 13 -3 A . . . .04441 by A/1 * 3
14 -2 B . . . .14441
+ 17 1 B . . . .12221 by B/4 * 3
18 0 A . . . .12221
19 1 A . . . .12211
+ 21 -1 A . . . .12244 by A/1 * 2
22 0 A . . . .12144
+ 24 2 A . . . .121110 by A/4 * 2
25 3 B . . . .1211110
26 2 B . . . .1211111
27 1 A . . . .1211111
+ 30 -2 A . . . .1244411 by A/1 * 3
31 -1 A . . . .1144411
+ 34 2 A . . . .1111111 by A/4 * 3
+ 40 -4 A . . . 04444441 by A/1 * 6
41 -3 B . . . 14444441
+ 47 3 B . . . 12222221 by B/4 * 6
48 2 A . . . 12222221
49 3 A . . . 12222211
+ 51 1 A . . . 12222244 by A/1 * 2
52 2 A . . . 12222144
+ 54 4 A . . . 122221110 by A/4 * 2
55 5 B . . . 1222211110
56 4 B . . . 1222211111
57 3 A . . . 1222211111
+ 60 0 A . . . 1222244411 by A/1 * 3
61 1 A . . . 1222144411
+ 64 4 A . . . 1222111111 by A/4 * 3
+ 69 -1 A . . . 1222444441 by A/1 * 5
70 0 A . . . 1221444441
+ 75 5 A . . . 1221111111 by A/4 * 5
+ 82 -2 A . . . 1224444444 by A/1 * 7
83 -1 A . . . 1214444444
+ 90 6 A . . . 12111111110 by A/4 * 7
91 7 B . . . 121111111110
92 6 B . . . 121111111111
93 5 A . . . 121111111111
+ 101 -3 A . . . 124444444411 by A/1 * 8
102 -2 A . . . 114444444411
+ 110 6 A . . . 111111111111 by A/4 * 8
+ 121 -5 A . . .0444444444441 by A/1 * 11
122 -4 B . . .1444444444441
+ 133 7 B . . .1222222222221 by B/4 * 11
134 6 A . . .1222222222221
135 7 A . . .1222222222211
+ 137 5 A . . .1222222222244 by A/1 * 2
138 6 A . . .1222222222144
+ 140 8 A . . .12222222221110 by A/4 * 2
141 9 B . . .122222222211110
142 8 B . . .122222222211111
143 7 A . . .122222222211111
+ 146 4 A . . .122222222244411 by A/1 * 3
147 5 A . . .122222222144411
+ 150 8 A . . .122222222111111 by A/4 * 3
+ 155 3 A . . .122222222444441 by A/1 * 5
156 4 A . . .122222221444441
+ 161 9 A . . .122222221111111 by A/4 * 5
+ 168 2 A . . .122222224444444 by A/1 * 7
169 3 A . . .122222214444444
+ 176 10 A . . .1222222111111110 by A/4 * 7
177 11 B . . .12222221111111110
178 10 B . . .12222221111111111
179 9 A . . .12222221111111111
+ 187 1 A . . .12222224444444411 by A/1 * 8
188 2 A . . .12222214444444411
+ 196 10 A . . .12222211111111111 by A/4 * 8
+ 206 0 A . . .12222244444444441 by A/1 * 10
207 1 A . . .12222144444444441
+ 217 11 A . . .12222111111111111 by A/4 * 10
+ 229 -1 A . . .12222444444444444 by A/1 * 12
230 0 A . . .12221444444444444
+ 242 12 A . . .122211111111111110 by A/4 * 12
243 13 B . . .1222111111111111110
244 12 B . . .1222111111111111111
245 11 A . . .1222111111111111111
+ 258 -2 A . . .1222444444444444411 by A/1 * 13
259 -1 A . . .1221444444444444411
+ 272 12 A . . .1221111111111111111 by A/4 * 13
+ 287 -3 A . . .1224444444444444441 by A/1 * 15
288 -2 A . . .1214444444444444441
+ 303 13 A . . .1211111111111111111 by A/4 * 15
+ 320 -4 A . . .1244444444444444444 by A/1 * 17
321 -3 A . . .1144444444444444444
+ 338 14 A . . .11111111111111111110 by A/4 * 17
339 15 B . . .111111111111111111110
340 14 B . . .111111111111111111111
341 13 A . . .111111111111111111111
+ 360 -6 A . . 0444444444444444444411 by A/1 * 19
361 -5 B . . 1444444444444444444411
+ 380 14 B . . 1222222222222222222211 by B/4 * 19
381 13 A . . 1222222222222222222211
382 14 A . . 1222222222222222222111
+ 384 12 A . . 1222222222222222222441 by A/1 * 2
385 13 A . . 1222222222222222221441
+ 387 15 A . . 1222222222222222221111 by A/4 * 2
+ 391 11 A . . 1222222222222222224444 by A/1 * 4
392 12 A . . 1222222222222222214444
+ 396 16 A . . 12222222222222222111110 by A/4 * 4
397 17 B . . 122222222222222221111110
398 16 B . . 122222222222222221111111
399 15 A . . 122222222222222221111111
+ 404 10 A . . 122222222222222224444411 by A/1 * 5
405 11 A . . 122222222222222214444411
+ 410 16 A . . 122222222222222211111111 by A/4 * 5
+ 417 9 A . . 122222222222222244444441 by A/1 * 7
418 10 A . . 122222222222222144444441
+ 425 17 A . . 122222222222222111111111 by A/4 * 7
+ 434 8 A . . 122222222222222444444444 by A/1 * 9
435 9 A . . 122222222222221444444444
+ 444 18 A . . 1222222222222211111111110 by A/4 * 9
445 19 B . . 12222222222222111111111110
446 18 B . . 12222222222222111111111111
447 17 A . . 12222222222222111111111111
+ 457 7 A . . 12222222222222444444444411 by A/1 * 10
458 8 A . . 12222222222221444444444411
+ 468 18 A . . 12222222222221111111111111 by A/4 * 10
+ 480 6 A . . 12222222222224444444444441 by A/1 * 12
481 7 A . . 12222222222214444444444441
+ 493 19 A . . 12222222222211111111111111 by A/4 * 12
+ 507 5 A . . 12222222222244444444444444 by A/1 * 14
508 6 A . . 12222222222144444444444444
+ 522 20 A . . 122222222221111111111111110 by A/4 * 14
523 21 B . . 1222222222211111111111111110
524 20 B . . 1222222222211111111111111111
525 19 A . . 1222222222211111111111111111
+ 540 4 A . . 1222222222244444444444444411 by A/1 * 15
541 5 A . . 1222222222144444444444444411
+ 556 20 A . . 1222222222111111111111111111 by A/4 * 15
+ 573 3 A . . 1222222222444444444444444441 by A/1 * 17
574 4 A . . 1222222221444444444444444441
+ 591 21 A . . 1222222221111111111111111111 by A/4 * 17
+ 610 2 A . . 1222222224444444444444444444 by A/1 * 19
611 3 A . . 1222222214444444444444444444
+ 630 22 A . . 12222222111111111111111111110 by A/4 * 19
631 23 B . . 122222221111111111111111111110
632 22 B . . 122222221111111111111111111111
633 21 A . . 122222221111111111111111111111
+ 653 1 A . . 122222224444444444444444444411 by A/1 * 20
654 2 A . . 122222214444444444444444444411
+ 674 22 A . . 122222211111111111111111111111 by A/4 * 20
+ 696 0 A . . 122222244444444444444444444441 by A/1 * 22
697 1 A . . 122222144444444444444444444441
+ 719 23 A . . 122222111111111111111111111111 by A/4 * 22
+ 743 -1 A . . 122222444444444444444444444444 by A/1 * 24
744 0 A . . 122221444444444444444444444444
+ 768 24 A . . 1222211111111111111111111111110 by A/4 * 24
769 25 B . . 12222111111111111111111111111110
770 24 B . . 12222111111111111111111111111111
771 23 A . . 12222111111111111111111111111111
+ 796 -2 A . . 12222444444444444444444444444411 by A/1 * 25
797 -1 A . . 12221444444444444444444444444411
+ 822 24 A . . 12221111111111111111111111111111 by A/4 * 25
+ 849 -3 A . . 12224444444444444444444444444441 by A/1 * 27
850 -2 A . . 12214444444444444444444444444441
+ 877 25 A . . 12211111111111111111111111111111 by A/4 * 27
+ 906 -4 A . . 12244444444444444444444444444444 by A/1 * 29
907 -3 A . . 12144444444444444444444444444444
+ 936 26 A . . 121111111111111111111111111111110 by A/4 * 29
937 27 B . . 1211111111111111111111111111111110
938 26 B . . 1211111111111111111111111111111111
939 25 A . . 1211111111111111111111111111111111
+ 969 -5 A . . 1244444444444444444444444444444411 by A/1 * 30
970 -4 A . . 1144444444444444444444444444444411
+ 1000 26 A . . 1111111111111111111111111111111111 by A/4 * 30
+ 1033 -7 A . .04444444444444444444444444444444441 by A/1 * 33
1034 -6 B . .14444444444444444444444444444444441
+ 1067 27 B . .12222222222222222222222222222222221 by B/4 * 33
1068 26 A . .12222222222222222222222222222222221
1069 27 A . .12222222222222222222222222222222211
+ 1071 25 A . .12222222222222222222222222222222244 by A/1 * 2
1072 26 A . .12222222222222222222222222222222144
+ 1074 28 A . .122222222222222222222222222222221110 by A/4 * 2
1075 29 B . .1222222222222222222222222222222211110
1076 28 B . .1222222222222222222222222222222211111
1077 27 A . .1222222222222222222222222222222211111
+ 1080 24 A . .1222222222222222222222222222222244411 by A/1 * 3
1081 25 A . .1222222222222222222222222222222144411
+ 1084 28 A . .1222222222222222222222222222222111111 by A/4 * 3
+ 1089 23 A . .1222222222222222222222222222222444441 by A/1 * 5
1090 24 A . .1222222222222222222222222222221444441
+ 1095 29 A . .1222222222222222222222222222221111111 by A/4 * 5
+ 1102 22 A . .1222222222222222222222222222224444444 by A/1 * 7
1103 23 A . .1222222222222222222222222222214444444
+ 1110 30 A . .12222222222222222222222222222111111110 by A/4 * 7
1111 31 B . .122222222222222222222222222221111111110
1112 30 B . .122222222222222222222222222221111111111
1113 29 A . .122222222222222222222222222221111111111
+ 1121 21 A . .122222222222222222222222222224444444411 by A/1 * 8
1122 22 A . .122222222222222222222222222214444444411
+ 1130 30 A . .122222222222222222222222222211111111111 by A/4 * 8
After 1130 steps (201 lines): state = A.
Produced 39 nonzeros.
Tape index 30, scanned [-7 .. 31].
| 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 | 1018 | 23 | 511 | 46 | 438 | 0 | 5 | 9 | 22 | ||||
| B | 112 | 16 | 23 | 73 | 1 | 2 | 7 | ||||||