Comment: This TM produces >6.4*10^462 ones in >6.1*10^925 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 | B1R | B0L | 1 | right | B | 0 | left | B |
B | C0R | B1L | 0 | right | C | 1 | left | B |
C | D1R | A0L | 1 | right | D | 0 | left | A |
D | E1L | F1L | 1 | left | E | 1 | left | F |
E | A1L | D0L | 1 | left | A | 0 | left | D |
F | Z1R | E1L | 1 | right | Z | 1 | left | E |
The same TM just simple. The same TM with repetitions reduced. Simulation is done with tape symbol exponents. The same TM as 3-bck-macro machine. The same TM as 3-bck-macro machine with pure additive config-TRs. Step Tpos Tape contents 0 0 <A 1 1 1 B> 2 2 1 0 C> 3 3 1 0 1 D> 4 2 1 0 1 <E 1 5 1 1 0 <D 0 1 6 0 1 <E 1 0 1 7 -1 <D 0 1 0 1 8 -2 <E 1 0 1 0 1 9 -3 <A 1 1 0 1 0 1 10 -2 1 B> 1 1 0 1 0 1 11 -3 1 <B 1 1 0 1 0 1 12 -4 <B 13 0 1 0 1 13 -3 C> 13 0 1 0 1 14 -4 <A 0 1 1 0 1 0 1 15 -3 1 B> 0 1 1 0 1 0 1 16 -2 1 0 C> 1 1 0 1 0 1 17 -3 1 0 <A 0 1 0 1 0 1 18 -2 1 1 B> 0 1 0 1 0 1 19 -1 1 1 0 C> 1 0 1 0 1 20 -2 1 1 0 <A 0 0 1 0 1 21 -1 13 B> 0 0 1 0 1 22 0 13 0 C> 0 1 0 1 23 1 13 0 1 D> 1 0 1 24 0 13 0 1 <F 1 0 1 25 -1 13 0 <E 1 1 0 1 26 -2 13 <A 13 0 1 27 -3 1 1 <B 0 13 0 1 + 29 -5 <B 1 1 0 13 0 1 30 -4 C> 1 1 0 13 0 1 31 -5 <A 0 1 0 13 0 1 32 -4 1 B> 0 1 0 13 0 1 33 -3 1 0 C> 1 0 13 0 1 34 -4 1 0 <A 0 0 13 0 1 35 -3 1 1 B> 0 0 13 0 1 36 -2 1 1 0 C> 0 13 0 1 37 -1 1 1 0 1 D> 13 0 1 38 -2 1 1 0 1 <F 13 0 1 39 -3 1 1 0 <E 14 0 1 40 -4 1 1 <A 15 0 1 41 -5 1 <B 0 15 0 1 42 -6 <B 1 0 15 0 1 43 -5 C> 1 0 15 0 1 44 -6 <A 0 0 15 0 1 45 -5 1 B> 0 0 15 0 1 46 -4 1 0 C> 0 15 0 1 47 -3 1 0 1 D> 15 0 1 48 -4 1 0 1 <F 15 0 1 49 -5 1 0 <E 16 0 1 50 -6 1 <A 17 0 1 51 -7 <B 0 17 0 1 52 -6 C> 0 17 0 1 53 -5 1 D> 17 0 1 54 -6 1 <F 17 0 1 55 -7 <E 18 0 1 56 -8 <A 19 0 1 57 -7 1 B> 19 0 1 58 -8 1 <B 19 0 1 59 -9 <B 110 0 1 60 -8 C> 110 0 1 61 -9 <A 0 19 0 1 62 -8 1 B> 0 19 0 1 63 -7 1 0 C> 19 0 1 64 -8 1 0 <A 0 18 0 1 65 -7 1 1 B> 0 18 0 1 66 -6 1 1 0 C> 18 0 1 67 -7 1 1 0 <A 0 17 0 1 68 -6 13 B> 0 17 0 1 69 -5 13 0 C> 17 0 1 70 -6 13 0 <A 0 16 0 1 71 -5 14 B> 0 16 0 1 72 -4 14 0 C> 16 0 1 73 -5 14 0 <A 0 15 0 1 74 -4 15 B> 0 15 0 1 75 -3 15 0 C> 15 0 1 76 -4 15 0 <A 0 14 0 1 77 -3 16 B> 0 14 0 1 78 -2 16 0 C> 14 0 1 79 -3 16 0 <A 0 13 0 1 80 -2 17 B> 0 13 0 1 81 -1 17 0 C> 13 0 1 82 -2 17 0 <A 0 1 1 0 1 83 -1 18 B> 0 1 1 0 1 84 0 18 0 C> 1 1 0 1 85 -1 18 0 <A 0 1 0 1 86 0 19 B> 0 1 0 1 87 1 19 0 C> 1 0 1 88 0 19 0 <A 0 0 1 89 1 110 B> 0 0 1 90 2 110 0 C> 0 1 91 3 110 0 1 D> 1 92 2 110 0 1 <F 1 93 1 110 0 <E 1 1 94 0 110 <A 13 95 -1 19 <B 0 13 + 104 -10 <B 19 0 13 105 -9 C> 19 0 13 106 -10 <A 0 18 0 13 107 -9 1 B> 0 18 0 13 108 -8 1 0 C> 18 0 13 109 -9 1 0 <A 0 17 0 13 110 -8 1 1 B> 0 17 0 13 111 -7 1 1 0 C> 17 0 13 112 -8 1 1 0 <A 0 16 0 13 113 -7 13 B> 0 16 0 13 114 -6 13 0 C> 16 0 13 115 -7 13 0 <A 0 15 0 13 116 -6 14 B> 0 15 0 13 117 -5 14 0 C> 15 0 13 118 -6 14 0 <A 0 14 0 13 119 -5 15 B> 0 14 0 13 120 -4 15 0 C> 14 0 13 121 -5 15 0 <A 0 13 0 13 122 -4 16 B> 0 13 0 13 123 -3 16 0 C> 13 0 13 124 -4 16 0 <A 0 1 1 0 13 125 -3 17 B> 0 1 1 0 13 126 -2 17 0 C> 1 1 0 13 127 -3 17 0 <A 0 1 0 13 128 -2 18 B> 0 1 0 13 129 -1 18 0 C> 1 0 13 130 -2 18 0 <A 0 0 13 131 -1 19 B> 0 0 13 132 0 19 0 C> 0 13 133 1 19 0 1 D> 13 134 0 19 0 1 <F 13 135 -1 19 0 <E 14 136 -2 19 <A 15 137 -3 18 <B 0 15 + 145 -11 <B 18 0 15 146 -10 C> 18 0 15 147 -11 <A 0 17 0 15 148 -10 1 B> 0 17 0 15 149 -9 1 0 C> 17 0 15 150 -10 1 0 <A 0 16 0 15 151 -9 1 1 B> 0 16 0 15 152 -8 1 1 0 C> 16 0 15 153 -9 1 1 0 <A 0 15 0 15 154 -8 13 B> 0 15 0 15 155 -7 13 0 C> 15 0 15 156 -8 13 0 <A 0 14 0 15 157 -7 14 B> 0 14 0 15 158 -6 14 0 C> 14 0 15 159 -7 14 0 <A 0 13 0 15 160 -6 15 B> 0 13 0 15 161 -5 15 0 C> 13 0 15 162 -6 15 0 <A 0 1 1 0 15 163 -5 16 B> 0 1 1 0 15 164 -4 16 0 C> 1 1 0 15 165 -5 16 0 <A 0 1 0 15 166 -4 17 B> 0 1 0 15 167 -3 17 0 C> 1 0 15 168 -4 17 0 <A 0 0 15 169 -3 18 B> 0 0 15 170 -2 18 0 C> 0 15 171 -1 18 0 1 D> 15 172 -2 18 0 1 <F 15 173 -3 18 0 <E 16 174 -4 18 <A 17 175 -5 17 <B 0 17 + 182 -12 <B 17 0 17 183 -11 C> 17 0 17 184 -12 <A 0 16 0 17 185 -11 1 B> 0 16 0 17 186 -10 1 0 C> 16 0 17 187 -11 1 0 <A 0 15 0 17 188 -10 1 1 B> 0 15 0 17 189 -9 1 1 0 C> 15 0 17 190 -10 1 1 0 <A 0 14 0 17 191 -9 13 B> 0 14 0 17 192 -8 13 0 C> 14 0 17 193 -9 13 0 <A 0 13 0 17 194 -8 14 B> 0 13 0 17 195 -7 14 0 C> 13 0 17 196 -8 14 0 <A 0 1 1 0 17 197 -7 15 B> 0 1 1 0 17 198 -6 15 0 C> 1 1 0 17 199 -7 15 0 <A 0 1 0 17 200 -6 16 B> 0 1 0 17 201 -5 16 0 C> 1 0 17 202 -6 16 0 <A 0 0 17 203 -5 17 B> 0 0 17 204 -4 17 0 C> 0 17 205 -3 17 0 1 D> 17 206 -4 17 0 1 <F 17 207 -5 17 0 <E 18 208 -6 17 <A 19 209 -7 16 <B 0 19 + 215 -13 <B 16 0 19 216 -12 C> 16 0 19 217 -13 <A 0 15 0 19 218 -12 1 B> 0 15 0 19 219 -11 1 0 C> 15 0 19 220 -12 1 0 <A 0 14 0 19 221 -11 1 1 B> 0 14 0 19 222 -10 1 1 0 C> 14 0 19 223 -11 1 1 0 <A 0 13 0 19 224 -10 13 B> 0 13 0 19 225 -9 13 0 C> 13 0 19 226 -10 13 0 <A 0 1 1 0 19 227 -9 14 B> 0 1 1 0 19 228 -8 14 0 C> 1 1 0 19 229 -9 14 0 <A 0 1 0 19 230 -8 15 B> 0 1 0 19 231 -7 15 0 C> 1 0 19 232 -8 15 0 <A 0 0 19 233 -7 16 B> 0 0 19 234 -6 16 0 C> 0 19 235 -5 16 0 1 D> 19 236 -6 16 0 1 <F 19 237 -7 16 0 <E 110 238 -8 16 <A 111 239 -9 15 <B 0 111 + 244 -14 <B 15 0 111 245 -13 C> 15 0 111 246 -14 <A 0 14 0 111 247 -13 1 B> 0 14 0 111 248 -12 1 0 C> 14 0 111 249 -13 1 0 <A 0 13 0 111 250 -12 1 1 B> 0 13 0 111 251 -11 1 1 0 C> 13 0 111 252 -12 1 1 0 <A 0 1 1 0 111 253 -11 13 B> 0 1 1 0 111 254 -10 13 0 C> 1 1 0 111 255 -11 13 0 <A 0 1 0 111 256 -10 14 B> 0 1 0 111 257 -9 14 0 C> 1 0 111 258 -10 14 0 <A 0 0 111 259 -9 15 B> 0 0 111 260 -8 15 0 C> 0 111 261 -7 15 0 1 D> 111 262 -8 15 0 1 <F 111 263 -9 15 0 <E 112 264 -10 15 <A 113 265 -11 14 <B 0 113 + 269 -15 <B 14 0 113 270 -14 C> 14 0 113 271 -15 <A 0 13 0 113 272 -14 1 B> 0 13 0 113 273 -13 1 0 C> 13 0 113 274 -14 1 0 <A 0 1 1 0 113 275 -13 1 1 B> 0 1 1 0 113 276 -12 1 1 0 C> 1 1 0 113 277 -13 1 1 0 <A 0 1 0 113 278 -12 13 B> 0 1 0 113 279 -11 13 0 C> 1 0 113 280 -12 13 0 <A 0 0 113 281 -11 14 B> 0 0 113 282 -10 14 0 C> 0 113 283 -9 14 0 1 D> 113 284 -10 14 0 1 <F 113 285 -11 14 0 <E 114 286 -12 14 <A 115 287 -13 13 <B 0 115 + 290 -16 <B 13 0 115 291 -15 C> 13 0 115 292 -16 <A 0 1 1 0 115 293 -15 1 B> 0 1 1 0 115 294 -14 1 0 C> 1 1 0 115 295 -15 1 0 <A 0 1 0 115 296 -14 1 1 B> 0 1 0 115 297 -13 1 1 0 C> 1 0 115 298 -14 1 1 0 <A 0 0 115 299 -13 13 B> 0 0 115 300 -12 13 0 C> 0 115 301 -11 13 0 1 D> 115 302 -12 13 0 1 <F 115 303 -13 13 0 <E 116 304 -14 13 <A 117 305 -15 1 1 <B 0 117 + 307 -17 <B 1 1 0 117 308 -16 C> 1 1 0 117 309 -17 <A 0 1 0 117 310 -16 1 B> 0 1 0 117 311 -15 1 0 C> 1 0 117 312 -16 1 0 <A 0 0 117 313 -15 1 1 B> 0 0 117 314 -14 1 1 0 C> 0 117 315 -13 1 1 0 1 D> 117 316 -14 1 1 0 1 <F 117 317 -15 1 1 0 <E 118 318 -16 1 1 <A 119 319 -17 1 <B 0 119 320 -18 <B 1 0 119 321 -17 C> 1 0 119 322 -18 <A 0 0 119 323 -17 1 B> 0 0 119 324 -16 1 0 C> 0 119 325 -15 1 0 1 D> 119 326 -16 1 0 1 <F 119 327 -17 1 0 <E 120 328 -18 1 <A 121 329 -19 <B 0 121 330 -18 C> 0 121 331 -17 1 D> 121 332 -18 1 <F 121 333 -19 <E 122 334 -20 <A 123 335 -19 1 B> 123 336 -20 1 <B 123 337 -21 <B 124 After 337 steps (301 lines): state = B. Produced 24 ones. Tape index -21, scanned [-20 .. 3].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 78 | 65 | 13 | 0 | 26 |
B | 131 | 77 | 54 | 1 | 10 |
C | 77 | 16 | 61 | 2 | 13 |
D | 18 | 3 | 15 | 3 | 23 |
E | 18 | 16 | 2 | 8 | 4 |
F | 15 | 15 | 24 |