Comment: This TM produces 4099 nonzeros in 15754273 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | 4LB | 1RH | 2RA | 0LB | 3LB | 4 | left | B | 1 | right | H | 2 | right | A | 0 | left | B | 3 | left | B |
| B | 2RA | 3LB | 3RB | 2LB | 1LB | 2 | right | A | 3 | left | B | 3 | right | B | 2 | left | B | 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 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 -1 B . . . . .04
2 0 A . . . . .24
3 -1 B . . . . .23
4 0 B . . . . .33
5 -1 B . . . . .32
6 -2 B . . . . 022
7 -1 A . . . . 222
8 0 A . . . . 222
9 1 A . . . . 2220
10 0 B . . . . 2224
11 1 B . . . . 2234
12 0 B . . . . 2231
13 -1 B . . . . 2221
14 0 B . . . . 2321
15 1 B . . . . 2331
16 0 B . . . . 2333
17 -1 B . . . . 2323
18 -2 B . . . . 2223
19 -1 B . . . . 3223
20 0 B . . . . 3323
21 1 B . . . . 3333
22 0 B . . . . 3332
23 -1 B . . . . 3322
24 -2 B . . . . 3222
25 -3 B . . . .02222
26 -2 A . . . .22222
27 -1 A . . . .22222
28 0 A . . . .22222
29 1 A . . . .22222
30 2 A . . . .222220
31 1 B . . . .222224
32 2 B . . . .222234
33 1 B . . . .222231
34 0 B . . . .222221
35 1 B . . . .222321
36 2 B . . . .222331
37 1 B . . . .222333
38 0 B . . . .222323
39 -1 B . . . .222223
40 0 B . . . .223223
41 1 B . . . .223323
42 2 B . . . .223333
43 1 B . . . .223332
44 0 B . . . .223322
45 -1 B . . . .223222
46 -2 B . . . .222222
47 -1 B . . . .232222
48 0 B . . . .233222
49 1 B . . . .233322
50 2 B . . . .233332
51 3 B . . . .2333330
52 4 A . . . .23333320
53 3 B . . . .23333324
54 4 B . . . .23333334
55 3 B . . . .23333331
56 2 B . . . .23333321
57 1 B . . . .23333221
58 0 B . . . .23332221
59 -1 B . . . .23322221
60 -2 B . . . .23222221
61 -3 B . . . .22222221
62 -2 B . . . .32222221
63 -1 B . . . .33222221
64 0 B . . . .33322221
65 1 B . . . .33332221
66 2 B . . . .33333221
67 3 B . . . .33333321
68 4 B . . . .33333331
69 3 B . . . .33333333
70 2 B . . . .33333323
71 1 B . . . .33333223
72 0 B . . . .33332223
73 -1 B . . . .33322223
74 -2 B . . . .33222223
75 -3 B . . . .32222223
76 -4 B . . . 022222223
77 -3 A . . . 222222223
78 -2 A . . . 222222223
79 -1 A . . . 222222223
80 0 A . . . 222222223
81 1 A . . . 222222223
82 2 A . . . 222222223
83 3 A . . . 222222223
84 4 A . . . 222222223
85 3 B . . . 222222220
86 4 B . . . 222222230
87 5 A . . . 2222222320
88 4 B . . . 2222222324
89 5 B . . . 2222222334
90 4 B . . . 2222222331
91 3 B . . . 2222222321
92 2 B . . . 2222222221
93 3 B . . . 2222223221
94 4 B . . . 2222223321
95 5 B . . . 2222223331
96 4 B . . . 2222223333
97 3 B . . . 2222223323
98 2 B . . . 2222223223
99 1 B . . . 2222222223
100 2 B . . . 2222232223
101 3 B . . . 2222233223
102 4 B . . . 2222233323
103 5 B . . . 2222233333
104 4 B . . . 2222233332
105 3 B . . . 2222233322
106 2 B . . . 2222233222
107 1 B . . . 2222232222
108 0 B . . . 2222222222
109 1 B . . . 2222322222
110 2 B . . . 2222332222
111 3 B . . . 2222333222
112 4 B . . . 2222333322
113 5 B . . . 2222333332
114 6 B . . . 22223333330
115 7 A . . . 222233333320
116 6 B . . . 222233333324
117 7 B . . . 222233333334
118 6 B . . . 222233333331
119 5 B . . . 222233333321
120 4 B . . . 222233333221
121 3 B . . . 222233332221
122 2 B . . . 222233322221
123 1 B . . . 222233222221
124 0 B . . . 222232222221
125 -1 B . . . 222222222221
126 0 B . . . 222322222221
127 1 B . . . 222332222221
128 2 B . . . 222333222221
129 3 B . . . 222333322221
130 4 B . . . 222333332221
131 5 B . . . 222333333221
132 6 B . . . 222333333321
133 7 B . . . 222333333331
134 6 B . . . 222333333333
135 5 B . . . 222333333323
136 4 B . . . 222333333223
137 3 B . . . 222333332223
138 2 B . . . 222333322223
139 1 B . . . 222333222223
140 0 B . . . 222332222223
141 -1 B . . . 222322222223
142 -2 B . . . 222222222223
143 -1 B . . . 223222222223
144 0 B . . . 223322222223
145 1 B . . . 223332222223
146 2 B . . . 223333222223
147 3 B . . . 223333322223
148 4 B . . . 223333332223
149 5 B . . . 223333333223
150 6 B . . . 223333333323
151 7 B . . . 223333333333
152 6 B . . . 223333333332
153 5 B . . . 223333333322
154 4 B . . . 223333333222
155 3 B . . . 223333332222
156 2 B . . . 223333322222
157 1 B . . . 223333222222
158 0 B . . . 223332222222
159 -1 B . . . 223322222222
160 -2 B . . . 223222222222
161 -3 B . . . 222222222222
162 -2 B . . . 232222222222
163 -1 B . . . 233222222222
164 0 B . . . 233322222222
165 1 B . . . 233332222222
166 2 B . . . 233333222222
167 3 B . . . 233333322222
168 4 B . . . 233333332222
169 5 B . . . 233333333222
170 6 B . . . 233333333322
171 7 B . . . 233333333332
172 8 B . . . 2333333333330
173 9 A . . . 23333333333320
174 8 B . . . 23333333333324
175 9 B . . . 23333333333334
176 8 B . . . 23333333333331
177 7 B . . . 23333333333321
178 6 B . . . 23333333333221
179 5 B . . . 23333333332221
180 4 B . . . 23333333322221
181 3 B . . . 23333333222221
182 2 B . . . 23333332222221
183 1 B . . . 23333322222221
184 0 B . . . 23333222222221
185 -1 B . . . 23332222222221
186 -2 B . . . 23322222222221
187 -3 B . . . 23222222222221
188 -4 B . . . 22222222222221
189 -3 B . . . 32222222222221
190 -2 B . . . 33222222222221
191 -1 B . . . 33322222222221
192 0 B . . . 33332222222221
193 1 B . . . 33333222222221
194 2 B . . . 33333322222221
195 3 B . . . 33333332222221
196 4 B . . . 33333333222221
197 5 B . . . 33333333322221
198 6 B . . . 33333333332221
199 7 B . . . 33333333333221
200 8 B . . . 33333333333321
After 200 steps (201 lines): state = B.
Produced 14 nonzeros.
Tape index 8, scanned [-4 .. 9].
| State | Count | Execution count | First in step | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 4 | on 0 | on 1 | on 2 | on 3 | on 4 | ||
| A | 22 | 7 | 13 | 1 | 1 | 0 | 7 | 84 | 2 | ||
| B | 178 | 8 | 5 | 83 | 76 | 6 | 1 | 15 | 3 | 4 | 11 |