Comment: simple 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 | A0R | D1L | 0 | right | A | 1 | left | D |
| D | E0L | B1R | 0 | left | E | 1 | right | B |
| E | B0R | H1L | 0 | right | 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 2-bck-bck-macro machine.
The same TM as 2-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 A> 0 1
7 -1 <B 1 1
8 0 A> 1 1
+ 10 2 1 1 A>
11 1 1 1 <B 1
12 0 1 <C 0 1
13 -1 <D 1 0 1
14 -2 <E 0 1 0 1
15 -1 B> 0 1 0 1
16 0 A> 1 0 1
17 1 1 A> 0 1
18 0 1 <B 1 1
19 -1 <C 0 1 1
20 0 A> 0 1 1
21 -1 <B 13
22 0 A> 13
+ 25 3 13 A>
26 2 13 <B 1
27 1 1 1 <C 0 1
28 0 1 <D 1 0 1
29 1 1 B> 1 0 1
30 0 1 <C 0 0 1
31 -1 <D 1 0 0 1
32 -2 <E 0 1 0 0 1
33 -1 B> 0 1 0 0 1
34 0 A> 1 0 0 1
35 1 1 A> 0 0 1
36 0 1 <B 1 0 1
37 -1 <C 0 1 0 1
38 0 A> 0 1 0 1
39 -1 <B 1 1 0 1
40 0 A> 1 1 0 1
+ 42 2 1 1 A> 0 1
43 1 1 1 <B 1 1
44 0 1 <C 0 1 1
45 -1 <D 1 0 1 1
46 -2 <E 0 1 0 1 1
47 -1 B> 0 1 0 1 1
48 0 A> 1 0 1 1
49 1 1 A> 0 1 1
50 0 1 <B 13
51 -1 <C 0 13
52 0 A> 0 13
53 -1 <B 14
54 0 A> 14
+ 58 4 14 A>
59 3 14 <B 1
60 2 13 <C 0 1
61 1 1 1 <D 1 0 1
62 2 1 1 B> 1 0 1
63 1 1 1 <C 0 0 1
64 0 1 <D 1 0 0 1
65 1 1 B> 1 0 0 1
66 0 1 <C 03 1
67 -1 <D 1 03 1
68 -2 <E 0 1 03 1
69 -1 B> 0 1 03 1
70 0 A> 1 03 1
71 1 1 A> 03 1
72 0 1 <B 1 0 0 1
73 -1 <C 0 1 0 0 1
74 0 A> 0 1 0 0 1
75 -1 <B 1 1 0 0 1
76 0 A> 1 1 0 0 1
+ 78 2 1 1 A> 0 0 1
79 1 1 1 <B 1 0 1
80 0 1 <C 0 1 0 1
81 -1 <D 1 0 1 0 1
82 -2 <E 0 1 0 1 0 1
83 -1 B> 0 1 0 1 0 1
84 0 A> 1 0 1 0 1
85 1 1 A> 0 1 0 1
86 0 1 <B 1 1 0 1
87 -1 <C 0 1 1 0 1
88 0 A> 0 1 1 0 1
89 -1 <B 13 0 1
90 0 A> 13 0 1
+ 93 3 13 A> 0 1
94 2 13 <B 1 1
95 1 1 1 <C 0 1 1
96 0 1 <D 1 0 1 1
97 1 1 B> 1 0 1 1
98 0 1 <C 0 0 1 1
99 -1 <D 1 0 0 1 1
100 -2 <E 0 1 0 0 1 1
101 -1 B> 0 1 0 0 1 1
102 0 A> 1 0 0 1 1
103 1 1 A> 0 0 1 1
104 0 1 <B 1 0 1 1
105 -1 <C 0 1 0 1 1
106 0 A> 0 1 0 1 1
107 -1 <B 1 1 0 1 1
108 0 A> 1 1 0 1 1
+ 110 2 1 1 A> 0 1 1
111 1 1 1 <B 13
112 0 1 <C 0 13
113 -1 <D 1 0 13
114 -2 <E 0 1 0 13
115 -1 B> 0 1 0 13
116 0 A> 1 0 13
117 1 1 A> 0 13
118 0 1 <B 14
119 -1 <C 0 14
120 0 A> 0 14
121 -1 <B 15
122 0 A> 15
+ 127 5 15 A>
128 4 15 <B 1
129 3 14 <C 0 1
130 2 13 <D 1 0 1
131 3 13 B> 1 0 1
132 2 13 <C 0 0 1
133 1 1 1 <D 1 0 0 1
134 2 1 1 B> 1 0 0 1
135 1 1 1 <C 03 1
136 0 1 <D 1 03 1
137 1 1 B> 1 03 1
138 0 1 <C 04 1
139 -1 <D 1 04 1
140 -2 <E 0 1 04 1
141 -1 B> 0 1 04 1
142 0 A> 1 04 1
143 1 1 A> 04 1
144 0 1 <B 1 03 1
145 -1 <C 0 1 03 1
146 0 A> 0 1 03 1
147 -1 <B 1 1 03 1
148 0 A> 1 1 03 1
+ 150 2 1 1 A> 03 1
151 1 1 1 <B 1 0 0 1
152 0 1 <C 0 1 0 0 1
153 -1 <D 1 0 1 0 0 1
154 -2 <E 0 1 0 1 0 0 1
155 -1 B> 0 1 0 1 0 0 1
156 0 A> 1 0 1 0 0 1
157 1 1 A> 0 1 0 0 1
158 0 1 <B 1 1 0 0 1
159 -1 <C 0 1 1 0 0 1
160 0 A> 0 1 1 0 0 1
161 -1 <B 13 0 0 1
162 0 A> 13 0 0 1
+ 165 3 13 A> 0 0 1
166 2 13 <B 1 0 1
167 1 1 1 <C 0 1 0 1
168 0 1 <D 1 0 1 0 1
169 1 1 B> 1 0 1 0 1
170 0 1 <C 0 0 1 0 1
171 -1 <D 1 0 0 1 0 1
172 -2 <E 0 1 0 0 1 0 1
173 -1 B> 0 1 0 0 1 0 1
174 0 A> 1 0 0 1 0 1
175 1 1 A> 0 0 1 0 1
176 0 1 <B 1 0 1 0 1
177 -1 <C 0 1 0 1 0 1
178 0 A> 0 1 0 1 0 1
179 -1 <B 1 1 0 1 0 1
180 0 A> 1 1 0 1 0 1
+ 182 2 1 1 A> 0 1 0 1
183 1 1 1 <B 1 1 0 1
184 0 1 <C 0 1 1 0 1
185 -1 <D 1 0 1 1 0 1
186 -2 <E 0 1 0 1 1 0 1
187 -1 B> 0 1 0 1 1 0 1
188 0 A> 1 0 1 1 0 1
189 1 1 A> 0 1 1 0 1
190 0 1 <B 13 0 1
191 -1 <C 0 13 0 1
192 0 A> 0 13 0 1
193 -1 <B 14 0 1
194 0 A> 14 0 1
+ 198 4 14 A> 0 1
199 3 14 <B 1 1
200 2 13 <C 0 1 1
201 1 1 1 <D 1 0 1 1
202 2 1 1 B> 1 0 1 1
203 1 1 1 <C 0 0 1 1
204 0 1 <D 1 0 0 1 1
205 1 1 B> 1 0 0 1 1
206 0 1 <C 03 1 1
207 -1 <D 1 03 1 1
208 -2 <E 0 1 03 1 1
209 -1 B> 0 1 03 1 1
210 0 A> 1 03 1 1
211 1 1 A> 03 1 1
212 0 1 <B 1 0 0 1 1
213 -1 <C 0 1 0 0 1 1
214 0 A> 0 1 0 0 1 1
215 -1 <B 1 1 0 0 1 1
216 0 A> 1 1 0 0 1 1
+ 218 2 1 1 A> 0 0 1 1
219 1 1 1 <B 1 0 1 1
220 0 1 <C 0 1 0 1 1
221 -1 <D 1 0 1 0 1 1
222 -2 <E 0 1 0 1 0 1 1
223 -1 B> 0 1 0 1 0 1 1
After 223 steps (201 lines): state = B.
Produced 4 ones.
Tape index -1, scanned [-2 .. 5].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 89 | 40 | 49 | 0 | 2 |
| B | 62 | 26 | 36 | 1 | 4 |
| C | 36 | 13 | 23 | 5 | 12 |
| D | 23 | 13 | 10 | 13 | 28 |
| E | 13 | 13 | 14 | ||