Comment: complex counter 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 | A0R | C0L | 0 | right | A | 0 | left | C |
| C | C0R | D1L | 0 | right | C | 1 | left | D |
| D | E1L | A0R | 1 | left | E | 0 | right | A |
| E | B0L | H1L | 0 | left | B | 1 | left | H |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-bck-bck-macro machine.
The same TM as 3-bck-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . . . . 0
1 -1 B . . . . . . . . . .01
2 0 A . . . . . . . . . .01
3 1 A . . . . . . . . . .010
4 0 B . . . . . . . . . .011
5 -1 C . . . . . . . . . .001
+ 7 1 C . . . . . . . . . .001 by C/0 * 2
8 0 D . . . . . . . . . .001
9 -1 E . . . . . . . . . .011
10 -2 B . . . . . . . . . 0011
11 -1 A . . . . . . . . . 0011
12 -2 B . . . . . . . . . 0111
13 -1 A . . . . . . . . . 0111
+ 16 2 A . . . . . . . . . 01110 by A/1 * 3
17 1 B . . . . . . . . . 01111
18 0 C . . . . . . . . . 01101
19 -1 D . . . . . . . . . 01101
20 0 A . . . . . . . . . 00101
21 1 A . . . . . . . . . 00101
22 0 B . . . . . . . . . 00111
23 -1 C . . . . . . . . . 00011
+ 25 1 C . . . . . . . . . 00011 by C/0 * 2
26 0 D . . . . . . . . . 00011
27 -1 E . . . . . . . . . 00111
28 -2 B . . . . . . . . . 00111
29 -1 A . . . . . . . . . 00111
30 -2 B . . . . . . . . . 01111
31 -1 A . . . . . . . . . 01111
+ 35 3 A . . . . . . . . . 011110 by A/1 * 4
36 2 B . . . . . . . . . 011111
37 1 C . . . . . . . . . 011101
38 0 D . . . . . . . . . 011101
39 1 A . . . . . . . . . 010101
40 2 A . . . . . . . . . 010101
41 1 B . . . . . . . . . 010111
42 0 C . . . . . . . . . 010011
+ 44 2 C . . . . . . . . . 010011 by C/0 * 2
45 1 D . . . . . . . . . 010011
46 0 E . . . . . . . . . 010111
47 -1 B . . . . . . . . . 010111
48 -2 C . . . . . . . . . 000111
+ 51 1 C . . . . . . . . . 000111 by C/0 * 3
52 0 D . . . . . . . . . 000111
53 -1 E . . . . . . . . . 001111
54 -2 B . . . . . . . . . 001111
55 -1 A . . . . . . . . . 001111
56 -2 B . . . . . . . . . 011111
57 -1 A . . . . . . . . . 011111
+ 62 4 A . . . . . . . . . 0111110 by A/1 * 5
63 3 B . . . . . . . . . 0111111
64 2 C . . . . . . . . . 0111101
65 1 D . . . . . . . . . 0111101
66 2 A . . . . . . . . . 0110101
67 3 A . . . . . . . . . 0110101
68 2 B . . . . . . . . . 0110111
69 1 C . . . . . . . . . 0110011
+ 71 3 C . . . . . . . . . 0110011 by C/0 * 2
72 2 D . . . . . . . . . 0110011
73 1 E . . . . . . . . . 0110111
74 0 B . . . . . . . . . 0110111
75 -1 C . . . . . . . . . 0100111
76 -2 D . . . . . . . . . 0100111
77 -3 E . . . . . . . . .01100111
78 -4 B . . . . . . . . 001100111
79 -3 A . . . . . . . . 001100111
80 -4 B . . . . . . . . 011100111
81 -3 A . . . . . . . . 011100111
+ 84 0 A . . . . . . . . 011100111 by A/1 * 3
85 -1 B . . . . . . . . 011110111
86 -2 C . . . . . . . . 011010111
87 -3 D . . . . . . . . 011010111
88 -2 A . . . . . . . . 001010111
89 -1 A . . . . . . . . 001010111
90 -2 B . . . . . . . . 001110111
91 -3 C . . . . . . . . 000110111
+ 93 -1 C . . . . . . . . 000110111 by C/0 * 2
94 -2 D . . . . . . . . 000110111
95 -3 E . . . . . . . . 001110111
96 -4 B . . . . . . . . 001110111
97 -3 A . . . . . . . . 001110111
98 -4 B . . . . . . . . 011110111
99 -3 A . . . . . . . . 011110111
+ 103 1 A . . . . . . . . 011110111 by A/1 * 4
104 0 B . . . . . . . . 011111111
105 -1 C . . . . . . . . 011101111
106 -2 D . . . . . . . . 011101111
107 -1 A . . . . . . . . 010101111
108 0 A . . . . . . . . 010101111
109 -1 B . . . . . . . . 010111111
110 -2 C . . . . . . . . 010011111
+ 112 0 C . . . . . . . . 010011111 by C/0 * 2
113 -1 D . . . . . . . . 010011111
114 -2 E . . . . . . . . 010111111
115 -3 B . . . . . . . . 010111111
116 -4 C . . . . . . . . 000111111
+ 119 -1 C . . . . . . . . 000111111 by C/0 * 3
120 -2 D . . . . . . . . 000111111
121 -3 E . . . . . . . . 001111111
122 -4 B . . . . . . . . 001111111
123 -3 A . . . . . . . . 001111111
124 -4 B . . . . . . . . 011111111
125 -3 A . . . . . . . . 011111111
+ 133 5 A . . . . . . . . 0111111110 by A/1 * 8
134 4 B . . . . . . . . 0111111111
135 3 C . . . . . . . . 0111111101
136 2 D . . . . . . . . 0111111101
137 3 A . . . . . . . . 0111110101
138 4 A . . . . . . . . 0111110101
139 3 B . . . . . . . . 0111110111
140 2 C . . . . . . . . 0111110011
+ 142 4 C . . . . . . . . 0111110011 by C/0 * 2
143 3 D . . . . . . . . 0111110011
144 2 E . . . . . . . . 0111110111
145 1 B . . . . . . . . 0111110111
146 0 C . . . . . . . . 0111100111
147 -1 D . . . . . . . . 0111100111
148 0 A . . . . . . . . 0110100111
149 1 A . . . . . . . . 0110100111
150 0 B . . . . . . . . 0110110111
151 -1 C . . . . . . . . 0110010111
+ 153 1 C . . . . . . . . 0110010111 by C/0 * 2
154 0 D . . . . . . . . 0110010111
155 -1 E . . . . . . . . 0110110111
156 -2 B . . . . . . . . 0110110111
157 -3 C . . . . . . . . 0100110111
158 -4 D . . . . . . . . 0100110111
159 -5 E . . . . . . . .01100110111
160 -6 B . . . . . . . 001100110111
161 -5 A . . . . . . . 001100110111
162 -6 B . . . . . . . 011100110111
163 -5 A . . . . . . . 011100110111
+ 166 -2 A . . . . . . . 011100110111 by A/1 * 3
167 -3 B . . . . . . . 011110110111
168 -4 C . . . . . . . 011010110111
169 -5 D . . . . . . . 011010110111
170 -4 A . . . . . . . 001010110111
171 -3 A . . . . . . . 001010110111
172 -4 B . . . . . . . 001110110111
173 -5 C . . . . . . . 000110110111
+ 175 -3 C . . . . . . . 000110110111 by C/0 * 2
176 -4 D . . . . . . . 000110110111
177 -5 E . . . . . . . 001110110111
178 -6 B . . . . . . . 001110110111
179 -5 A . . . . . . . 001110110111
180 -6 B . . . . . . . 011110110111
181 -5 A . . . . . . . 011110110111
+ 185 -1 A . . . . . . . 011110110111 by A/1 * 4
186 -2 B . . . . . . . 011111110111
187 -3 C . . . . . . . 011101110111
188 -4 D . . . . . . . 011101110111
189 -3 A . . . . . . . 010101110111
190 -2 A . . . . . . . 010101110111
191 -3 B . . . . . . . 010111110111
192 -4 C . . . . . . . 010011110111
+ 194 -2 C . . . . . . . 010011110111 by C/0 * 2
195 -3 D . . . . . . . 010011110111
196 -4 E . . . . . . . 010111110111
197 -5 B . . . . . . . 010111110111
198 -6 C . . . . . . . 000111110111
+ 201 -3 C . . . . . . . 000111110111 by C/0 * 3
202 -4 D . . . . . . . 000111110111
203 -5 E . . . . . . . 001111110111
204 -6 B . . . . . . . 001111110111
205 -5 A . . . . . . . 001111110111
206 -6 B . . . . . . . 011111110111
207 -5 A . . . . . . . 011111110111
+ 214 2 A . . . . . . . 011111110111 by A/1 * 7
215 1 B . . . . . . . 011111111111
216 0 C . . . . . . . 011111101111
217 -1 D . . . . . . . 011111101111
218 0 A . . . . . . . 011110101111
219 1 A . . . . . . . 011110101111
220 0 B . . . . . . . 011110111111
221 -1 C . . . . . . . 011110011111
+ 223 1 C . . . . . . . 011110011111 by C/0 * 2
224 0 D . . . . . . . 011110011111
225 -1 E . . . . . . . 011110111111
226 -2 B . . . . . . . 011110111111
227 -3 C . . . . . . . 011100111111
228 -4 D . . . . . . . 011100111111
229 -3 A . . . . . . . 010100111111
230 -2 A . . . . . . . 010100111111
231 -3 B . . . . . . . 010110111111
232 -4 C . . . . . . . 010010111111
+ 234 -2 C . . . . . . . 010010111111 by C/0 * 2
235 -3 D . . . . . . . 010010111111
236 -4 E . . . . . . . 010110111111
237 -5 B . . . . . . . 010110111111
238 -6 C . . . . . . . 000110111111
+ 241 -3 C . . . . . . . 000110111111 by C/0 * 3
242 -4 D . . . . . . . 000110111111
243 -5 E . . . . . . . 001110111111
244 -6 B . . . . . . . 001110111111
245 -5 A . . . . . . . 001110111111
246 -6 B . . . . . . . 011110111111
247 -5 A . . . . . . . 011110111111
+ 251 -1 A . . . . . . . 011110111111 by A/1 * 4
252 -2 B . . . . . . . 011111111111
253 -3 C . . . . . . . 011101111111
254 -4 D . . . . . . . 011101111111
255 -3 A . . . . . . . 010101111111
After 255 steps (201 lines): state = A.
Produced 9 ones.
Tape index -3, scanned [-6 .. 5].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 90 | 33 | 57 | 0 | 2 |
| B | 51 | 21 | 30 | 1 | 4 |
| C | 66 | 36 | 30 | 5 | 7 |
| D | 30 | 18 | 12 | 8 | 19 |
| E | 18 | 18 | 9 | ||