Comment: This TM produces 15008 nonzeros in 250,096,776 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 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 0RB | 1RH | 2LD | 0 | right | B | 1 | right | H | 2 | left | D |
| B | 2LA | 2RD | 2RC | 2 | left | A | 2 | right | D | 2 | right | C |
| C | 2RB | 2RC | 1LC | 2 | right | B | 2 | right | C | 1 | left | C |
| D | 2LA | 1RB | 2LC | 2 | left | A | 1 | right | B | 2 | 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-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 1 B . . . . . 00
2 0 A . . . . . 02
3 1 B . . . . . 02
4 2 C . . . . . 020
5 3 B . . . . . 0220
6 2 A . . . . . 0222
7 1 D . . . . . 0222
8 0 C . . . . . 0222
9 1 B . . . . . 2222
10 2 C . . . . . 2222
11 1 C . . . . . 2212
12 0 C . . . . . 2112
13 -1 C . . . . .01112
14 0 B . . . . .21112
15 1 D . . . . .22112
16 2 B . . . . .22112
17 3 D . . . . .22122
18 2 C . . . . .22122
19 1 C . . . . .22112
20 2 C . . . . .22212
21 3 C . . . . .22222
22 2 C . . . . .22221
23 1 C . . . . .22211
24 0 C . . . . .22111
25 -1 C . . . . .21111
26 -2 C . . . . 011111
27 -1 B . . . . 211111
28 0 D . . . . 221111
29 1 B . . . . 221111
30 2 D . . . . 221211
31 3 B . . . . 221211
32 4 D . . . . 2212120
33 3 A . . . . 2212122
34 2 D . . . . 2212122
35 3 B . . . . 2212122
36 4 C . . . . 2212122
37 3 C . . . . 2212121
38 2 C . . . . 2212111
39 3 C . . . . 2212211
40 4 C . . . . 2212221
41 5 C . . . . 22122220
42 6 B . . . . 221222220
43 5 A . . . . 221222222
44 4 D . . . . 221222222
45 3 C . . . . 221222222
46 2 C . . . . 221221222
47 1 C . . . . 221211222
48 0 C . . . . 221111222
49 1 C . . . . 222111222
50 2 C . . . . 222211222
51 3 C . . . . 222221222
52 4 C . . . . 222222222
53 3 C . . . . 222222122
54 2 C . . . . 222221122
55 1 C . . . . 222211122
56 0 C . . . . 222111122
57 -1 C . . . . 221111122
58 -2 C . . . . 211111122
59 -3 C . . . .0111111122
60 -2 B . . . .2111111122
61 -1 D . . . .2211111122
62 0 B . . . .2211111122
63 1 D . . . .2212111122
64 2 B . . . .2212111122
65 3 D . . . .2212121122
66 4 B . . . .2212121122
67 5 D . . . .2212121222
68 4 C . . . .2212121222
69 3 C . . . .2212121122
70 4 C . . . .2212122122
71 5 C . . . .2212122222
72 4 C . . . .2212122212
73 3 C . . . .2212122112
74 2 C . . . .2212121112
75 1 C . . . .2212111112
76 2 C . . . .2212211112
77 3 C . . . .2212221112
78 4 C . . . .2212222112
79 5 C . . . .2212222212
80 6 C . . . .2212222222
81 5 C . . . .2212222221
82 4 C . . . .2212222211
83 3 C . . . .2212222111
84 2 C . . . .2212221111
85 1 C . . . .2212211111
86 0 C . . . .2212111111
87 -1 C . . . .2211111111
88 0 C . . . .2221111111
89 1 C . . . .2222111111
90 2 C . . . .2222211111
91 3 C . . . .2222221111
92 4 C . . . .2222222111
93 5 C . . . .2222222211
94 6 C . . . .2222222221
95 7 C . . . .22222222220
96 8 B . . . .222222222220
97 7 A . . . .222222222222
98 6 D . . . .222222222222
99 5 C . . . .222222222222
100 4 C . . . .222222221222
101 3 C . . . .222222211222
102 2 C . . . .222222111222
103 1 C . . . .222221111222
104 0 C . . . .222211111222
105 -1 C . . . .222111111222
106 -2 C . . . .221111111222
107 -3 C . . . .211111111222
108 -4 C . . . 0111111111222
109 -3 B . . . 2111111111222
110 -2 D . . . 2211111111222
111 -1 B . . . 2211111111222
112 0 D . . . 2212111111222
113 1 B . . . 2212111111222
114 2 D . . . 2212121111222
115 3 B . . . 2212121111222
116 4 D . . . 2212121211222
117 5 B . . . 2212121211222
118 6 D . . . 2212121212222
119 5 C . . . 2212121212222
120 4 C . . . 2212121211222
121 5 C . . . 2212121221222
122 6 C . . . 2212121222222
123 5 C . . . 2212121222122
124 4 C . . . 2212121221122
125 3 C . . . 2212121211122
126 2 C . . . 2212121111122
127 3 C . . . 2212122111122
128 4 C . . . 2212122211122
129 5 C . . . 2212122221122
130 6 C . . . 2212122222122
131 7 C . . . 2212122222222
132 6 C . . . 2212122222212
133 5 C . . . 2212122222112
134 4 C . . . 2212122221112
135 3 C . . . 2212122211112
136 2 C . . . 2212122111112
137 1 C . . . 2212121111112
138 0 C . . . 2212111111112
139 1 C . . . 2212211111112
140 2 C . . . 2212221111112
141 3 C . . . 2212222111112
142 4 C . . . 2212222211112
143 5 C . . . 2212222221112
144 6 C . . . 2212222222112
145 7 C . . . 2212222222212
146 8 C . . . 2212222222222
147 7 C . . . 2212222222221
148 6 C . . . 2212222222211
149 5 C . . . 2212222222111
150 4 C . . . 2212222221111
151 3 C . . . 2212222211111
152 2 C . . . 2212222111111
153 1 C . . . 2212221111111
154 0 C . . . 2212211111111
155 -1 C . . . 2212111111111
156 -2 C . . . 2211111111111
157 -1 C . . . 2221111111111
158 0 C . . . 2222111111111
159 1 C . . . 2222211111111
160 2 C . . . 2222221111111
161 3 C . . . 2222222111111
162 4 C . . . 2222222211111
163 5 C . . . 2222222221111
164 6 C . . . 2222222222111
165 7 C . . . 2222222222211
166 8 C . . . 2222222222221
167 9 C . . . 22222222222220
168 10 B . . . 222222222222220
169 9 A . . . 222222222222222
170 8 D . . . 222222222222222
171 7 C . . . 222222222222222
172 6 C . . . 222222222221222
173 5 C . . . 222222222211222
174 4 C . . . 222222222111222
175 3 C . . . 222222221111222
176 2 C . . . 222222211111222
177 1 C . . . 222222111111222
178 0 C . . . 222221111111222
179 -1 C . . . 222211111111222
180 -2 C . . . 222111111111222
181 -3 C . . . 221111111111222
182 -4 C . . . 211111111111222
183 -5 C . . .0111111111111222
184 -4 B . . .2111111111111222
185 -3 D . . .2211111111111222
186 -2 B . . .2211111111111222
187 -1 D . . .2212111111111222
188 0 B . . .2212111111111222
189 1 D . . .2212121111111222
190 2 B . . .2212121111111222
191 3 D . . .2212121211111222
192 4 B . . .2212121211111222
193 5 D . . .2212121212111222
194 6 B . . .2212121212111222
195 7 D . . .2212121212121222
196 8 B . . .2212121212121222
197 9 C . . .2212121212121222
198 8 C . . .2212121212121212
199 7 C . . .2212121212121112
200 8 C . . .2212121212122112
After 200 steps (201 lines): state = C.
Produced 16 nonzeros.
Tape index 8, scanned [-5 .. 10].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 7 | 2 | 5 | 0 | 6 | ||
| B | 29 | 5 | 20 | 4 | 1 | 14 | 3 |
| C | 139 | 10 | 51 | 78 | 4 | 19 | 10 |
| D | 25 | 1 | 17 | 7 | 32 | 15 | 7 |