Comment: This TM produces 1471 ones in 2358064 steps. 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 | D1L | 1 | left | B | 1 | left | D |
| B | C1R | E0R | 1 | right | C | 0 | right | E |
| C | A0L | B0R | 0 | left | A | 0 | right | B |
| D | E1L | H1L | 1 | left | E | 1 | left | H |
| E | C1R | C1L | 1 | right | C | 1 | left | C |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-2-macro machine.
The same TM as 2-bck-2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . . . . 0
1 -1 B . . . . . . . . . .01
2 0 C . . . . . . . . . .11
3 1 B . . . . . . . . . .100
4 2 C . . . . . . . . . .1010
5 1 A . . . . . . . . . .1010
6 0 D . . . . . . . . . .1010
7 -1 E . . . . . . . . . .1110
8 -2 C . . . . . . . . . 01110
9 -3 A . . . . . . . . .001110
10 -4 B . . . . . . . . 0101110
11 -3 C . . . . . . . . 1101110
12 -2 B . . . . . . . . 1001110
13 -1 C . . . . . . . . 1011110
14 0 B . . . . . . . . 1010110
15 1 E . . . . . . . . 1010010
16 0 C . . . . . . . . 1010010
17 -1 A . . . . . . . . 1010010
18 -2 B . . . . . . . . 1011010
19 -1 E . . . . . . . . 1001010
20 -2 C . . . . . . . . 1001010
21 -3 A . . . . . . . . 1001010
22 -4 B . . . . . . . . 1101010
23 -3 E . . . . . . . . 0101010
24 -4 C . . . . . . . . 0101010
25 -5 A . . . . . . . .00101010
26 -6 B . . . . . . . 010101010
27 -5 C . . . . . . . 110101010
28 -4 B . . . . . . . 100101010
29 -3 C . . . . . . . 101101010
30 -2 B . . . . . . . 101001010
31 -1 C . . . . . . . 101011010
32 0 B . . . . . . . 101010010
33 1 C . . . . . . . 101010110
34 2 B . . . . . . . 101010100
35 3 C . . . . . . . 1010101010
36 2 A . . . . . . . 1010101010
37 1 D . . . . . . . 1010101010
38 0 E . . . . . . . 1010101110
39 -1 C . . . . . . . 1010101110
40 -2 A . . . . . . . 1010101110
41 -3 D . . . . . . . 1010101110
42 -4 E . . . . . . . 1011101110
43 -5 C . . . . . . . 1011101110
44 -6 A . . . . . . . 1011101110
45 -7 D . . . . . . .01011101110
46 -8 E . . . . . . 011011101110
47 -7 C . . . . . . 111011101110
48 -6 B . . . . . . 101011101110
49 -5 E . . . . . . 100011101110
50 -4 C . . . . . . 100111101110
51 -3 B . . . . . . 100101101110
52 -2 E . . . . . . 100100101110
53 -3 C . . . . . . 100100101110
54 -4 A . . . . . . 100100101110
55 -5 B . . . . . . 100110101110
56 -4 E . . . . . . 100010101110
57 -5 C . . . . . . 100010101110
58 -6 A . . . . . . 100010101110
59 -7 B . . . . . . 101010101110
60 -6 C . . . . . . 111010101110
61 -5 B . . . . . . 110010101110
62 -4 C . . . . . . 110110101110
63 -3 B . . . . . . 110100101110
64 -2 C . . . . . . 110101101110
65 -1 B . . . . . . 110101001110
66 0 C . . . . . . 110101011110
67 1 B . . . . . . 110101010110
68 2 E . . . . . . 110101010010
69 1 C . . . . . . 110101010010
70 0 A . . . . . . 110101010010
71 -1 B . . . . . . 110101011010
72 0 E . . . . . . 110101001010
73 -1 C . . . . . . 110101001010
74 -2 A . . . . . . 110101001010
75 -3 B . . . . . . 110101101010
76 -2 E . . . . . . 110100101010
77 -3 C . . . . . . 110100101010
78 -4 A . . . . . . 110100101010
79 -5 B . . . . . . 110110101010
80 -4 E . . . . . . 110010101010
81 -5 C . . . . . . 110010101010
82 -6 A . . . . . . 110010101010
83 -7 B . . . . . . 111010101010
84 -6 E . . . . . . 101010101010
85 -7 C . . . . . . 101010101010
86 -8 A . . . . . . 101010101010
87 -9 D . . . . . .0101010101010
88 -10 E . . . . . 01101010101010
89 -9 C . . . . . 11101010101010
90 -8 B . . . . . 10101010101010
91 -7 E . . . . . 10001010101010
92 -6 C . . . . . 10011010101010
93 -5 B . . . . . 10010010101010
94 -4 C . . . . . 10010110101010
95 -3 B . . . . . 10010100101010
96 -2 C . . . . . 10010101101010
97 -1 B . . . . . 10010101001010
98 0 C . . . . . 10010101011010
99 1 B . . . . . 10010101010010
100 2 C . . . . . 10010101010110
101 3 B . . . . . 10010101010100
102 4 C . . . . . 100101010101010
103 3 A . . . . . 100101010101010
104 2 D . . . . . 100101010101010
105 1 E . . . . . 100101010101110
106 0 C . . . . . 100101010101110
107 -1 A . . . . . 100101010101110
108 -2 D . . . . . 100101010101110
109 -3 E . . . . . 100101011101110
110 -4 C . . . . . 100101011101110
111 -5 A . . . . . 100101011101110
112 -6 D . . . . . 100101011101110
113 -7 E . . . . . 100111011101110
114 -8 C . . . . . 100111011101110
115 -9 A . . . . . 100111011101110
116 -10 B . . . . . 110111011101110
117 -9 E . . . . . 010111011101110
118 -10 C . . . . . 010111011101110
119 -11 A . . . . .0010111011101110
120 -12 B . . . . 01010111011101110
121 -11 C . . . . 11010111011101110
122 -10 B . . . . 10010111011101110
123 -9 C . . . . 10110111011101110
124 -8 B . . . . 10100111011101110
125 -7 C . . . . 10101111011101110
126 -6 B . . . . 10101011011101110
127 -5 E . . . . 10101001011101110
128 -6 C . . . . 10101001011101110
129 -7 A . . . . 10101001011101110
130 -8 B . . . . 10101101011101110
131 -7 E . . . . 10100101011101110
132 -8 C . . . . 10100101011101110
133 -9 A . . . . 10100101011101110
134 -10 B . . . . 10110101011101110
135 -9 E . . . . 10010101011101110
136 -10 C . . . . 10010101011101110
137 -11 A . . . . 10010101011101110
138 -12 B . . . . 11010101011101110
139 -11 E . . . . 01010101011101110
140 -12 C . . . . 01010101011101110
141 -13 A . . . .001010101011101110
142 -14 B . . . 0101010101011101110
143 -13 C . . . 1101010101011101110
144 -12 B . . . 1001010101011101110
145 -11 C . . . 1011010101011101110
146 -10 B . . . 1010010101011101110
147 -9 C . . . 1010110101011101110
148 -8 B . . . 1010100101011101110
149 -7 C . . . 1010101101011101110
150 -6 B . . . 1010101001011101110
151 -5 C . . . 1010101011011101110
152 -4 B . . . 1010101010011101110
153 -3 C . . . 1010101010111101110
154 -2 B . . . 1010101010101101110
155 -1 E . . . 1010101010100101110
156 -2 C . . . 1010101010100101110
157 -3 A . . . 1010101010100101110
158 -4 B . . . 1010101010110101110
159 -3 E . . . 1010101010010101110
160 -4 C . . . 1010101010010101110
161 -5 A . . . 1010101010010101110
162 -6 B . . . 1010101011010101110
163 -5 E . . . 1010101001010101110
164 -6 C . . . 1010101001010101110
165 -7 A . . . 1010101001010101110
166 -8 B . . . 1010101101010101110
167 -7 E . . . 1010100101010101110
168 -8 C . . . 1010100101010101110
169 -9 A . . . 1010100101010101110
170 -10 B . . . 1010110101010101110
171 -9 E . . . 1010010101010101110
172 -10 C . . . 1010010101010101110
173 -11 A . . . 1010010101010101110
174 -12 B . . . 1011010101010101110
175 -11 E . . . 1001010101010101110
176 -12 C . . . 1001010101010101110
177 -13 A . . . 1001010101010101110
178 -14 B . . . 1101010101010101110
179 -13 E . . . 0101010101010101110
180 -14 C . . . 0101010101010101110
181 -15 A . . .00101010101010101110
182 -16 B . . 010101010101010101110
183 -15 C . . 110101010101010101110
184 -14 B . . 100101010101010101110
185 -13 C . . 101101010101010101110
186 -12 B . . 101001010101010101110
187 -11 C . . 101011010101010101110
188 -10 B . . 101010010101010101110
189 -9 C . . 101010110101010101110
190 -8 B . . 101010100101010101110
191 -7 C . . 101010101101010101110
192 -6 B . . 101010101001010101110
193 -5 C . . 101010101011010101110
194 -4 B . . 101010101010010101110
195 -3 C . . 101010101010110101110
196 -2 B . . 101010101010100101110
197 -1 C . . 101010101010101101110
198 0 B . . 101010101010101001110
199 1 C . . 101010101010101011110
200 2 B . . 101010101010101010110
After 200 steps (201 lines): state = B.
Produced 11 ones.
Tape index 2, scanned [-16 .. 4].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 32 | 24 | 8 | 0 | 5 |
| B | 60 | 36 | 24 | 1 | 14 |
| C | 68 | 31 | 37 | 4 | 2 |
| D | 8 | 8 | 6 | ||
| E | 32 | 4 | 28 | 46 | 7 |