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 |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM 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 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
6 0 A . . . . . . . . . .001
7 -1 B . . . . . . . . . .011
8 0 A . . . . . . . . . .011
9 1 A . . . . . . . . . .011
10 2 A . . . . . . . . . .0110
11 1 B . . . . . . . . . .0111
12 0 C . . . . . . . . . .0101
13 -1 D . . . . . . . . . .0101
14 -2 E . . . . . . . . . 00101
15 -1 B . . . . . . . . . 00101
16 0 A . . . . . . . . . 00101
17 1 A . . . . . . . . . 00101
18 0 B . . . . . . . . . 00111
19 -1 C . . . . . . . . . 00011
20 0 A . . . . . . . . . 00011
21 -1 B . . . . . . . . . 00111
22 0 A . . . . . . . . . 00111
23 1 A . . . . . . . . . 00111
24 2 A . . . . . . . . . 00111
25 3 A . . . . . . . . . 001110
26 2 B . . . . . . . . . 001111
27 1 C . . . . . . . . . 001101
28 0 D . . . . . . . . . 001101
29 1 B . . . . . . . . . 001101
30 0 C . . . . . . . . . 001001
31 -1 D . . . . . . . . . 001001
32 -2 E . . . . . . . . . 001001
33 -1 B . . . . . . . . . 001001
34 0 A . . . . . . . . . 001001
35 1 A . . . . . . . . . 001001
36 0 B . . . . . . . . . 001101
37 -1 C . . . . . . . . . 000101
38 0 A . . . . . . . . . 000101
39 -1 B . . . . . . . . . 001101
40 0 A . . . . . . . . . 001101
41 1 A . . . . . . . . . 001101
42 2 A . . . . . . . . . 001101
43 1 B . . . . . . . . . 001111
44 0 C . . . . . . . . . 001011
45 -1 D . . . . . . . . . 001011
46 -2 E . . . . . . . . . 001011
47 -1 B . . . . . . . . . 001011
48 0 A . . . . . . . . . 001011
49 1 A . . . . . . . . . 001011
50 0 B . . . . . . . . . 001111
51 -1 C . . . . . . . . . 000111
52 0 A . . . . . . . . . 000111
53 -1 B . . . . . . . . . 001111
54 0 A . . . . . . . . . 001111
55 1 A . . . . . . . . . 001111
56 2 A . . . . . . . . . 001111
57 3 A . . . . . . . . . 001111
58 4 A . . . . . . . . . 0011110
59 3 B . . . . . . . . . 0011111
60 2 C . . . . . . . . . 0011101
61 1 D . . . . . . . . . 0011101
62 2 B . . . . . . . . . 0011101
63 1 C . . . . . . . . . 0011001
64 0 D . . . . . . . . . 0011001
65 1 B . . . . . . . . . 0011001
66 0 C . . . . . . . . . 0010001
67 -1 D . . . . . . . . . 0010001
68 -2 E . . . . . . . . . 0010001
69 -1 B . . . . . . . . . 0010001
70 0 A . . . . . . . . . 0010001
71 1 A . . . . . . . . . 0010001
72 0 B . . . . . . . . . 0011001
73 -1 C . . . . . . . . . 0001001
74 0 A . . . . . . . . . 0001001
75 -1 B . . . . . . . . . 0011001
76 0 A . . . . . . . . . 0011001
77 1 A . . . . . . . . . 0011001
78 2 A . . . . . . . . . 0011001
79 1 B . . . . . . . . . 0011101
80 0 C . . . . . . . . . 0010101
81 -1 D . . . . . . . . . 0010101
82 -2 E . . . . . . . . . 0010101
83 -1 B . . . . . . . . . 0010101
84 0 A . . . . . . . . . 0010101
85 1 A . . . . . . . . . 0010101
86 0 B . . . . . . . . . 0011101
87 -1 C . . . . . . . . . 0001101
88 0 A . . . . . . . . . 0001101
89 -1 B . . . . . . . . . 0011101
90 0 A . . . . . . . . . 0011101
91 1 A . . . . . . . . . 0011101
92 2 A . . . . . . . . . 0011101
93 3 A . . . . . . . . . 0011101
94 2 B . . . . . . . . . 0011111
95 1 C . . . . . . . . . 0011011
96 0 D . . . . . . . . . 0011011
97 1 B . . . . . . . . . 0011011
98 0 C . . . . . . . . . 0010011
99 -1 D . . . . . . . . . 0010011
100 -2 E . . . . . . . . . 0010011
101 -1 B . . . . . . . . . 0010011
102 0 A . . . . . . . . . 0010011
103 1 A . . . . . . . . . 0010011
104 0 B . . . . . . . . . 0011011
105 -1 C . . . . . . . . . 0001011
106 0 A . . . . . . . . . 0001011
107 -1 B . . . . . . . . . 0011011
108 0 A . . . . . . . . . 0011011
109 1 A . . . . . . . . . 0011011
110 2 A . . . . . . . . . 0011011
111 1 B . . . . . . . . . 0011111
112 0 C . . . . . . . . . 0010111
113 -1 D . . . . . . . . . 0010111
114 -2 E . . . . . . . . . 0010111
115 -1 B . . . . . . . . . 0010111
116 0 A . . . . . . . . . 0010111
117 1 A . . . . . . . . . 0010111
118 0 B . . . . . . . . . 0011111
119 -1 C . . . . . . . . . 0001111
120 0 A . . . . . . . . . 0001111
121 -1 B . . . . . . . . . 0011111
122 0 A . . . . . . . . . 0011111
123 1 A . . . . . . . . . 0011111
124 2 A . . . . . . . . . 0011111
125 3 A . . . . . . . . . 0011111
126 4 A . . . . . . . . . 0011111
127 5 A . . . . . . . . . 00111110
128 4 B . . . . . . . . . 00111111
129 3 C . . . . . . . . . 00111101
130 2 D . . . . . . . . . 00111101
131 3 B . . . . . . . . . 00111101
132 2 C . . . . . . . . . 00111001
133 1 D . . . . . . . . . 00111001
134 2 B . . . . . . . . . 00111001
135 1 C . . . . . . . . . 00110001
136 0 D . . . . . . . . . 00110001
137 1 B . . . . . . . . . 00110001
138 0 C . . . . . . . . . 00100001
139 -1 D . . . . . . . . . 00100001
140 -2 E . . . . . . . . . 00100001
141 -1 B . . . . . . . . . 00100001
142 0 A . . . . . . . . . 00100001
143 1 A . . . . . . . . . 00100001
144 0 B . . . . . . . . . 00110001
145 -1 C . . . . . . . . . 00010001
146 0 A . . . . . . . . . 00010001
147 -1 B . . . . . . . . . 00110001
148 0 A . . . . . . . . . 00110001
149 1 A . . . . . . . . . 00110001
150 2 A . . . . . . . . . 00110001
151 1 B . . . . . . . . . 00111001
152 0 C . . . . . . . . . 00101001
153 -1 D . . . . . . . . . 00101001
154 -2 E . . . . . . . . . 00101001
155 -1 B . . . . . . . . . 00101001
156 0 A . . . . . . . . . 00101001
157 1 A . . . . . . . . . 00101001
158 0 B . . . . . . . . . 00111001
159 -1 C . . . . . . . . . 00011001
160 0 A . . . . . . . . . 00011001
161 -1 B . . . . . . . . . 00111001
162 0 A . . . . . . . . . 00111001
163 1 A . . . . . . . . . 00111001
164 2 A . . . . . . . . . 00111001
165 3 A . . . . . . . . . 00111001
166 2 B . . . . . . . . . 00111101
167 1 C . . . . . . . . . 00110101
168 0 D . . . . . . . . . 00110101
169 1 B . . . . . . . . . 00110101
170 0 C . . . . . . . . . 00100101
171 -1 D . . . . . . . . . 00100101
172 -2 E . . . . . . . . . 00100101
173 -1 B . . . . . . . . . 00100101
174 0 A . . . . . . . . . 00100101
175 1 A . . . . . . . . . 00100101
176 0 B . . . . . . . . . 00110101
177 -1 C . . . . . . . . . 00010101
178 0 A . . . . . . . . . 00010101
179 -1 B . . . . . . . . . 00110101
180 0 A . . . . . . . . . 00110101
181 1 A . . . . . . . . . 00110101
182 2 A . . . . . . . . . 00110101
183 1 B . . . . . . . . . 00111101
184 0 C . . . . . . . . . 00101101
185 -1 D . . . . . . . . . 00101101
186 -2 E . . . . . . . . . 00101101
187 -1 B . . . . . . . . . 00101101
188 0 A . . . . . . . . . 00101101
189 1 A . . . . . . . . . 00101101
190 0 B . . . . . . . . . 00111101
191 -1 C . . . . . . . . . 00011101
192 0 A . . . . . . . . . 00011101
193 -1 B . . . . . . . . . 00111101
194 0 A . . . . . . . . . 00111101
195 1 A . . . . . . . . . 00111101
196 2 A . . . . . . . . . 00111101
197 3 A . . . . . . . . . 00111101
198 4 A . . . . . . . . . 00111101
199 3 B . . . . . . . . . 00111111
200 2 C . . . . . . . . . 00111011
After 200 steps (201 lines): state = C.
Produced 5 ones.
Tape index 2, scanned [-2 .. 5].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 83 | 37 | 46 | 0 | 2 |
| B | 56 | 24 | 32 | 1 | 4 |
| C | 31 | 12 | 19 | 5 | 12 |
| D | 19 | 11 | 8 | 13 | 28 |
| E | 11 | 11 | 14 | ||