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 |
Simulation is done just simple.
The same TM 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
6 0 C . . . . . . . . . .001
7 1 C . . . . . . . . . .001
8 0 D . . . . . . . . . .001
9 -1 E . . . . . . . . . .011
10 -2 B . . . . . . . . . 0011
11 -1 A . . . . . . . . . 0011
12 -2 B . . . . . . . . . 0111
13 -1 A . . . . . . . . . 0111
14 0 A . . . . . . . . . 0111
15 1 A . . . . . . . . . 0111
16 2 A . . . . . . . . . 01110
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
24 0 C . . . . . . . . . 00011
25 1 C . . . . . . . . . 00011
26 0 D . . . . . . . . . 00011
27 -1 E . . . . . . . . . 00111
28 -2 B . . . . . . . . . 00111
29 -1 A . . . . . . . . . 00111
30 -2 B . . . . . . . . . 01111
31 -1 A . . . . . . . . . 01111
32 0 A . . . . . . . . . 01111
33 1 A . . . . . . . . . 01111
34 2 A . . . . . . . . . 01111
35 3 A . . . . . . . . . 011110
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
43 1 C . . . . . . . . . 010011
44 2 C . . . . . . . . . 010011
45 1 D . . . . . . . . . 010011
46 0 E . . . . . . . . . 010111
47 -1 B . . . . . . . . . 010111
48 -2 C . . . . . . . . . 000111
49 -1 C . . . . . . . . . 000111
50 0 C . . . . . . . . . 000111
51 1 C . . . . . . . . . 000111
52 0 D . . . . . . . . . 000111
53 -1 E . . . . . . . . . 001111
54 -2 B . . . . . . . . . 001111
55 -1 A . . . . . . . . . 001111
56 -2 B . . . . . . . . . 011111
57 -1 A . . . . . . . . . 011111
58 0 A . . . . . . . . . 011111
59 1 A . . . . . . . . . 011111
60 2 A . . . . . . . . . 011111
61 3 A . . . . . . . . . 011111
62 4 A . . . . . . . . . 0111110
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
70 2 C . . . . . . . . . 0110011
71 3 C . . . . . . . . . 0110011
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
82 -2 A . . . . . . . . 011100111
83 -1 A . . . . . . . . 011100111
84 0 A . . . . . . . . 011100111
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
92 -2 C . . . . . . . . 000110111
93 -1 C . . . . . . . . 000110111
94 -2 D . . . . . . . . 000110111
95 -3 E . . . . . . . . 001110111
96 -4 B . . . . . . . . 001110111
97 -3 A . . . . . . . . 001110111
98 -4 B . . . . . . . . 011110111
99 -3 A . . . . . . . . 011110111
100 -2 A . . . . . . . . 011110111
101 -1 A . . . . . . . . 011110111
102 0 A . . . . . . . . 011110111
103 1 A . . . . . . . . 011110111
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
111 -1 C . . . . . . . . 010011111
112 0 C . . . . . . . . 010011111
113 -1 D . . . . . . . . 010011111
114 -2 E . . . . . . . . 010111111
115 -3 B . . . . . . . . 010111111
116 -4 C . . . . . . . . 000111111
117 -3 C . . . . . . . . 000111111
118 -2 C . . . . . . . . 000111111
119 -1 C . . . . . . . . 000111111
120 -2 D . . . . . . . . 000111111
121 -3 E . . . . . . . . 001111111
122 -4 B . . . . . . . . 001111111
123 -3 A . . . . . . . . 001111111
124 -4 B . . . . . . . . 011111111
125 -3 A . . . . . . . . 011111111
126 -2 A . . . . . . . . 011111111
127 -1 A . . . . . . . . 011111111
128 0 A . . . . . . . . 011111111
129 1 A . . . . . . . . 011111111
130 2 A . . . . . . . . 011111111
131 3 A . . . . . . . . 011111111
132 4 A . . . . . . . . 011111111
133 5 A . . . . . . . . 0111111110
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
141 3 C . . . . . . . . 0111110011
142 4 C . . . . . . . . 0111110011
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
152 0 C . . . . . . . . 0110010111
153 1 C . . . . . . . . 0110010111
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
164 -4 A . . . . . . . 011100110111
165 -3 A . . . . . . . 011100110111
166 -2 A . . . . . . . 011100110111
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
174 -4 C . . . . . . . 000110110111
175 -3 C . . . . . . . 000110110111
176 -4 D . . . . . . . 000110110111
177 -5 E . . . . . . . 001110110111
178 -6 B . . . . . . . 001110110111
179 -5 A . . . . . . . 001110110111
180 -6 B . . . . . . . 011110110111
181 -5 A . . . . . . . 011110110111
182 -4 A . . . . . . . 011110110111
183 -3 A . . . . . . . 011110110111
184 -2 A . . . . . . . 011110110111
185 -1 A . . . . . . . 011110110111
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
193 -3 C . . . . . . . 010011110111
194 -2 C . . . . . . . 010011110111
195 -3 D . . . . . . . 010011110111
196 -4 E . . . . . . . 010111110111
197 -5 B . . . . . . . 010111110111
198 -6 C . . . . . . . 000111110111
199 -5 C . . . . . . . 000111110111
200 -4 C . . . . . . . 000111110111
After 200 steps (201 lines): state = C.
Produced 8 ones.
Tape index -4, scanned [-6 .. 5].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 71 | 27 | 44 | 0 | 2 |
| B | 41 | 17 | 24 | 1 | 4 |
| C | 51 | 28 | 23 | 5 | 7 |
| D | 23 | 14 | 9 | 8 | 19 |
| E | 14 | 14 | 9 | ||