Comment: This TM produces 668,420 nonzeros in 469,121,946,086 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 | B1R | B2R | A3L | A2R | A3R | 1 | right | B | 2 | right | B | 3 | left | A | 2 | right | A | 3 | right | A |
| B | B2L | A2L | A3L | B4R | Z1R | 2 | left | B | 2 | left | A | 3 | left | A | 4 | right | B | 1 | right | Z |
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 . . 10
2 0 B . . 12
3 -1 A . .022
4 0 B . .122
5 -1 A . .132
6 0 B . .232
7 1 B . .242
8 0 A . .243
9 1 A . .233
10 2 A . .2320
11 3 B . .23210
12 2 B . .23212
13 1 A . .23222
14 0 A . .23322
15 1 A . .22322
16 2 A . .22222
17 1 A . .22232
18 0 A . .22332
19 -1 A . .23332
20 -2 A . 033332
21 -1 B . 133332
22 0 B . 143332
23 1 B . 144332
24 2 B . 144432
25 3 B . 144442
26 2 A . 144443
27 3 A . 144433
28 4 A . 1444320
29 5 B . 14443210
30 4 B . 14443212
31 3 A . 14443222
32 2 A . 14443322
33 3 A . 14442322
34 4 A . 14442222
35 3 A . 14442232
36 2 A . 14442332
37 1 A . 14443332
38 2 A . 14433332
39 3 A . 14432332
40 4 A . 14432232
41 5 A . 14432222
42 4 A . 14432223
43 3 A . 14432233
44 2 A . 14432333
45 1 A . 14433333
46 2 A . 14423333
47 3 A . 14422333
48 4 A . 14422233
49 5 A . 14422223
50 6 A . 144222220
51 7 B . 1442222210
52 6 B . 1442222212
53 5 A . 1442222222
54 4 A . 1442222322
55 3 A . 1442223322
56 2 A . 1442233322
57 1 A . 1442333322
58 0 A . 1443333322
59 1 A . 1433333322
60 2 A . 1432333322
61 3 A . 1432233322
62 4 A . 1432223322
63 5 A . 1432222322
64 6 A . 1432222222
65 5 A . 1432222232
66 4 A . 1432222332
67 3 A . 1432223332
68 2 A . 1432233332
69 1 A . 1432333332
70 0 A . 1433333332
71 1 A . 1423333332
72 2 A . 1422333332
73 3 A . 1422233332
74 4 A . 1422223332
75 5 A . 1422222332
76 6 A . 1422222232
77 7 A . 1422222222
78 6 A . 1422222223
79 5 A . 1422222233
80 4 A . 1422222333
81 3 A . 1422223333
82 2 A . 1422233333
83 1 A . 1422333333
84 0 A . 1423333333
85 -1 A . 1433333333
86 0 A . 1333333333
87 1 A . 1323333333
88 2 A . 1322333333
89 3 A . 1322233333
90 4 A . 1322223333
91 5 A . 1322222333
92 6 A . 1322222233
93 7 A . 1322222223
94 8 A . 13222222220
95 9 B . 132222222210
96 8 B . 132222222212
97 7 A . 132222222222
98 6 A . 132222222322
99 5 A . 132222223322
100 4 A . 132222233322
101 3 A . 132222333322
102 2 A . 132223333322
103 1 A . 132233333322
104 0 A . 132333333322
105 -1 A . 133333333322
106 0 A . 123333333322
107 1 A . 122333333322
108 2 A . 122233333322
109 3 A . 122223333322
110 4 A . 122222333322
111 5 A . 122222233322
112 6 A . 122222223322
113 7 A . 122222222322
114 8 A . 122222222222
115 7 A . 122222222232
116 6 A . 122222222332
117 5 A . 122222223332
118 4 A . 122222233332
119 3 A . 122222333332
120 2 A . 122223333332
121 1 A . 122233333332
122 0 A . 122333333332
123 -1 A . 123333333332
124 -2 A . 133333333332
125 -1 B . 233333333332
126 0 B . 243333333332
127 1 B . 244333333332
128 2 B . 244433333332
129 3 B . 244443333332
130 4 B . 244444333332
131 5 B . 244444433332
132 6 B . 244444443332
133 7 B . 244444444332
134 8 B . 244444444432
135 9 B . 244444444442
136 8 A . 244444444443
137 9 A . 244444444433
138 10 A . 2444444444320
139 11 B . 24444444443210
140 10 B . 24444444443212
141 9 A . 24444444443222
142 8 A . 24444444443322
143 9 A . 24444444442322
144 10 A . 24444444442222
145 9 A . 24444444442232
146 8 A . 24444444442332
147 7 A . 24444444443332
148 8 A . 24444444433332
149 9 A . 24444444432332
150 10 A . 24444444432232
151 11 A . 24444444432222
152 10 A . 24444444432223
153 9 A . 24444444432233
154 8 A . 24444444432333
155 7 A . 24444444433333
156 8 A . 24444444423333
157 9 A . 24444444422333
158 10 A . 24444444422233
159 11 A . 24444444422223
160 12 A . 244444444222220
161 13 B . 2444444442222210
162 12 B . 2444444442222212
163 11 A . 2444444442222222
164 10 A . 2444444442222322
165 9 A . 2444444442223322
166 8 A . 2444444442233322
167 7 A . 2444444442333322
168 6 A . 2444444443333322
169 7 A . 2444444433333322
170 8 A . 2444444432333322
171 9 A . 2444444432233322
172 10 A . 2444444432223322
173 11 A . 2444444432222322
174 12 A . 2444444432222222
175 11 A . 2444444432222232
176 10 A . 2444444432222332
177 9 A . 2444444432223332
178 8 A . 2444444432233332
179 7 A . 2444444432333332
180 6 A . 2444444433333332
181 7 A . 2444444423333332
182 8 A . 2444444422333332
183 9 A . 2444444422233332
184 10 A . 2444444422223332
185 11 A . 2444444422222332
186 12 A . 2444444422222232
187 13 A . 2444444422222222
188 12 A . 2444444422222223
189 11 A . 2444444422222233
190 10 A . 2444444422222333
191 9 A . 2444444422223333
192 8 A . 2444444422233333
193 7 A . 2444444422333333
194 6 A . 2444444423333333
195 5 A . 2444444433333333
196 6 A . 2444444333333333
197 7 A . 2444444323333333
198 8 A . 2444444322333333
199 9 A . 2444444322233333
200 10 A . 2444444322223333
After 200 steps (201 lines): state = A.
Produced 16 nonzeros.
Tape index 10, scanned [-2 .. 13].
| 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 | 167 | 9 | 2 | 77 | 70 | 9 | 0 | 5 | 13 | 9 | 8 |
| B | 33 | 7 | 7 | 4 | 15 | 1 | 2 | 4 | 6 | ||