Comment: Example for "greater config" Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | A1R | 1 | left | B | 1 | right | A |
| B | C0R | B1L | 0 | right | C | 1 | left | B |
| C | H1L | A1R | 1 | left | H | 1 | 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 . . . . . . . . . .01
2 0 C . . . . . . . . . .01
3 1 A . . . . . . . . . .010
4 0 B . . . . . . . . . .011
5 -1 B . . . . . . . . . .011
6 0 C . . . . . . . . . .011
7 1 A . . . . . . . . . .011
8 2 A . . . . . . . . . .0110
9 1 B . . . . . . . . . .0111
+ 11 -1 B . . . . . . . . . .0111 by B/1 * 2
12 0 C . . . . . . . . . .0111
13 1 A . . . . . . . . . .0111
+ 15 3 A . . . . . . . . . .01110 by A/1 * 2
16 2 B . . . . . . . . . .01111
+ 19 -1 B . . . . . . . . . .01111 by B/1 * 3
20 0 C . . . . . . . . . .01111
21 1 A . . . . . . . . . .01111
+ 24 4 A . . . . . . . . . .011110 by A/1 * 3
25 3 B . . . . . . . . . .011111
+ 29 -1 B . . . . . . . . . .011111 by B/1 * 4
30 0 C . . . . . . . . . .011111
31 1 A . . . . . . . . . .011111
+ 35 5 A . . . . . . . . . .0111110 by A/1 * 4
36 4 B . . . . . . . . . .0111111
+ 41 -1 B . . . . . . . . . .0111111 by B/1 * 5
42 0 C . . . . . . . . . .0111111
43 1 A . . . . . . . . . .0111111
+ 48 6 A . . . . . . . . . .01111110 by A/1 * 5
49 5 B . . . . . . . . . .01111111
+ 55 -1 B . . . . . . . . . .01111111 by B/1 * 6
56 0 C . . . . . . . . . .01111111
57 1 A . . . . . . . . . .01111111
+ 63 7 A . . . . . . . . . .011111110 by A/1 * 6
64 6 B . . . . . . . . . .011111111
+ 71 -1 B . . . . . . . . . .011111111 by B/1 * 7
72 0 C . . . . . . . . . .011111111
73 1 A . . . . . . . . . .011111111
+ 80 8 A . . . . . . . . . .0111111110 by A/1 * 7
81 7 B . . . . . . . . . .0111111111
+ 89 -1 B . . . . . . . . . .0111111111 by B/1 * 8
90 0 C . . . . . . . . . .0111111111
91 1 A . . . . . . . . . .0111111111
+ 99 9 A . . . . . . . . . .01111111110 by A/1 * 8
100 8 B . . . . . . . . . .01111111111
+ 109 -1 B . . . . . . . . . .01111111111 by B/1 * 9
110 0 C . . . . . . . . . .01111111111
111 1 A . . . . . . . . . .01111111111
+ 120 10 A . . . . . . . . . .011111111110 by A/1 * 9
121 9 B . . . . . . . . . .011111111111
+ 131 -1 B . . . . . . . . . .011111111111 by B/1 * 10
132 0 C . . . . . . . . . .011111111111
133 1 A . . . . . . . . . .011111111111
+ 143 11 A . . . . . . . . . .0111111111110 by A/1 * 10
144 10 B . . . . . . . . . .0111111111111
+ 155 -1 B . . . . . . . . . .0111111111111 by B/1 * 11
156 0 C . . . . . . . . . .0111111111111
157 1 A . . . . . . . . . .0111111111111
+ 168 12 A . . . . . . . . . .01111111111110 by A/1 * 11
169 11 B . . . . . . . . . .01111111111111
+ 181 -1 B . . . . . . . . . .01111111111111 by B/1 * 12
182 0 C . . . . . . . . . .01111111111111
183 1 A . . . . . . . . . .01111111111111
+ 195 13 A . . . . . . . . . .011111111111110 by A/1 * 12
196 12 B . . . . . . . . . .011111111111111
+ 209 -1 B . . . . . . . . . .011111111111111 by B/1 * 13
210 0 C . . . . . . . . . .011111111111111
211 1 A . . . . . . . . . .011111111111111
+ 224 14 A . . . . . . . . . .0111111111111110 by A/1 * 13
225 13 B . . . . . . . . . .0111111111111111
+ 239 -1 B . . . . . . . . . .0111111111111111 by B/1 * 14
240 0 C . . . . . . . . . .0111111111111111
241 1 A . . . . . . . . . .0111111111111111
+ 255 15 A . . . . . . . . . .01111111111111110 by A/1 * 14
256 14 B . . . . . . . . . .01111111111111111
+ 271 -1 B . . . . . . . . . .01111111111111111 by B/1 * 15
272 0 C . . . . . . . . . .01111111111111111
273 1 A . . . . . . . . . .01111111111111111
+ 288 16 A . . . . . . . . . .011111111111111110 by A/1 * 15
289 15 B . . . . . . . . . .011111111111111111
+ 305 -1 B . . . . . . . . . .011111111111111111 by B/1 * 16
306 0 C . . . . . . . . . .011111111111111111
307 1 A . . . . . . . . . .011111111111111111
+ 323 17 A . . . . . . . . . .0111111111111111110 by A/1 * 16
324 16 B . . . . . . . . . .0111111111111111111
+ 341 -1 B . . . . . . . . . .0111111111111111111 by B/1 * 17
342 0 C . . . . . . . . . .0111111111111111111
343 1 A . . . . . . . . . .0111111111111111111
+ 360 18 A . . . . . . . . . .01111111111111111110 by A/1 * 17
361 17 B . . . . . . . . . .01111111111111111111
+ 379 -1 B . . . . . . . . . .01111111111111111111 by B/1 * 18
380 0 C . . . . . . . . . .01111111111111111111
381 1 A . . . . . . . . . .01111111111111111111
+ 399 19 A . . . . . . . . . .011111111111111111110 by A/1 * 18
400 18 B . . . . . . . . . .011111111111111111111
+ 419 -1 B . . . . . . . . . .011111111111111111111 by B/1 * 19
420 0 C . . . . . . . . . .011111111111111111111
421 1 A . . . . . . . . . .011111111111111111111
+ 440 20 A . . . . . . . . . .0111111111111111111110 by A/1 * 19
441 19 B . . . . . . . . . .0111111111111111111111
+ 461 -1 B . . . . . . . . . .0111111111111111111111 by B/1 * 20
462 0 C . . . . . . . . . .0111111111111111111111
463 1 A . . . . . . . . . .0111111111111111111111
+ 483 21 A . . . . . . . . . .01111111111111111111110 by A/1 * 20
484 20 B . . . . . . . . . .01111111111111111111111
+ 505 -1 B . . . . . . . . . .01111111111111111111111 by B/1 * 21
506 0 C . . . . . . . . . .01111111111111111111111
507 1 A . . . . . . . . . .01111111111111111111111
+ 528 22 A . . . . . . . . . .011111111111111111111110 by A/1 * 21
529 21 B . . . . . . . . . .011111111111111111111111
+ 551 -1 B . . . . . . . . . .011111111111111111111111 by B/1 * 22
552 0 C . . . . . . . . . .011111111111111111111111
553 1 A . . . . . . . . . .011111111111111111111111
+ 575 23 A . . . . . . . . . .0111111111111111111111110 by A/1 * 22
576 22 B . . . . . . . . . .0111111111111111111111111
+ 599 -1 B . . . . . . . . . .0111111111111111111111111 by B/1 * 23
600 0 C . . . . . . . . . .0111111111111111111111111
601 1 A . . . . . . . . . .0111111111111111111111111
+ 624 24 A . . . . . . . . . .01111111111111111111111110 by A/1 * 23
625 23 B . . . . . . . . . .01111111111111111111111111
+ 649 -1 B . . . . . . . . . .01111111111111111111111111 by B/1 * 24
650 0 C . . . . . . . . . .01111111111111111111111111
651 1 A . . . . . . . . . .01111111111111111111111111
+ 675 25 A . . . . . . . . . .011111111111111111111111110 by A/1 * 24
676 24 B . . . . . . . . . .011111111111111111111111111
+ 701 -1 B . . . . . . . . . .011111111111111111111111111 by B/1 * 25
702 0 C . . . . . . . . . .011111111111111111111111111
703 1 A . . . . . . . . . .011111111111111111111111111
+ 728 26 A . . . . . . . . . .0111111111111111111111111110 by A/1 * 25
729 25 B . . . . . . . . . .0111111111111111111111111111
+ 755 -1 B . . . . . . . . . .0111111111111111111111111111 by B/1 * 26
756 0 C . . . . . . . . . .0111111111111111111111111111
757 1 A . . . . . . . . . .0111111111111111111111111111
+ 783 27 A . . . . . . . . . .01111111111111111111111111110 by A/1 * 26
784 26 B . . . . . . . . . .01111111111111111111111111111
+ 811 -1 B . . . . . . . . . .01111111111111111111111111111 by B/1 * 27
812 0 C . . . . . . . . . .01111111111111111111111111111
813 1 A . . . . . . . . . .01111111111111111111111111111
+ 840 28 A . . . . . . . . . .011111111111111111111111111110 by A/1 * 27
841 27 B . . . . . . . . . .011111111111111111111111111111
+ 869 -1 B . . . . . . . . . .011111111111111111111111111111 by B/1 * 28
870 0 C . . . . . . . . . .011111111111111111111111111111
871 1 A . . . . . . . . . .011111111111111111111111111111
+ 899 29 A . . . . . . . . . .0111111111111111111111111111110 by A/1 * 28
900 28 B . . . . . . . . . .0111111111111111111111111111111
+ 929 -1 B . . . . . . . . . .0111111111111111111111111111111 by B/1 * 29
930 0 C . . . . . . . . . .0111111111111111111111111111111
931 1 A . . . . . . . . . .0111111111111111111111111111111
+ 960 30 A . . . . . . . . . .01111111111111111111111111111110 by A/1 * 29
961 29 B . . . . . . . . . .01111111111111111111111111111111
+ 991 -1 B . . . . . . . . . .01111111111111111111111111111111 by B/1 * 30
992 0 C . . . . . . . . . .01111111111111111111111111111111
993 1 A . . . . . . . . . .01111111111111111111111111111111
+ 1023 31 A . . . . . . . . . .011111111111111111111111111111110 by A/1 * 30
1024 30 B . . . . . . . . . .011111111111111111111111111111111
+ 1055 -1 B . . . . . . . . . .011111111111111111111111111111111 by B/1 * 31
1056 0 C . . . . . . . . . .011111111111111111111111111111111
1057 1 A . . . . . . . . . .011111111111111111111111111111111
+ 1088 32 A . . . . . . . . . .0111111111111111111111111111111110 by A/1 * 31
1089 31 B . . . . . . . . . .0111111111111111111111111111111111
+ 1121 -1 B . . . . . . . . . .0111111111111111111111111111111111 by B/1 * 32
1122 0 C . . . . . . . . . .0111111111111111111111111111111111
1123 1 A . . . . . . . . . .0111111111111111111111111111111111
+ 1155 33 A . . . . . . . . . .01111111111111111111111111111111110 by A/1 * 32
1156 32 B . . . . . . . . . .01111111111111111111111111111111111
+ 1189 -1 B . . . . . . . . . .01111111111111111111111111111111111 by B/1 * 33
1190 0 C . . . . . . . . . .01111111111111111111111111111111111
1191 1 A . . . . . . . . . .01111111111111111111111111111111111
+ 1224 34 A . . . . . . . . . .011111111111111111111111111111111110 by A/1 * 33
1225 33 B . . . . . . . . . .011111111111111111111111111111111111
+ 1259 -1 B . . . . . . . . . .011111111111111111111111111111111111 by B/1 * 34
1260 0 C . . . . . . . . . .011111111111111111111111111111111111
1261 1 A . . . . . . . . . .011111111111111111111111111111111111
+ 1295 35 A . . . . . . . . . .0111111111111111111111111111111111110 by A/1 * 34
1296 34 B . . . . . . . . . .0111111111111111111111111111111111111
+ 1331 -1 B . . . . . . . . . .0111111111111111111111111111111111111 by B/1 * 35
1332 0 C . . . . . . . . . .0111111111111111111111111111111111111
1333 1 A . . . . . . . . . .0111111111111111111111111111111111111
+ 1368 36 A . . . . . . . . . .01111111111111111111111111111111111110 by A/1 * 35
1369 35 B . . . . . . . . . .01111111111111111111111111111111111111
+ 1405 -1 B . . . . . . . . . .01111111111111111111111111111111111111 by B/1 * 36
1406 0 C . . . . . . . . . .01111111111111111111111111111111111111
1407 1 A . . . . . . . . . .01111111111111111111111111111111111111
+ 1443 37 A . . . . . . . . . .011111111111111111111111111111111111110 by A/1 * 36
1444 36 B . . . . . . . . . .011111111111111111111111111111111111111
+ 1481 -1 B . . . . . . . . . .011111111111111111111111111111111111111 by B/1 * 37
1482 0 C . . . . . . . . . .011111111111111111111111111111111111111
1483 1 A . . . . . . . . . .011111111111111111111111111111111111111
+ 1520 38 A . . . . . . . . . .0111111111111111111111111111111111111110 by A/1 * 37
1521 37 B . . . . . . . . . .0111111111111111111111111111111111111111
+ 1559 -1 B . . . . . . . . . .0111111111111111111111111111111111111111 by B/1 * 38
1560 0 C . . . . . . . . . .0111111111111111111111111111111111111111
1561 1 A . . . . . . . . . .0111111111111111111111111111111111111111
+ 1599 39 A . . . . . . . . . .01111111111111111111111111111111111111110 by A/1 * 38
1600 38 B . . . . . . . . . .01111111111111111111111111111111111111111
+ 1639 -1 B . . . . . . . . . .01111111111111111111111111111111111111111 by B/1 * 39
1640 0 C . . . . . . . . . .01111111111111111111111111111111111111111
1641 1 A . . . . . . . . . .01111111111111111111111111111111111111111
+ 1680 40 A . . . . . . . . . .011111111111111111111111111111111111111110 by A/1 * 39
1681 39 B . . . . . . . . . .011111111111111111111111111111111111111111
+ 1721 -1 B . . . . . . . . . .011111111111111111111111111111111111111111 by B/1 * 40
After 1721 steps (201 lines): state = B.
Produced 41 ones.
Tape index -1, scanned [-1 .. 40].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 821 | 41 | 780 | 0 | 7 |
| B | 860 | 40 | 820 | 1 | 4 |
| C | 40 | 40 | 2 | ||