Comment: This TM produces 4097 ones in 11798796 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 | A1L | 1 | left | B | 1 | left | A |
| B | C1R | D1L | 1 | right | C | 1 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E0L | 1 | left | H | 0 | left | E |
| E | C1R | B1L | 1 | right | C | 1 | left | B |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-macro machine.
The same TM as 3-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 C . . . . . . . . . . . . . . . . . . . . . . .110
4 2 A . . . . . . . . . . . . . . . . . . . . . . .1110
5 1 B . . . . . . . . . . . . . . . . . . . . . . .1111
6 0 D . . . . . . . . . . . . . . . . . . . . . . .1111
7 -1 E . . . . . . . . . . . . . . . . . . . . . . .1011
8 -2 B . . . . . . . . . . . . . . . . . . . . . . 01011
9 -1 C . . . . . . . . . . . . . . . . . . . . . . 11011
10 0 C . . . . . . . . . . . . . . . . . . . . . . 11011
11 1 A . . . . . . . . . . . . . . . . . . . . . . 11111
12 0 A . . . . . . . . . . . . . . . . . . . . . . 11111
13 -1 A . . . . . . . . . . . . . . . . . . . . . . 11111
14 -2 A . . . . . . . . . . . . . . . . . . . . . . 11111
15 -3 A . . . . . . . . . . . . . . . . . . . . . .011111
16 -4 B . . . . . . . . . . . . . . . . . . . . . 0111111
17 -3 C . . . . . . . . . . . . . . . . . . . . . 1111111
18 -2 C . . . . . . . . . . . . . . . . . . . . . 1111111
19 -1 C . . . . . . . . . . . . . . . . . . . . . 1111111
20 0 C . . . . . . . . . . . . . . . . . . . . . 1111111
21 1 C . . . . . . . . . . . . . . . . . . . . . 1111111
22 2 C . . . . . . . . . . . . . . . . . . . . . 1111111
23 3 C . . . . . . . . . . . . . . . . . . . . . 11111110
24 4 A . . . . . . . . . . . . . . . . . . . . . 111111110
25 3 B . . . . . . . . . . . . . . . . . . . . . 111111111
26 2 D . . . . . . . . . . . . . . . . . . . . . 111111111
27 1 E . . . . . . . . . . . . . . . . . . . . . 111111011
28 0 B . . . . . . . . . . . . . . . . . . . . . 111111011
29 -1 D . . . . . . . . . . . . . . . . . . . . . 111111011
30 -2 E . . . . . . . . . . . . . . . . . . . . . 111011011
31 -3 B . . . . . . . . . . . . . . . . . . . . . 111011011
32 -4 D . . . . . . . . . . . . . . . . . . . . . 111011011
33 -5 E . . . . . . . . . . . . . . . . . . . . .0011011011
34 -4 C . . . . . . . . . . . . . . . . . . . . .1011011011
35 -3 A . . . . . . . . . . . . . . . . . . . . .1111011011
36 -4 A . . . . . . . . . . . . . . . . . . . . .1111011011
37 -5 A . . . . . . . . . . . . . . . . . . . . .1111011011
38 -6 A . . . . . . . . . . . . . . . . . . . . 01111011011
39 -7 B . . . . . . . . . . . . . . . . . . . .011111011011
40 -6 C . . . . . . . . . . . . . . . . . . . .111111011011
41 -5 C . . . . . . . . . . . . . . . . . . . .111111011011
42 -4 C . . . . . . . . . . . . . . . . . . . .111111011011
43 -3 C . . . . . . . . . . . . . . . . . . . .111111011011
44 -2 C . . . . . . . . . . . . . . . . . . . .111111011011
45 -1 C . . . . . . . . . . . . . . . . . . . .111111011011
46 0 A . . . . . . . . . . . . . . . . . . . .111111111011
47 -1 A . . . . . . . . . . . . . . . . . . . .111111111011
48 -2 A . . . . . . . . . . . . . . . . . . . .111111111011
49 -3 A . . . . . . . . . . . . . . . . . . . .111111111011
50 -4 A . . . . . . . . . . . . . . . . . . . .111111111011
51 -5 A . . . . . . . . . . . . . . . . . . . .111111111011
52 -6 A . . . . . . . . . . . . . . . . . . . .111111111011
53 -7 A . . . . . . . . . . . . . . . . . . . .111111111011
54 -8 A . . . . . . . . . . . . . . . . . . . 0111111111011
55 -9 B . . . . . . . . . . . . . . . . . . .01111111111011
56 -8 C . . . . . . . . . . . . . . . . . . .11111111111011
57 -7 C . . . . . . . . . . . . . . . . . . .11111111111011
58 -6 C . . . . . . . . . . . . . . . . . . .11111111111011
59 -5 C . . . . . . . . . . . . . . . . . . .11111111111011
60 -4 C . . . . . . . . . . . . . . . . . . .11111111111011
61 -3 C . . . . . . . . . . . . . . . . . . .11111111111011
62 -2 C . . . . . . . . . . . . . . . . . . .11111111111011
63 -1 C . . . . . . . . . . . . . . . . . . .11111111111011
64 0 C . . . . . . . . . . . . . . . . . . .11111111111011
65 1 C . . . . . . . . . . . . . . . . . . .11111111111011
66 2 C . . . . . . . . . . . . . . . . . . .11111111111011
67 3 A . . . . . . . . . . . . . . . . . . .11111111111111
68 2 A . . . . . . . . . . . . . . . . . . .11111111111111
69 1 A . . . . . . . . . . . . . . . . . . .11111111111111
70 0 A . . . . . . . . . . . . . . . . . . .11111111111111
71 -1 A . . . . . . . . . . . . . . . . . . .11111111111111
72 -2 A . . . . . . . . . . . . . . . . . . .11111111111111
73 -3 A . . . . . . . . . . . . . . . . . . .11111111111111
74 -4 A . . . . . . . . . . . . . . . . . . .11111111111111
75 -5 A . . . . . . . . . . . . . . . . . . .11111111111111
76 -6 A . . . . . . . . . . . . . . . . . . .11111111111111
77 -7 A . . . . . . . . . . . . . . . . . . .11111111111111
78 -8 A . . . . . . . . . . . . . . . . . . .11111111111111
79 -9 A . . . . . . . . . . . . . . . . . . .11111111111111
80 -10 A . . . . . . . . . . . . . . . . . . 011111111111111
81 -11 B . . . . . . . . . . . . . . . . . .0111111111111111
82 -10 C . . . . . . . . . . . . . . . . . .1111111111111111
83 -9 C . . . . . . . . . . . . . . . . . .1111111111111111
84 -8 C . . . . . . . . . . . . . . . . . .1111111111111111
85 -7 C . . . . . . . . . . . . . . . . . .1111111111111111
86 -6 C . . . . . . . . . . . . . . . . . .1111111111111111
87 -5 C . . . . . . . . . . . . . . . . . .1111111111111111
88 -4 C . . . . . . . . . . . . . . . . . .1111111111111111
89 -3 C . . . . . . . . . . . . . . . . . .1111111111111111
90 -2 C . . . . . . . . . . . . . . . . . .1111111111111111
91 -1 C . . . . . . . . . . . . . . . . . .1111111111111111
92 0 C . . . . . . . . . . . . . . . . . .1111111111111111
93 1 C . . . . . . . . . . . . . . . . . .1111111111111111
94 2 C . . . . . . . . . . . . . . . . . .1111111111111111
95 3 C . . . . . . . . . . . . . . . . . .1111111111111111
96 4 C . . . . . . . . . . . . . . . . . .1111111111111111
97 5 C . . . . . . . . . . . . . . . . . .11111111111111110
98 6 A . . . . . . . . . . . . . . . . . .111111111111111110
99 5 B . . . . . . . . . . . . . . . . . .111111111111111111
100 4 D . . . . . . . . . . . . . . . . . .111111111111111111
101 3 E . . . . . . . . . . . . . . . . . .111111111111111011
102 2 B . . . . . . . . . . . . . . . . . .111111111111111011
103 1 D . . . . . . . . . . . . . . . . . .111111111111111011
104 0 E . . . . . . . . . . . . . . . . . .111111111111011011
105 -1 B . . . . . . . . . . . . . . . . . .111111111111011011
106 -2 D . . . . . . . . . . . . . . . . . .111111111111011011
107 -3 E . . . . . . . . . . . . . . . . . .111111111011011011
108 -4 B . . . . . . . . . . . . . . . . . .111111111011011011
109 -5 D . . . . . . . . . . . . . . . . . .111111111011011011
110 -6 E . . . . . . . . . . . . . . . . . .111111011011011011
111 -7 B . . . . . . . . . . . . . . . . . .111111011011011011
112 -8 D . . . . . . . . . . . . . . . . . .111111011011011011
113 -9 E . . . . . . . . . . . . . . . . . .111011011011011011
114 -10 B . . . . . . . . . . . . . . . . . .111011011011011011
115 -11 D . . . . . . . . . . . . . . . . . .111011011011011011
116 -12 E . . . . . . . . . . . . . . . . . 0011011011011011011
117 -11 C . . . . . . . . . . . . . . . . . 1011011011011011011
118 -10 A . . . . . . . . . . . . . . . . . 1111011011011011011
119 -11 A . . . . . . . . . . . . . . . . . 1111011011011011011
120 -12 A . . . . . . . . . . . . . . . . . 1111011011011011011
121 -13 A . . . . . . . . . . . . . . . . .01111011011011011011
122 -14 B . . . . . . . . . . . . . . . . 011111011011011011011
123 -13 C . . . . . . . . . . . . . . . . 111111011011011011011
124 -12 C . . . . . . . . . . . . . . . . 111111011011011011011
125 -11 C . . . . . . . . . . . . . . . . 111111011011011011011
126 -10 C . . . . . . . . . . . . . . . . 111111011011011011011
127 -9 C . . . . . . . . . . . . . . . . 111111011011011011011
128 -8 C . . . . . . . . . . . . . . . . 111111011011011011011
129 -7 A . . . . . . . . . . . . . . . . 111111111011011011011
130 -8 A . . . . . . . . . . . . . . . . 111111111011011011011
131 -9 A . . . . . . . . . . . . . . . . 111111111011011011011
132 -10 A . . . . . . . . . . . . . . . . 111111111011011011011
133 -11 A . . . . . . . . . . . . . . . . 111111111011011011011
134 -12 A . . . . . . . . . . . . . . . . 111111111011011011011
135 -13 A . . . . . . . . . . . . . . . . 111111111011011011011
136 -14 A . . . . . . . . . . . . . . . . 111111111011011011011
137 -15 A . . . . . . . . . . . . . . . .0111111111011011011011
138 -16 B . . . . . . . . . . . . . . . 01111111111011011011011
139 -15 C . . . . . . . . . . . . . . . 11111111111011011011011
140 -14 C . . . . . . . . . . . . . . . 11111111111011011011011
141 -13 C . . . . . . . . . . . . . . . 11111111111011011011011
142 -12 C . . . . . . . . . . . . . . . 11111111111011011011011
143 -11 C . . . . . . . . . . . . . . . 11111111111011011011011
144 -10 C . . . . . . . . . . . . . . . 11111111111011011011011
145 -9 C . . . . . . . . . . . . . . . 11111111111011011011011
146 -8 C . . . . . . . . . . . . . . . 11111111111011011011011
147 -7 C . . . . . . . . . . . . . . . 11111111111011011011011
148 -6 C . . . . . . . . . . . . . . . 11111111111011011011011
149 -5 C . . . . . . . . . . . . . . . 11111111111011011011011
150 -4 A . . . . . . . . . . . . . . . 11111111111111011011011
151 -5 A . . . . . . . . . . . . . . . 11111111111111011011011
152 -6 A . . . . . . . . . . . . . . . 11111111111111011011011
153 -7 A . . . . . . . . . . . . . . . 11111111111111011011011
154 -8 A . . . . . . . . . . . . . . . 11111111111111011011011
155 -9 A . . . . . . . . . . . . . . . 11111111111111011011011
156 -10 A . . . . . . . . . . . . . . . 11111111111111011011011
157 -11 A . . . . . . . . . . . . . . . 11111111111111011011011
158 -12 A . . . . . . . . . . . . . . . 11111111111111011011011
159 -13 A . . . . . . . . . . . . . . . 11111111111111011011011
160 -14 A . . . . . . . . . . . . . . . 11111111111111011011011
161 -15 A . . . . . . . . . . . . . . . 11111111111111011011011
162 -16 A . . . . . . . . . . . . . . . 11111111111111011011011
163 -17 A . . . . . . . . . . . . . . .011111111111111011011011
164 -18 B . . . . . . . . . . . . . . 0111111111111111011011011
165 -17 C . . . . . . . . . . . . . . 1111111111111111011011011
166 -16 C . . . . . . . . . . . . . . 1111111111111111011011011
167 -15 C . . . . . . . . . . . . . . 1111111111111111011011011
168 -14 C . . . . . . . . . . . . . . 1111111111111111011011011
169 -13 C . . . . . . . . . . . . . . 1111111111111111011011011
170 -12 C . . . . . . . . . . . . . . 1111111111111111011011011
171 -11 C . . . . . . . . . . . . . . 1111111111111111011011011
172 -10 C . . . . . . . . . . . . . . 1111111111111111011011011
173 -9 C . . . . . . . . . . . . . . 1111111111111111011011011
174 -8 C . . . . . . . . . . . . . . 1111111111111111011011011
175 -7 C . . . . . . . . . . . . . . 1111111111111111011011011
176 -6 C . . . . . . . . . . . . . . 1111111111111111011011011
177 -5 C . . . . . . . . . . . . . . 1111111111111111011011011
178 -4 C . . . . . . . . . . . . . . 1111111111111111011011011
179 -3 C . . . . . . . . . . . . . . 1111111111111111011011011
180 -2 C . . . . . . . . . . . . . . 1111111111111111011011011
181 -1 A . . . . . . . . . . . . . . 1111111111111111111011011
182 -2 A . . . . . . . . . . . . . . 1111111111111111111011011
183 -3 A . . . . . . . . . . . . . . 1111111111111111111011011
184 -4 A . . . . . . . . . . . . . . 1111111111111111111011011
185 -5 A . . . . . . . . . . . . . . 1111111111111111111011011
186 -6 A . . . . . . . . . . . . . . 1111111111111111111011011
187 -7 A . . . . . . . . . . . . . . 1111111111111111111011011
188 -8 A . . . . . . . . . . . . . . 1111111111111111111011011
189 -9 A . . . . . . . . . . . . . . 1111111111111111111011011
190 -10 A . . . . . . . . . . . . . . 1111111111111111111011011
191 -11 A . . . . . . . . . . . . . . 1111111111111111111011011
192 -12 A . . . . . . . . . . . . . . 1111111111111111111011011
193 -13 A . . . . . . . . . . . . . . 1111111111111111111011011
194 -14 A . . . . . . . . . . . . . . 1111111111111111111011011
195 -15 A . . . . . . . . . . . . . . 1111111111111111111011011
196 -16 A . . . . . . . . . . . . . . 1111111111111111111011011
197 -17 A . . . . . . . . . . . . . . 1111111111111111111011011
198 -18 A . . . . . . . . . . . . . . 1111111111111111111011011
199 -19 A . . . . . . . . . . . . . .01111111111111111111011011
200 -20 B . . . . . . . . . . . . . 011111111111111111111011011
After 200 steps (201 lines): state = B.
Produced 24 ones.
Tape index -20, scanned [-19 .. 6].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 82 | 12 | 70 | 0 | 11 |
| B | 19 | 9 | 10 | 1 | 5 |
| C | 79 | 11 | 68 | 3 | 2 |
| D | 10 | 10 | 6 | ||
| E | 10 | 2 | 8 | 33 | 7 |