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.
The same TM with repetitions reduced.
Simulation is done 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 Tape contents
0 0 <A
1 -1 <B 1
2 0 A> 1
3 1 1 A>
4 0 1 <B 1
5 -1 <C 0 1
6 0 C> 0 1
7 1 C> 1
8 0 <D 1
9 -1 <E 1 1
10 -2 <B 0 1 1
11 -1 A> 0 1 1
12 -2 <B 13
13 -1 A> 13
+ 16 2 13 A>
17 1 13 <B 1
18 0 1 1 <C 0 1
19 -1 1 <D 1 0 1
20 0 A> 1 0 1
21 1 1 A> 0 1
22 0 1 <B 1 1
23 -1 <C 0 1 1
24 0 C> 0 1 1
25 1 C> 1 1
26 0 <D 1 1
27 -1 <E 13
28 -2 <B 0 13
29 -1 A> 0 13
30 -2 <B 14
31 -1 A> 14
+ 35 3 14 A>
36 2 14 <B 1
37 1 13 <C 0 1
38 0 1 1 <D 1 0 1
39 1 1 0 A> 1 0 1
40 2 1 0 1 A> 0 1
41 1 1 0 1 <B 1 1
42 0 1 0 <C 0 1 1
43 1 1 0 C> 0 1 1
44 2 1 0 0 C> 1 1
45 1 1 0 0 <D 1 1
46 0 1 0 <E 13
47 -1 1 <B 0 13
48 -2 <C 0 0 13
49 -1 C> 0 0 13
+ 51 1 C> 13
52 0 <D 13
53 -1 <E 14
54 -2 <B 0 14
55 -1 A> 0 14
56 -2 <B 15
57 -1 A> 15
+ 62 4 15 A>
63 3 15 <B 1
64 2 14 <C 0 1
65 1 13 <D 1 0 1
66 2 1 1 0 A> 1 0 1
67 3 1 1 0 1 A> 0 1
68 2 1 1 0 1 <B 1 1
69 1 1 1 0 <C 0 1 1
70 2 1 1 0 C> 0 1 1
71 3 1 1 0 0 C> 1 1
72 2 1 1 0 0 <D 1 1
73 1 1 1 0 <E 13
74 0 1 1 <B 0 13
75 -1 1 <C 0 0 13
76 -2 <D 1 0 0 13
77 -3 <E 1 1 0 0 13
78 -4 <B 0 1 1 0 0 13
79 -3 A> 0 1 1 0 0 13
80 -4 <B 13 0 0 13
81 -3 A> 13 0 0 13
+ 84 0 13 A> 0 0 13
85 -1 13 <B 1 0 13
86 -2 1 1 <C 0 1 0 13
87 -3 1 <D 1 0 1 0 13
88 -2 A> 1 0 1 0 13
89 -1 1 A> 0 1 0 13
90 -2 1 <B 1 1 0 13
91 -3 <C 0 1 1 0 13
92 -2 C> 0 1 1 0 13
93 -1 C> 1 1 0 13
94 -2 <D 1 1 0 13
95 -3 <E 13 0 13
96 -4 <B 0 13 0 13
97 -3 A> 0 13 0 13
98 -4 <B 14 0 13
99 -3 A> 14 0 13
+ 103 1 14 A> 0 13
104 0 14 <B 14
105 -1 13 <C 0 14
106 -2 1 1 <D 1 0 14
107 -1 1 0 A> 1 0 14
108 0 1 0 1 A> 0 14
109 -1 1 0 1 <B 15
110 -2 1 0 <C 0 15
111 -1 1 0 C> 0 15
112 0 1 0 0 C> 15
113 -1 1 0 0 <D 15
114 -2 1 0 <E 16
115 -3 1 <B 0 16
116 -4 <C 0 0 16
117 -3 C> 0 0 16
+ 119 -1 C> 16
120 -2 <D 16
121 -3 <E 17
122 -4 <B 0 17
123 -3 A> 0 17
124 -4 <B 18
125 -3 A> 18
+ 133 5 18 A>
134 4 18 <B 1
135 3 17 <C 0 1
136 2 16 <D 1 0 1
137 3 15 0 A> 1 0 1
138 4 15 0 1 A> 0 1
139 3 15 0 1 <B 1 1
140 2 15 0 <C 0 1 1
141 3 15 0 C> 0 1 1
142 4 15 0 0 C> 1 1
143 3 15 0 0 <D 1 1
144 2 15 0 <E 13
145 1 15 <B 0 13
146 0 14 <C 0 0 13
147 -1 13 <D 1 0 0 13
148 0 1 1 0 A> 1 0 0 13
149 1 1 1 0 1 A> 0 0 13
150 0 1 1 0 1 <B 1 0 13
151 -1 1 1 0 <C 0 1 0 13
152 0 1 1 0 C> 0 1 0 13
153 1 1 1 0 0 C> 1 0 13
154 0 1 1 0 0 <D 1 0 13
155 -1 1 1 0 <E 1 1 0 13
156 -2 1 1 <B 0 1 1 0 13
157 -3 1 <C 0 0 1 1 0 13
158 -4 <D 1 0 0 1 1 0 13
159 -5 <E 1 1 0 0 1 1 0 13
160 -6 <B 0 1 1 0 0 1 1 0 13
161 -5 A> 0 1 1 0 0 1 1 0 13
162 -6 <B 13 0 0 1 1 0 13
163 -5 A> 13 0 0 1 1 0 13
+ 166 -2 13 A> 0 0 1 1 0 13
167 -3 13 <B 1 0 1 1 0 13
168 -4 1 1 <C 0 1 0 1 1 0 13
169 -5 1 <D 1 0 1 0 1 1 0 13
170 -4 A> 1 0 1 0 1 1 0 13
171 -3 1 A> 0 1 0 1 1 0 13
172 -4 1 <B 1 1 0 1 1 0 13
173 -5 <C 0 1 1 0 1 1 0 13
174 -4 C> 0 1 1 0 1 1 0 13
175 -3 C> 1 1 0 1 1 0 13
176 -4 <D 1 1 0 1 1 0 13
177 -5 <E 13 0 1 1 0 13
178 -6 <B 0 13 0 1 1 0 13
179 -5 A> 0 13 0 1 1 0 13
180 -6 <B 14 0 1 1 0 13
181 -5 A> 14 0 1 1 0 13
+ 185 -1 14 A> 0 1 1 0 13
186 -2 14 <B 13 0 13
187 -3 13 <C 0 13 0 13
188 -4 1 1 <D 1 0 13 0 13
189 -3 1 0 A> 1 0 13 0 13
190 -2 1 0 1 A> 0 13 0 13
191 -3 1 0 1 <B 14 0 13
192 -4 1 0 <C 0 14 0 13
193 -3 1 0 C> 0 14 0 13
194 -2 1 0 0 C> 14 0 13
195 -3 1 0 0 <D 14 0 13
196 -4 1 0 <E 15 0 13
197 -5 1 <B 0 15 0 13
198 -6 <C 0 0 15 0 13
199 -5 C> 0 0 15 0 13
+ 201 -3 C> 15 0 13
202 -4 <D 15 0 13
203 -5 <E 16 0 13
204 -6 <B 0 16 0 13
205 -5 A> 0 16 0 13
206 -6 <B 17 0 13
207 -5 A> 17 0 13
+ 214 2 17 A> 0 13
215 1 17 <B 14
216 0 16 <C 0 14
217 -1 15 <D 1 0 14
218 0 14 0 A> 1 0 14
219 1 14 0 1 A> 0 14
220 0 14 0 1 <B 15
221 -1 14 0 <C 0 15
222 0 14 0 C> 0 15
223 1 14 0 0 C> 15
224 0 14 0 0 <D 15
225 -1 14 0 <E 16
226 -2 14 <B 0 16
227 -3 13 <C 0 0 16
228 -4 1 1 <D 1 0 0 16
229 -3 1 0 A> 1 0 0 16
230 -2 1 0 1 A> 0 0 16
231 -3 1 0 1 <B 1 0 16
232 -4 1 0 <C 0 1 0 16
233 -3 1 0 C> 0 1 0 16
234 -2 1 0 0 C> 1 0 16
235 -3 1 0 0 <D 1 0 16
After 235 steps (201 lines): state = D.
Produced 8 ones.
Tape index -3, scanned [-6 .. 5].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 84 | 31 | 53 | 0 | 2 |
| B | 47 | 19 | 28 | 1 | 4 |
| C | 61 | 33 | 28 | 5 | 7 |
| D | 27 | 16 | 11 | 8 | 19 |
| E | 16 | 16 | 9 | ||