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.
The same TM with repetitions reduced.
Simulation is done 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 Tape contents
0 0 <A
1 -1 <B 1
2 0 C> 1
3 1 1 A>
4 0 1 <B 1
5 -1 <B 1 1
6 0 C> 1 1
7 1 1 A> 1
8 2 1 1 A>
9 1 1 1 <B 1
+ 11 -1 <B 13
12 0 C> 13
13 1 1 A> 1 1
+ 15 3 13 A>
16 2 13 <B 1
+ 19 -1 <B 14
20 0 C> 14
21 1 1 A> 13
+ 24 4 14 A>
25 3 14 <B 1
+ 29 -1 <B 15
30 0 C> 15
31 1 1 A> 14
+ 35 5 15 A>
36 4 15 <B 1
+ 41 -1 <B 16
42 0 C> 16
43 1 1 A> 15
+ 48 6 16 A>
49 5 16 <B 1
+ 55 -1 <B 17
56 0 C> 17
57 1 1 A> 16
+ 63 7 17 A>
64 6 17 <B 1
+ 71 -1 <B 18
72 0 C> 18
73 1 1 A> 17
+ 80 8 18 A>
81 7 18 <B 1
+ 89 -1 <B 19
90 0 C> 19
91 1 1 A> 18
+ 99 9 19 A>
100 8 19 <B 1
+ 109 -1 <B 110
110 0 C> 110
111 1 1 A> 19
+ 120 10 110 A>
121 9 110 <B 1
+ 131 -1 <B 111
132 0 C> 111
133 1 1 A> 110
+ 143 11 111 A>
144 10 111 <B 1
+ 155 -1 <B 112
156 0 C> 112
157 1 1 A> 111
+ 168 12 112 A>
169 11 112 <B 1
+ 181 -1 <B 113
182 0 C> 113
183 1 1 A> 112
+ 195 13 113 A>
196 12 113 <B 1
+ 209 -1 <B 114
210 0 C> 114
211 1 1 A> 113
+ 224 14 114 A>
225 13 114 <B 1
+ 239 -1 <B 115
240 0 C> 115
241 1 1 A> 114
+ 255 15 115 A>
256 14 115 <B 1
+ 271 -1 <B 116
272 0 C> 116
273 1 1 A> 115
+ 288 16 116 A>
289 15 116 <B 1
+ 305 -1 <B 117
306 0 C> 117
307 1 1 A> 116
+ 323 17 117 A>
324 16 117 <B 1
+ 341 -1 <B 118
342 0 C> 118
343 1 1 A> 117
+ 360 18 118 A>
361 17 118 <B 1
+ 379 -1 <B 119
380 0 C> 119
381 1 1 A> 118
+ 399 19 119 A>
400 18 119 <B 1
+ 419 -1 <B 120
420 0 C> 120
421 1 1 A> 119
+ 440 20 120 A>
441 19 120 <B 1
+ 461 -1 <B 121
462 0 C> 121
463 1 1 A> 120
+ 483 21 121 A>
484 20 121 <B 1
+ 505 -1 <B 122
506 0 C> 122
507 1 1 A> 121
+ 528 22 122 A>
529 21 122 <B 1
+ 551 -1 <B 123
552 0 C> 123
553 1 1 A> 122
+ 575 23 123 A>
576 22 123 <B 1
+ 599 -1 <B 124
600 0 C> 124
601 1 1 A> 123
+ 624 24 124 A>
625 23 124 <B 1
+ 649 -1 <B 125
650 0 C> 125
651 1 1 A> 124
+ 675 25 125 A>
676 24 125 <B 1
+ 701 -1 <B 126
702 0 C> 126
703 1 1 A> 125
+ 728 26 126 A>
729 25 126 <B 1
+ 755 -1 <B 127
756 0 C> 127
757 1 1 A> 126
+ 783 27 127 A>
784 26 127 <B 1
+ 811 -1 <B 128
812 0 C> 128
813 1 1 A> 127
+ 840 28 128 A>
841 27 128 <B 1
+ 869 -1 <B 129
870 0 C> 129
871 1 1 A> 128
+ 899 29 129 A>
900 28 129 <B 1
+ 929 -1 <B 130
930 0 C> 130
931 1 1 A> 129
+ 960 30 130 A>
961 29 130 <B 1
+ 991 -1 <B 131
992 0 C> 131
993 1 1 A> 130
+ 1023 31 131 A>
1024 30 131 <B 1
+ 1055 -1 <B 132
1056 0 C> 132
1057 1 1 A> 131
+ 1088 32 132 A>
1089 31 132 <B 1
+ 1121 -1 <B 133
1122 0 C> 133
1123 1 1 A> 132
+ 1155 33 133 A>
1156 32 133 <B 1
+ 1189 -1 <B 134
1190 0 C> 134
1191 1 1 A> 133
+ 1224 34 134 A>
1225 33 134 <B 1
+ 1259 -1 <B 135
1260 0 C> 135
1261 1 1 A> 134
+ 1295 35 135 A>
1296 34 135 <B 1
+ 1331 -1 <B 136
1332 0 C> 136
1333 1 1 A> 135
+ 1368 36 136 A>
1369 35 136 <B 1
+ 1405 -1 <B 137
1406 0 C> 137
1407 1 1 A> 136
+ 1443 37 137 A>
1444 36 137 <B 1
+ 1481 -1 <B 138
1482 0 C> 138
1483 1 1 A> 137
+ 1520 38 138 A>
1521 37 138 <B 1
+ 1559 -1 <B 139
1560 0 C> 139
1561 1 1 A> 138
+ 1599 39 139 A>
1600 38 139 <B 1
+ 1639 -1 <B 140
1640 0 C> 140
1641 1 1 A> 139
+ 1680 40 140 A>
1681 39 140 <B 1
+ 1721 -1 <B 141
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 | ||