Comment: This has the same score as the (2,4) #a from Ligocki Comment: This TM produces 2050 nonzeros in 3932964 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 | B1R | C1L | H2R | 1 | right | B | 1 | left | C | 2 | right | H |
| B | A1L | C1L | B2R | 1 | left | A | 1 | left | C | 2 | right | B |
| C | B1R | C2L | C1R | 1 | right | B | 2 | left | C | 1 | right | 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 . . . . . 10
2 0 A . . . . . 11
3 -1 C . . . . .011
4 0 B . . . . .111
5 -1 C . . . . .111
6 -2 C . . . . 0211
7 -1 B . . . . 1211
8 0 B . . . . 1211
9 -1 C . . . . 1211
10 0 C . . . . 1111
11 -1 C . . . . 1121
12 -2 C . . . . 1221
13 -3 C . . . .02221
14 -2 B . . . .12221
15 -1 B . . . .12221
16 0 B . . . .12221
17 1 B . . . .12221
18 0 C . . . .12221
19 1 C . . . .12211
20 0 C . . . .12212
21 -1 C . . . .12222
22 0 C . . . .12122
23 1 C . . . .12112
24 2 C . . . .121110
25 3 B . . . .1211110
26 2 A . . . .1211111
27 1 C . . . .1211111
28 0 C . . . .1211211
29 -1 C . . . .1212211
30 -2 C . . . .1222211
31 -1 C . . . .1122211
32 0 C . . . .1112211
33 1 C . . . .1111211
34 2 C . . . .1111111
35 1 C . . . .1111121
36 0 C . . . .1111221
37 -1 C . . . .1112221
38 -2 C . . . .1122221
39 -3 C . . . .1222221
40 -4 C . . . 02222221
41 -3 B . . . 12222221
42 -2 B . . . 12222221
43 -1 B . . . 12222221
44 0 B . . . 12222221
45 1 B . . . 12222221
46 2 B . . . 12222221
47 3 B . . . 12222221
48 2 C . . . 12222221
49 3 C . . . 12222211
50 2 C . . . 12222212
51 1 C . . . 12222222
52 2 C . . . 12222122
53 3 C . . . 12222112
54 4 C . . . 122221110
55 5 B . . . 1222211110
56 4 A . . . 1222211111
57 3 C . . . 1222211111
58 2 C . . . 1222211211
59 1 C . . . 1222212211
60 0 C . . . 1222222211
61 1 C . . . 1222122211
62 2 C . . . 1222112211
63 3 C . . . 1222111211
64 4 C . . . 1222111111
65 3 C . . . 1222111121
66 2 C . . . 1222111221
67 1 C . . . 1222112221
68 0 C . . . 1222122221
69 -1 C . . . 1222222221
70 0 C . . . 1221222221
71 1 C . . . 1221122221
72 2 C . . . 1221112221
73 3 C . . . 1221111221
74 4 C . . . 1221111121
75 5 C . . . 1221111111
76 4 C . . . 1221111112
77 3 C . . . 1221111122
78 2 C . . . 1221111222
79 1 C . . . 1221112222
80 0 C . . . 1221122222
81 -1 C . . . 1221222222
82 -2 C . . . 1222222222
83 -1 C . . . 1212222222
84 0 C . . . 1211222222
85 1 C . . . 1211122222
86 2 C . . . 1211112222
87 3 C . . . 1211111222
88 4 C . . . 1211111122
89 5 C . . . 1211111112
90 6 C . . . 12111111110
91 7 B . . . 121111111110
92 6 A . . . 121111111111
93 5 C . . . 121111111111
94 4 C . . . 121111111211
95 3 C . . . 121111112211
96 2 C . . . 121111122211
97 1 C . . . 121111222211
98 0 C . . . 121112222211
99 -1 C . . . 121122222211
100 -2 C . . . 121222222211
101 -3 C . . . 122222222211
102 -2 C . . . 112222222211
103 -1 C . . . 111222222211
104 0 C . . . 111122222211
105 1 C . . . 111112222211
106 2 C . . . 111111222211
107 3 C . . . 111111122211
108 4 C . . . 111111112211
109 5 C . . . 111111111211
110 6 C . . . 111111111111
111 5 C . . . 111111111121
112 4 C . . . 111111111221
113 3 C . . . 111111112221
114 2 C . . . 111111122221
115 1 C . . . 111111222221
116 0 C . . . 111112222221
117 -1 C . . . 111122222221
118 -2 C . . . 111222222221
119 -3 C . . . 112222222221
120 -4 C . . . 122222222221
121 -5 C . . .0222222222221
122 -4 B . . .1222222222221
123 -3 B . . .1222222222221
124 -2 B . . .1222222222221
125 -1 B . . .1222222222221
126 0 B . . .1222222222221
127 1 B . . .1222222222221
128 2 B . . .1222222222221
129 3 B . . .1222222222221
130 4 B . . .1222222222221
131 5 B . . .1222222222221
132 6 B . . .1222222222221
133 7 B . . .1222222222221
134 6 C . . .1222222222221
135 7 C . . .1222222222211
136 6 C . . .1222222222212
137 5 C . . .1222222222222
138 6 C . . .1222222222122
139 7 C . . .1222222222112
140 8 C . . .12222222221110
141 9 B . . .122222222211110
142 8 A . . .122222222211111
143 7 C . . .122222222211111
144 6 C . . .122222222211211
145 5 C . . .122222222212211
146 4 C . . .122222222222211
147 5 C . . .122222222122211
148 6 C . . .122222222112211
149 7 C . . .122222222111211
150 8 C . . .122222222111111
151 7 C . . .122222222111121
152 6 C . . .122222222111221
153 5 C . . .122222222112221
154 4 C . . .122222222122221
155 3 C . . .122222222222221
156 4 C . . .122222221222221
157 5 C . . .122222221122221
158 6 C . . .122222221112221
159 7 C . . .122222221111221
160 8 C . . .122222221111121
161 9 C . . .122222221111111
162 8 C . . .122222221111112
163 7 C . . .122222221111122
164 6 C . . .122222221111222
165 5 C . . .122222221112222
166 4 C . . .122222221122222
167 3 C . . .122222221222222
168 2 C . . .122222222222222
169 3 C . . .122222212222222
170 4 C . . .122222211222222
171 5 C . . .122222211122222
172 6 C . . .122222211112222
173 7 C . . .122222211111222
174 8 C . . .122222211111122
175 9 C . . .122222211111112
176 10 C . . .1222222111111110
177 11 B . . .12222221111111110
178 10 A . . .12222221111111111
179 9 C . . .12222221111111111
180 8 C . . .12222221111111211
181 7 C . . .12222221111112211
182 6 C . . .12222221111122211
183 5 C . . .12222221111222211
184 4 C . . .12222221112222211
185 3 C . . .12222221122222211
186 2 C . . .12222221222222211
187 1 C . . .12222222222222211
188 2 C . . .12222212222222211
189 3 C . . .12222211222222211
190 4 C . . .12222211122222211
191 5 C . . .12222211112222211
192 6 C . . .12222211111222211
193 7 C . . .12222211111122211
194 8 C . . .12222211111112211
195 9 C . . .12222211111111211
196 10 C . . .12222211111111111
197 9 C . . .12222211111111121
198 8 C . . .12222211111111221
199 7 C . . .12222211111112221
200 6 C . . .12222211111122221
After 200 steps (201 lines): state = C.
Produced 17 nonzeros.
Tape index 6, scanned [-5 .. 11].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 7 | 1 | 6 | 0 | 2 | ||
| B | 32 | 6 | 5 | 21 | 1 | 4 | 7 |
| C | 161 | 10 | 80 | 71 | 3 | 5 | 9 |