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 |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done 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 Tape contents
0 0 <A
1 -1 <B 1
2 0 1 C> 1
3 1 1 0 B>
4 2 1 0 1 C>
5 1 1 0 1 <A
6 0 1 0 <D 1
7 -1 1 <E 1 1
8 -2 <C 13
9 -3 <A 0 13
10 -4 <B 1 0 13
11 -3 1 C> 1 0 13
12 -2 1 0 B> 0 13
13 -1 1 0 1 C> 13
14 0 1 0 1 0 B> 1 1
15 1 1 0 1 0 0 E> 1
16 0 1 0 1 0 0 <C 1
17 -1 1 0 1 0 <A 0 1
18 -2 1 0 1 <B 1 0 1
19 -1 1 0 0 E> 1 0 1
20 -2 1 0 0 <C 1 0 1
21 -3 1 0 <A 0 1 0 1
22 -4 1 <B 1 0 1 0 1
23 -3 E> 1 0 1 0 1
24 -4 <C 1 0 1 0 1
25 -5 <A 0 1 0 1 0 1
26 -6 <B 1 0 1 0 1 0 1
27 -5 1 C> 1 0 1 0 1 0 1
28 -4 1 0 B> 0 1 0 1 0 1
29 -3 1 0 1 C> 1 0 1 0 1
30 -2 1 0 1 0 B> 0 1 0 1
31 -1 1 0 1 0 1 C> 1 0 1
32 0 1 0 1 0 1 0 B> 0 1
33 1 1 0 1 0 1 0 1 C> 1
34 2 1 0 1 0 1 0 1 0 B>
35 3 1 0 1 0 1 0 1 0 1 C>
36 2 1 0 1 0 1 0 1 0 1 <A
37 1 1 0 1 0 1 0 1 0 <D 1
38 0 1 0 1 0 1 0 1 <E 1 1
39 -1 1 0 1 0 1 0 <C 13
40 -2 1 0 1 0 1 <A 0 13
41 -3 1 0 1 0 <D 1 0 13
42 -4 1 0 1 <E 1 1 0 13
43 -5 1 0 <C 13 0 13
44 -6 1 <A 0 13 0 13
45 -7 <D 1 0 13 0 13
46 -8 <E 1 1 0 13 0 13
47 -7 1 C> 1 1 0 13 0 13
48 -6 1 0 B> 1 0 13 0 13
49 -5 1 0 0 E> 0 13 0 13
50 -4 1 0 0 1 C> 13 0 13
51 -3 1 0 0 1 0 B> 1 1 0 13
52 -2 1 0 0 1 0 0 E> 1 0 13
53 -3 1 0 0 1 0 0 <C 1 0 13
54 -4 1 0 0 1 0 <A 0 1 0 13
55 -5 1 0 0 1 <B 1 0 1 0 13
56 -4 1 03 E> 1 0 1 0 13
57 -5 1 03 <C 1 0 1 0 13
58 -6 1 0 0 <A 0 1 0 1 0 13
59 -7 1 0 <B 1 0 1 0 1 0 13
60 -6 1 1 C> 1 0 1 0 1 0 13
61 -5 1 1 0 B> 0 1 0 1 0 13
62 -4 1 1 0 1 C> 1 0 1 0 13
63 -3 1 1 0 1 0 B> 0 1 0 13
64 -2 1 1 0 1 0 1 C> 1 0 13
65 -1 1 1 0 1 0 1 0 B> 0 13
66 0 1 1 0 1 0 1 0 1 C> 13
67 1 1 1 0 1 0 1 0 1 0 B> 1 1
68 2 1 1 0 1 0 1 0 1 0 0 E> 1
69 1 1 1 0 1 0 1 0 1 0 0 <C 1
70 0 1 1 0 1 0 1 0 1 0 <A 0 1
71 -1 1 1 0 1 0 1 0 1 <B 1 0 1
72 0 1 1 0 1 0 1 0 0 E> 1 0 1
73 -1 1 1 0 1 0 1 0 0 <C 1 0 1
74 -2 1 1 0 1 0 1 0 <A 0 1 0 1
75 -3 1 1 0 1 0 1 <B 1 0 1 0 1
76 -2 1 1 0 1 0 0 E> 1 0 1 0 1
77 -3 1 1 0 1 0 0 <C 1 0 1 0 1
78 -4 1 1 0 1 0 <A 0 1 0 1 0 1
79 -5 1 1 0 1 <B 1 0 1 0 1 0 1
80 -4 1 1 0 0 E> 1 0 1 0 1 0 1
81 -5 1 1 0 0 <C 1 0 1 0 1 0 1
82 -6 1 1 0 <A 0 1 0 1 0 1 0 1
83 -7 1 1 <B 1 0 1 0 1 0 1 0 1
84 -6 1 0 E> 1 0 1 0 1 0 1 0 1
85 -7 1 0 <C 1 0 1 0 1 0 1 0 1
86 -8 1 <A 0 1 0 1 0 1 0 1 0 1
87 -9 <D 1 0 1 0 1 0 1 0 1 0 1
88 -10 <E 1 1 0 1 0 1 0 1 0 1 0 1
89 -9 1 C> 1 1 0 1 0 1 0 1 0 1 0 1
90 -8 1 0 B> 1 0 1 0 1 0 1 0 1 0 1
91 -7 1 0 0 E> 0 1 0 1 0 1 0 1 0 1
92 -6 1 0 0 1 C> 1 0 1 0 1 0 1 0 1
93 -5 1 0 0 1 0 B> 0 1 0 1 0 1 0 1
94 -4 1 0 0 1 0 1 C> 1 0 1 0 1 0 1
95 -3 1 0 0 1 0 1 0 B> 0 1 0 1 0 1
96 -2 1 0 0 1 0 1 0 1 C> 1 0 1 0 1
97 -1 1 0 0 1 0 1 0 1 0 B> 0 1 0 1
98 0 1 0 0 1 0 1 0 1 0 1 C> 1 0 1
99 1 1 0 0 1 0 1 0 1 0 1 0 B> 0 1
100 2 1 0 0 1 0 1 0 1 0 1 0 1 C> 1
101 3 1 0 0 1 0 1 0 1 0 1 0 1 0 B>
102 4 1 0 0 1 0 1 0 1 0 1 0 1 0 1 C>
103 3 1 0 0 1 0 1 0 1 0 1 0 1 0 1 <A
104 2 1 0 0 1 0 1 0 1 0 1 0 1 0 <D 1
105 1 1 0 0 1 0 1 0 1 0 1 0 1 <E 1 1
106 0 1 0 0 1 0 1 0 1 0 1 0 <C 13
107 -1 1 0 0 1 0 1 0 1 0 1 <A 0 13
108 -2 1 0 0 1 0 1 0 1 0 <D 1 0 13
109 -3 1 0 0 1 0 1 0 1 <E 1 1 0 13
110 -4 1 0 0 1 0 1 0 <C 13 0 13
111 -5 1 0 0 1 0 1 <A 0 13 0 13
112 -6 1 0 0 1 0 <D 1 0 13 0 13
113 -7 1 0 0 1 <E 1 1 0 13 0 13
114 -8 1 0 0 <C 13 0 13 0 13
115 -9 1 0 <A 0 13 0 13 0 13
116 -10 1 <B 1 0 13 0 13 0 13
117 -9 E> 1 0 13 0 13 0 13
118 -10 <C 1 0 13 0 13 0 13
119 -11 <A 0 1 0 13 0 13 0 13
120 -12 <B 1 0 1 0 13 0 13 0 13
121 -11 1 C> 1 0 1 0 13 0 13 0 13
122 -10 1 0 B> 0 1 0 13 0 13 0 13
123 -9 1 0 1 C> 1 0 13 0 13 0 13
124 -8 1 0 1 0 B> 0 13 0 13 0 13
125 -7 1 0 1 0 1 C> 13 0 13 0 13
126 -6 1 0 1 0 1 0 B> 1 1 0 13 0 13
127 -5 1 0 1 0 1 0 0 E> 1 0 13 0 13
128 -6 1 0 1 0 1 0 0 <C 1 0 13 0 13
129 -7 1 0 1 0 1 0 <A 0 1 0 13 0 13
130 -8 1 0 1 0 1 <B 1 0 1 0 13 0 13
131 -7 1 0 1 0 0 E> 1 0 1 0 13 0 13
132 -8 1 0 1 0 0 <C 1 0 1 0 13 0 13
133 -9 1 0 1 0 <A 0 1 0 1 0 13 0 13
134 -10 1 0 1 <B 1 0 1 0 1 0 13 0 13
135 -9 1 0 0 E> 1 0 1 0 1 0 13 0 13
136 -10 1 0 0 <C 1 0 1 0 1 0 13 0 13
137 -11 1 0 <A 0 1 0 1 0 1 0 13 0 13
138 -12 1 <B 1 0 1 0 1 0 1 0 13 0 13
139 -11 E> 1 0 1 0 1 0 1 0 13 0 13
140 -12 <C 1 0 1 0 1 0 1 0 13 0 13
141 -13 <A 0 1 0 1 0 1 0 1 0 13 0 13
142 -14 <B 1 0 1 0 1 0 1 0 1 0 13 0 13
143 -13 1 C> 1 0 1 0 1 0 1 0 1 0 13 0 13
144 -12 1 0 B> 0 1 0 1 0 1 0 1 0 13 0 13
145 -11 1 0 1 C> 1 0 1 0 1 0 1 0 13 0 13
146 -10 1 0 1 0 B> 0 1 0 1 0 1 0 13 0 13
147 -9 1 0 1 0 1 C> 1 0 1 0 1 0 13 0 13
148 -8 1 0 1 0 1 0 B> 0 1 0 1 0 13 0 13
149 -7 1 0 1 0 1 0 1 C> 1 0 1 0 13 0 13
150 -6 1 0 1 0 1 0 1 0 B> 0 1 0 13 0 13
151 -5 1 0 1 0 1 0 1 0 1 C> 1 0 13 0 13
152 -4 1 0 1 0 1 0 1 0 1 0 B> 0 13 0 13
153 -3 1 0 1 0 1 0 1 0 1 0 1 C> 13 0 13
154 -2 1 0 1 0 1 0 1 0 1 0 1 0 B> 1 1 0 13
155 -1 1 0 1 0 1 0 1 0 1 0 1 0 0 E> 1 0 13
156 -2 1 0 1 0 1 0 1 0 1 0 1 0 0 <C 1 0 13
157 -3 1 0 1 0 1 0 1 0 1 0 1 0 <A 0 1 0 13
158 -4 1 0 1 0 1 0 1 0 1 0 1 <B 1 0 1 0 13
159 -3 1 0 1 0 1 0 1 0 1 0 0 E> 1 0 1 0 13
160 -4 1 0 1 0 1 0 1 0 1 0 0 <C 1 0 1 0 13
161 -5 1 0 1 0 1 0 1 0 1 0 <A 0 1 0 1 0 13
162 -6 1 0 1 0 1 0 1 0 1 <B 1 0 1 0 1 0 13
163 -5 1 0 1 0 1 0 1 0 0 E> 1 0 1 0 1 0 13
164 -6 1 0 1 0 1 0 1 0 0 <C 1 0 1 0 1 0 13
165 -7 1 0 1 0 1 0 1 0 <A 0 1 0 1 0 1 0 13
166 -8 1 0 1 0 1 0 1 <B 1 0 1 0 1 0 1 0 13
167 -7 1 0 1 0 1 0 0 E> 1 0 1 0 1 0 1 0 13
168 -8 1 0 1 0 1 0 0 <C 1 0 1 0 1 0 1 0 13
169 -9 1 0 1 0 1 0 <A 0 1 0 1 0 1 0 1 0 13
170 -10 1 0 1 0 1 <B 1 0 1 0 1 0 1 0 1 0 13
171 -9 1 0 1 0 0 E> 1 0 1 0 1 0 1 0 1 0 13
172 -10 1 0 1 0 0 <C 1 0 1 0 1 0 1 0 1 0 13
173 -11 1 0 1 0 <A 0 1 0 1 0 1 0 1 0 1 0 13
174 -12 1 0 1 <B 1 0 1 0 1 0 1 0 1 0 1 0 13
175 -11 1 0 0 E> 1 0 1 0 1 0 1 0 1 0 1 0 13
176 -12 1 0 0 <C 1 0 1 0 1 0 1 0 1 0 1 0 13
177 -13 1 0 <A 0 1 0 1 0 1 0 1 0 1 0 1 0 13
178 -14 1 <B 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13
179 -13 E> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13
180 -14 <C 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13
181 -15 <A 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13
182 -16 <B 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13
183 -15 1 C> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13
184 -14 1 0 B> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13
185 -13 1 0 1 C> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13
186 -12 1 0 1 0 B> 0 1 0 1 0 1 0 1 0 1 0 1 0 13
187 -11 1 0 1 0 1 C> 1 0 1 0 1 0 1 0 1 0 1 0 13
188 -10 1 0 1 0 1 0 B> 0 1 0 1 0 1 0 1 0 1 0 13
189 -9 1 0 1 0 1 0 1 C> 1 0 1 0 1 0 1 0 1 0 13
190 -8 1 0 1 0 1 0 1 0 B> 0 1 0 1 0 1 0 1 0 13
191 -7 1 0 1 0 1 0 1 0 1 C> 1 0 1 0 1 0 1 0 13
192 -6 1 0 1 0 1 0 1 0 1 0 B> 0 1 0 1 0 1 0 13
193 -5 1 0 1 0 1 0 1 0 1 0 1 C> 1 0 1 0 1 0 13
194 -4 1 0 1 0 1 0 1 0 1 0 1 0 B> 0 1 0 1 0 13
195 -3 1 0 1 0 1 0 1 0 1 0 1 0 1 C> 1 0 1 0 13
196 -2 1 0 1 0 1 0 1 0 1 0 1 0 1 0 B> 0 1 0 13
197 -1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 C> 1 0 13
198 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 B> 0 13
199 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 C> 13
200 2 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 B> 1 1
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 |