Comment: Found by jubu 1991-10-24, published first 2005-11-12 (on web) 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 | E1L | 1 | right | B | 1 | left | E |
B | C1L | B0R | 1 | left | C | 0 | right | B |
C | A0L | D0L | 0 | left | A | 0 | left | D |
D | A1R | C1L | 1 | right | A | 1 | left | C |
E | Z== | B1L | Z | stay | = | 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 7-bck-22-macro machine. The same TM as 7-bck-22-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . . 0 1 1 B . . . . . . 10 2 0 C . . . . . . 11 3 -1 D . . . . . .001 4 0 A . . . . . .101 5 1 B . . . . . .111 6 2 B . . . . . .1100 7 1 C . . . . . .1101 8 0 A . . . . . .1101 9 -1 E . . . . . .1101 10 -2 B . . . . . 01101 11 -3 C . . . . .011101 12 -4 A . . . . 0011101 13 -3 B . . . . 1011101 14 -4 C . . . . 1111101 15 -5 D . . . .00111101 16 -4 A . . . .10111101 17 -3 B . . . .11111101 18 -2 B . . . .11011101 19 -1 B . . . .11001101 20 0 B . . . .11000101 21 1 B . . . .11000001 22 0 C . . . .11000011 23 -1 A . . . .11000011 24 0 B . . . .11001011 25 -1 C . . . .11001111 26 -2 D . . . .11000111 27 -1 A . . . .11010111 28 0 B . . . .11011111 29 1 B . . . .11011011 30 2 B . . . .11011001 31 3 B . . . .110110000 32 2 C . . . .110110001 33 1 A . . . .110110001 34 2 B . . . .110110101 35 1 C . . . .110110111 36 0 D . . . .110110011 37 1 A . . . .110111011 38 2 B . . . .110111111 39 3 B . . . .110111101 40 4 B . . . .1101111000 41 3 C . . . .1101111001 42 2 A . . . .1101111001 43 3 B . . . .1101111101 44 2 C . . . .1101111111 45 1 D . . . .1101111011 46 0 C . . . .1101111011 47 -1 D . . . .1101101011 48 -2 C . . . .1101101011 49 -3 D . . . .1100101011 50 -2 A . . . .1110101011 51 -1 B . . . .1111101011 52 0 B . . . .1111001011 53 -1 C . . . .1111011011 54 -2 A . . . .1111011011 55 -3 E . . . .1111011011 56 -4 B . . . .1111011011 57 -3 B . . . .1011011011 58 -2 B . . . .1001011011 59 -1 B . . . .1000011011 60 -2 C . . . .1000111011 61 -3 A . . . .1000111011 62 -2 B . . . .1010111011 63 -3 C . . . .1011111011 64 -4 D . . . .1001111011 65 -3 A . . . .1101111011 66 -2 B . . . .1111111011 67 -1 B . . . .1110111011 68 0 B . . . .1110011011 69 1 B . . . .1110001011 70 2 B . . . .1110000011 71 1 C . . . .1110000111 72 0 A . . . .1110000111 73 1 B . . . .1110010111 74 0 C . . . .1110011111 75 -1 D . . . .1110001111 76 0 A . . . .1110101111 77 1 B . . . .1110111111 78 2 B . . . .1110110111 79 3 B . . . .1110110011 80 4 B . . . .1110110001 81 5 B . . . .11101100000 82 4 C . . . .11101100001 83 3 A . . . .11101100001 84 4 B . . . .11101100101 85 3 C . . . .11101100111 86 2 D . . . .11101100011 87 3 A . . . .11101101011 88 4 B . . . .11101101111 89 5 B . . . .11101101101 90 6 B . . . .111011011000 91 5 C . . . .111011011001 92 4 A . . . .111011011001 93 5 B . . . .111011011101 94 4 C . . . .111011011111 95 3 D . . . .111011011011 96 2 C . . . .111011011011 97 1 D . . . .111011001011 98 2 A . . . .111011101011 99 3 B . . . .111011111011 100 4 B . . . .111011110011 101 3 C . . . .111011110111 102 2 A . . . .111011110111 103 1 E . . . .111011110111 104 0 B . . . .111011110111 105 1 B . . . .111010110111 106 2 B . . . .111010010111 107 3 B . . . .111010000111 108 2 C . . . .111010001111 109 1 A . . . .111010001111 110 2 B . . . .111010101111 111 1 C . . . .111010111111 112 0 D . . . .111010011111 113 1 A . . . .111011011111 114 2 B . . . .111011111111 115 3 B . . . .111011101111 116 4 B . . . .111011100111 117 5 B . . . .111011100011 118 6 B . . . .111011100001 119 7 B . . . .1110111000000 120 6 C . . . .1110111000001 121 5 A . . . .1110111000001 122 6 B . . . .1110111000101 123 5 C . . . .1110111000111 124 4 D . . . .1110111000011 125 5 A . . . .1110111001011 126 6 B . . . .1110111001111 127 7 B . . . .1110111001101 128 8 B . . . .11101110011000 129 7 C . . . .11101110011001 130 6 A . . . .11101110011001 131 7 B . . . .11101110011101 132 6 C . . . .11101110011111 133 5 D . . . .11101110011011 134 4 C . . . .11101110011011 135 3 D . . . .11101110001011 136 4 A . . . .11101110101011 137 5 B . . . .11101110111011 138 6 B . . . .11101110110011 139 5 C . . . .11101110110111 140 4 A . . . .11101110110111 141 3 E . . . .11101110110111 142 2 B . . . .11101110110111 143 1 C . . . .11101111110111 144 0 D . . . .11101101110111 145 -1 C . . . .11101101110111 146 -2 D . . . .11100101110111 147 -1 A . . . .11110101110111 148 0 B . . . .11111101110111 149 1 B . . . .11111001110111 150 0 C . . . .11111011110111 151 -1 A . . . .11111011110111 152 -2 E . . . .11111011110111 153 -3 B . . . .11111011110111 154 -2 B . . . .11011011110111 155 -1 B . . . .11001011110111 156 0 B . . . .11000011110111 157 -1 C . . . .11000111110111 158 -2 A . . . .11000111110111 159 -1 B . . . .11010111110111 160 -2 C . . . .11011111110111 161 -3 D . . . .11001111110111 162 -2 A . . . .11101111110111 163 -1 B . . . .11111111110111 164 0 B . . . .11110111110111 165 1 B . . . .11110011110111 166 2 B . . . .11110001110111 167 3 B . . . .11110000110111 168 4 B . . . .11110000010111 169 5 B . . . .11110000000111 170 4 C . . . .11110000001111 171 3 A . . . .11110000001111 172 4 B . . . .11110000101111 173 3 C . . . .11110000111111 174 2 D . . . .11110000011111 175 3 A . . . .11110001011111 176 4 B . . . .11110001111111 177 5 B . . . .11110001101111 178 6 B . . . .11110001100111 179 7 B . . . .11110001100011 180 8 B . . . .11110001100001 181 9 B . . . .111100011000000 182 8 C . . . .111100011000001 183 7 A . . . .111100011000001 184 8 B . . . .111100011000101 185 7 C . . . .111100011000111 186 6 D . . . .111100011000011 187 7 A . . . .111100011001011 188 8 B . . . .111100011001111 189 9 B . . . .111100011001101 190 10 B . . . .1111000110011000 191 9 C . . . .1111000110011001 192 8 A . . . .1111000110011001 193 9 B . . . .1111000110011101 194 8 C . . . .1111000110011111 195 7 D . . . .1111000110011011 196 6 C . . . .1111000110011011 197 5 D . . . .1111000110001011 198 6 A . . . .1111000110101011 199 7 B . . . .1111000110111011 200 8 B . . . .1111000110110011 201 7 C . . . .1111000110110111 202 6 A . . . .1111000110110111 203 5 E . . . .1111000110110111 204 4 B . . . .1111000110110111 205 3 C . . . .1111000111110111 206 2 D . . . .1111000101110111 207 1 C . . . .1111000101110111 208 0 A . . . .1111000101110111 209 1 B . . . .1111010101110111 210 0 C . . . .1111011101110111 211 -1 D . . . .1111001101110111 212 0 A . . . .1111101101110111 213 1 B . . . .1111111101110111 214 2 B . . . .1111110101110111 215 3 B . . . .1111110001110111 216 2 C . . . .1111110011110111 217 1 A . . . .1111110011110111 218 2 B . . . .1111111011110111 219 1 C . . . .1111111111110111 220 0 D . . . .1111110111110111 221 -1 C . . . .1111110111110111 222 -2 D . . . .1111010111110111 223 -3 C . . . .1111010111110111 224 -4 D . . . .1101010111110111 225 -5 C . . . .1101010111110111 226 -6 D . . . 00101010111110111 227 -5 A . . . 10101010111110111 228 -4 B . . . 11101010111110111 229 -3 B . . . 11001010111110111 230 -4 C . . . 11011010111110111 231 -5 A . . . 11011010111110111 232 -6 E . . . 11011010111110111 233 -7 B . . .011011010111110111 234 -8 C . . 0111011010111110111 235 -9 A . .00111011010111110111 236 -8 B . .10111011010111110111 237 -9 C . .11111011010111110111 238 -10 D . 001111011010111110111 239 -9 A . 101111011010111110111 240 -8 B . 111111011010111110111 241 -7 B . 110111011010111110111 242 -6 B . 110011011010111110111 243 -5 B . 110001011010111110111 244 -4 B . 110000011010111110111 245 -5 C . 110000111010111110111 246 -6 A . 110000111010111110111 247 -5 B . 110010111010111110111 248 -6 C . 110011111010111110111 249 -7 D . 110001111010111110111 250 -6 A . 110101111010111110111 251 -5 B . 110111111010111110111 252 -4 B . 110110111010111110111 253 -3 B . 110110011010111110111 254 -2 B . 110110001010111110111 255 -1 B . 110110000010111110111 256 -2 C . 110110000110111110111 257 -3 A . 110110000110111110111 258 -2 B . 110110010110111110111 259 -3 C . 110110011110111110111 260 -4 D . 110110001110111110111 261 -3 A . 110110101110111110111 262 -2 B . 110110111110111110111 263 -1 B . 110110110110111110111 264 0 B . 110110110010111110111 265 1 B . 110110110000111110111 266 0 C . 110110110001111110111 267 -1 A . 110110110001111110111 268 0 B . 110110110101111110111 269 -1 C . 110110110111111110111 270 -2 D . 110110110011111110111 271 -1 A . 110110111011111110111 272 0 B . 110110111111111110111 273 1 B . 110110111101111110111 274 2 B . 110110111100111110111 275 3 B . 110110111100011110111 276 4 B . 110110111100001110111 277 5 B . 110110111100000110111 278 6 B . 110110111100000010111 279 7 B . 110110111100000000111 280 6 C . 110110111100000001111 281 5 A . 110110111100000001111 282 6 B . 110110111100000101111 283 5 C . 110110111100000111111 284 4 D . 110110111100000011111 285 5 A . 110110111100001011111 286 6 B . 110110111100001111111 287 7 B . 110110111100001101111 288 8 B . 110110111100001100111 289 9 B . 110110111100001100011 290 10 B . 110110111100001100001 291 11 B . 1101101111000011000000 292 10 C . 1101101111000011000001 293 9 A . 1101101111000011000001 294 10 B . 1101101111000011000101 295 9 C . 1101101111000011000111 296 8 D . 1101101111000011000011 297 9 A . 1101101111000011001011 298 10 B . 1101101111000011001111 299 11 B . 1101101111000011001101 300 12 B . 11011011110000110011000 301 11 C . 11011011110000110011001 302 10 A . 11011011110000110011001 303 11 B . 11011011110000110011101 304 10 C . 11011011110000110011111 305 9 D . 11011011110000110011011 306 8 C . 11011011110000110011011 307 7 D . 11011011110000110001011 308 8 A . 11011011110000110101011 309 9 B . 11011011110000110111011 310 10 B . 11011011110000110110011 311 9 C . 11011011110000110110111 312 8 A . 11011011110000110110111 313 7 E . 11011011110000110110111 314 6 B . 11011011110000110110111 315 5 C . 11011011110000111110111 316 4 D . 11011011110000101110111 317 3 C . 11011011110000101110111 318 2 A . 11011011110000101110111 319 3 B . 11011011110010101110111 320 2 C . 11011011110011101110111 321 1 D . 11011011110001101110111 322 2 A . 11011011110101101110111 323 3 B . 11011011110111101110111 324 4 B . 11011011110110101110111 325 5 B . 11011011110110001110111 326 4 C . 11011011110110011110111 327 3 A . 11011011110110011110111 328 4 B . 11011011110111011110111 329 3 C . 11011011110111111110111 330 2 D . 11011011110110111110111 331 1 C . 11011011110110111110111 332 0 D . 11011011110010111110111 333 1 A . 11011011111010111110111 334 2 B . 11011011111110111110111 335 3 B . 11011011111100111110111 336 2 C . 11011011111101111110111 337 1 A . 11011011111101111110111 338 0 E . 11011011111101111110111 339 -1 B . 11011011111101111110111 340 0 B . 11011011101101111110111 341 1 B . 11011011100101111110111 342 2 B . 11011011100001111110111 343 1 C . 11011011100011111110111 344 0 A . 11011011100011111110111 345 1 B . 11011011101011111110111 346 0 C . 11011011101111111110111 347 -1 D . 11011011100111111110111 348 0 A . 11011011110111111110111 349 1 B . 11011011111111111110111 350 2 B . 11011011111011111110111 351 3 B . 11011011111001111110111 352 4 B . 11011011111000111110111 353 5 B . 11011011111000011110111 354 6 B . 11011011111000001110111 355 7 B . 11011011111000000110111 356 8 B . 11011011111000000010111 357 9 B . 11011011111000000000111 358 8 C . 11011011111000000001111 359 7 A . 11011011111000000001111 360 8 B . 11011011111000000101111 361 7 C . 11011011111000000111111 362 6 D . 11011011111000000011111 363 7 A . 11011011111000001011111 364 8 B . 11011011111000001111111 365 9 B . 11011011111000001101111 366 10 B . 11011011111000001100111 367 11 B . 11011011111000001100011 368 12 B . 11011011111000001100001 369 13 B . 110110111110000011000000 370 12 C . 110110111110000011000001 371 11 A . 110110111110000011000001 372 12 B . 110110111110000011000101 373 11 C . 110110111110000011000111 374 10 D . 110110111110000011000011 375 11 A . 110110111110000011001011 376 12 B . 110110111110000011001111 377 13 B . 110110111110000011001101 378 14 B . 1101101111100000110011000 379 13 C . 1101101111100000110011001 380 12 A . 1101101111100000110011001 381 13 B . 1101101111100000110011101 382 12 C . 1101101111100000110011111 383 11 D . 1101101111100000110011011 384 10 C . 1101101111100000110011011 385 9 D . 1101101111100000110001011 386 10 A . 1101101111100000110101011 387 11 B . 1101101111100000110111011 388 12 B . 1101101111100000110110011 389 11 C . 1101101111100000110110111 390 10 A . 1101101111100000110110111 391 9 E . 1101101111100000110110111 392 8 B . 1101101111100000110110111 393 7 C . 1101101111100000111110111 394 6 D . 1101101111100000101110111 395 5 C . 1101101111100000101110111 396 4 A . 1101101111100000101110111 397 5 B . 1101101111100010101110111 398 4 C . 1101101111100011101110111 399 3 D . 1101101111100001101110111 400 4 A . 1101101111100101101110111 401 5 B . 1101101111100111101110111 402 6 B . 1101101111100110101110111 403 7 B . 1101101111100110001110111 404 6 C . 1101101111100110011110111 405 5 A . 1101101111100110011110111 406 6 B . 1101101111100111011110111 407 5 C . 1101101111100111111110111 408 4 D . 1101101111100110111110111 409 3 C . 1101101111100110111110111 410 2 D . 1101101111100010111110111 411 3 A . 1101101111101010111110111 412 4 B . 1101101111101110111110111 413 5 B . 1101101111101100111110111 414 4 C . 1101101111101101111110111 415 3 A . 1101101111101101111110111 416 2 E . 1101101111101101111110111 417 1 B . 1101101111101101111110111 418 0 C . 1101101111111101111110111 419 -1 D . 1101101111011101111110111 420 -2 C . 1101101111011101111110111 421 -3 D . 1101101101011101111110111 422 -4 C . 1101101101011101111110111 423 -5 D . 1101100101011101111110111 424 -4 A . 1101110101011101111110111 425 -3 B . 1101111101011101111110111 426 -2 B . 1101111001011101111110111 427 -3 C . 1101111011011101111110111 428 -4 A . 1101111011011101111110111 429 -5 E . 1101111011011101111110111 430 -6 B . 1101111011011101111110111 431 -5 B . 1101011011011101111110111 432 -4 B . 1101001011011101111110111 433 -3 B . 1101000011011101111110111 434 -4 C . 1101000111011101111110111 435 -5 A . 1101000111011101111110111 436 -4 B . 1101010111011101111110111 437 -5 C . 1101011111011101111110111 438 -6 D . 1101001111011101111110111 439 -5 A . 1101101111011101111110111 440 -4 B . 1101111111011101111110111 441 -3 B . 1101110111011101111110111 442 -2 B . 1101110011011101111110111 443 -1 B . 1101110001011101111110111 444 0 B . 1101110000011101111110111 445 -1 C . 1101110000111101111110111 446 -2 A . 1101110000111101111110111 447 -1 B . 1101110010111101111110111 448 -2 C . 1101110011111101111110111 449 -3 D . 1101110001111101111110111 450 -2 A . 1101110101111101111110111 451 -1 B . 1101110111111101111110111 452 0 B . 1101110110111101111110111 453 1 B . 1101110110011101111110111 454 2 B . 1101110110001101111110111 455 3 B . 1101110110000101111110111 456 4 B . 1101110110000001111110111 457 3 C . 1101110110000011111110111 458 2 A . 1101110110000011111110111 459 3 B . 1101110110001011111110111 460 2 C . 1101110110001111111110111 461 1 D . 1101110110000111111110111 462 2 A . 1101110110010111111110111 463 3 B . 1101110110011111111110111 464 4 B . 1101110110011011111110111 465 5 B . 1101110110011001111110111 466 6 B . 1101110110011000111110111 467 7 B . 1101110110011000011110111 468 8 B . 1101110110011000001110111 469 9 B . 1101110110011000000110111 470 10 B . 1101110110011000000010111 471 11 B . 1101110110011000000000111 472 10 C . 1101110110011000000001111 473 9 A . 1101110110011000000001111 474 10 B . 1101110110011000000101111 475 9 C . 1101110110011000000111111 476 8 D . 1101110110011000000011111 477 9 A . 1101110110011000001011111 478 10 B . 1101110110011000001111111 479 11 B . 1101110110011000001101111 480 12 B . 1101110110011000001100111 481 13 B . 1101110110011000001100011 482 14 B . 1101110110011000001100001 483 15 B . 11011101100110000011000000 484 14 C . 11011101100110000011000001 485 13 A . 11011101100110000011000001 486 14 B . 11011101100110000011000101 487 13 C . 11011101100110000011000111 488 12 D . 11011101100110000011000011 489 13 A . 11011101100110000011001011 490 14 B . 11011101100110000011001111 491 15 B . 11011101100110000011001101 492 16 B . 110111011001100000110011000 493 15 C . 110111011001100000110011001 494 14 A . 110111011001100000110011001 495 15 B . 110111011001100000110011101 496 14 C . 110111011001100000110011111 497 13 D . 110111011001100000110011011 498 12 C . 110111011001100000110011011 499 11 D . 110111011001100000110001011 After 499 steps (500 lines): state = D. Produced 14 ones. Tape index 11, scanned [-10 .. 16].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 91 | 79 | 12 | 0 | 8 |
B | 227 | 91 | 136 | 1 | 5 |
C | 110 | 50 | 60 | 7 | 2 |
D | 59 | 40 | 19 | 3 | 45 |
E | 12 | 12 | 9 |