Comment: This TM produces 15828 nonzeros in 493,600,387 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 5 |
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||||
A | 1RB | 4LA | 1RA | 5LB | 1RA | 3LB | 1 | right | B | 4 | left | A | 1 | right | A | 5 | left | B | 1 | right | A | 3 | left | B |
B | 1LB | 1LA | 5LA | 2LA | 2RB | 1RH | 1 | left | B | 1 | left | A | 5 | left | A | 2 | left | A | 2 | right | B | 1 | right | H |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as bck-2-macro machine. The same TM as bck-2-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . 0 1 1 B . . . . . 10 2 0 B . . . . . 11 3 -1 A . . . . .011 4 0 B . . . . .111 5 -1 A . . . . .111 6 -2 A . . . . 0411 7 -1 B . . . . 1411 8 0 B . . . . 1211 9 -1 A . . . . 1211 10 0 A . . . . 1111 + 13 -3 A . . . .04441 by A/1 * 3 14 -2 B . . . .14441 + 17 1 B . . . .12221 by B/4 * 3 18 0 A . . . .12221 19 1 A . . . .12211 + 21 -1 A . . . .12244 by A/1 * 2 22 0 A . . . .12144 + 24 2 A . . . .121110 by A/4 * 2 25 3 B . . . .1211110 26 2 B . . . .1211111 27 1 A . . . .1211111 + 30 -2 A . . . .1244411 by A/1 * 3 31 -1 A . . . .1144411 + 34 2 A . . . .1111111 by A/4 * 3 + 40 -4 A . . . 04444441 by A/1 * 6 41 -3 B . . . 14444441 + 47 3 B . . . 12222221 by B/4 * 6 48 2 A . . . 12222221 49 3 A . . . 12222211 + 51 1 A . . . 12222244 by A/1 * 2 52 2 A . . . 12222144 + 54 4 A . . . 122221110 by A/4 * 2 55 5 B . . . 1222211110 56 4 B . . . 1222211111 57 3 A . . . 1222211111 + 60 0 A . . . 1222244411 by A/1 * 3 61 1 A . . . 1222144411 + 64 4 A . . . 1222111111 by A/4 * 3 + 69 -1 A . . . 1222444441 by A/1 * 5 70 0 A . . . 1221444441 + 75 5 A . . . 1221111111 by A/4 * 5 + 82 -2 A . . . 1224444444 by A/1 * 7 83 -1 A . . . 1214444444 + 90 6 A . . . 12111111110 by A/4 * 7 91 7 B . . . 121111111110 92 6 B . . . 121111111111 93 5 A . . . 121111111111 + 101 -3 A . . . 124444444411 by A/1 * 8 102 -2 A . . . 114444444411 + 110 6 A . . . 111111111111 by A/4 * 8 + 121 -5 A . . .0444444444441 by A/1 * 11 122 -4 B . . .1444444444441 + 133 7 B . . .1222222222221 by B/4 * 11 134 6 A . . .1222222222221 135 7 A . . .1222222222211 + 137 5 A . . .1222222222244 by A/1 * 2 138 6 A . . .1222222222144 + 140 8 A . . .12222222221110 by A/4 * 2 141 9 B . . .122222222211110 142 8 B . . .122222222211111 143 7 A . . .122222222211111 + 146 4 A . . .122222222244411 by A/1 * 3 147 5 A . . .122222222144411 + 150 8 A . . .122222222111111 by A/4 * 3 + 155 3 A . . .122222222444441 by A/1 * 5 156 4 A . . .122222221444441 + 161 9 A . . .122222221111111 by A/4 * 5 + 168 2 A . . .122222224444444 by A/1 * 7 169 3 A . . .122222214444444 + 176 10 A . . .1222222111111110 by A/4 * 7 177 11 B . . .12222221111111110 178 10 B . . .12222221111111111 179 9 A . . .12222221111111111 + 187 1 A . . .12222224444444411 by A/1 * 8 188 2 A . . .12222214444444411 + 196 10 A . . .12222211111111111 by A/4 * 8 + 206 0 A . . .12222244444444441 by A/1 * 10 207 1 A . . .12222144444444441 + 217 11 A . . .12222111111111111 by A/4 * 10 + 229 -1 A . . .12222444444444444 by A/1 * 12 230 0 A . . .12221444444444444 + 242 12 A . . .122211111111111110 by A/4 * 12 243 13 B . . .1222111111111111110 244 12 B . . .1222111111111111111 245 11 A . . .1222111111111111111 + 258 -2 A . . .1222444444444444411 by A/1 * 13 259 -1 A . . .1221444444444444411 + 272 12 A . . .1221111111111111111 by A/4 * 13 + 287 -3 A . . .1224444444444444441 by A/1 * 15 288 -2 A . . .1214444444444444441 + 303 13 A . . .1211111111111111111 by A/4 * 15 + 320 -4 A . . .1244444444444444444 by A/1 * 17 321 -3 A . . .1144444444444444444 + 338 14 A . . .11111111111111111110 by A/4 * 17 339 15 B . . .111111111111111111110 340 14 B . . .111111111111111111111 341 13 A . . .111111111111111111111 + 360 -6 A . . 0444444444444444444411 by A/1 * 19 361 -5 B . . 1444444444444444444411 + 380 14 B . . 1222222222222222222211 by B/4 * 19 381 13 A . . 1222222222222222222211 382 14 A . . 1222222222222222222111 + 384 12 A . . 1222222222222222222441 by A/1 * 2 385 13 A . . 1222222222222222221441 + 387 15 A . . 1222222222222222221111 by A/4 * 2 + 391 11 A . . 1222222222222222224444 by A/1 * 4 392 12 A . . 1222222222222222214444 + 396 16 A . . 12222222222222222111110 by A/4 * 4 397 17 B . . 122222222222222221111110 398 16 B . . 122222222222222221111111 399 15 A . . 122222222222222221111111 + 404 10 A . . 122222222222222224444411 by A/1 * 5 405 11 A . . 122222222222222214444411 + 410 16 A . . 122222222222222211111111 by A/4 * 5 + 417 9 A . . 122222222222222244444441 by A/1 * 7 418 10 A . . 122222222222222144444441 + 425 17 A . . 122222222222222111111111 by A/4 * 7 + 434 8 A . . 122222222222222444444444 by A/1 * 9 435 9 A . . 122222222222221444444444 + 444 18 A . . 1222222222222211111111110 by A/4 * 9 445 19 B . . 12222222222222111111111110 446 18 B . . 12222222222222111111111111 447 17 A . . 12222222222222111111111111 + 457 7 A . . 12222222222222444444444411 by A/1 * 10 458 8 A . . 12222222222221444444444411 + 468 18 A . . 12222222222221111111111111 by A/4 * 10 + 480 6 A . . 12222222222224444444444441 by A/1 * 12 481 7 A . . 12222222222214444444444441 + 493 19 A . . 12222222222211111111111111 by A/4 * 12 + 507 5 A . . 12222222222244444444444444 by A/1 * 14 508 6 A . . 12222222222144444444444444 + 522 20 A . . 122222222221111111111111110 by A/4 * 14 523 21 B . . 1222222222211111111111111110 524 20 B . . 1222222222211111111111111111 525 19 A . . 1222222222211111111111111111 + 540 4 A . . 1222222222244444444444444411 by A/1 * 15 541 5 A . . 1222222222144444444444444411 + 556 20 A . . 1222222222111111111111111111 by A/4 * 15 + 573 3 A . . 1222222222444444444444444441 by A/1 * 17 574 4 A . . 1222222221444444444444444441 + 591 21 A . . 1222222221111111111111111111 by A/4 * 17 + 610 2 A . . 1222222224444444444444444444 by A/1 * 19 611 3 A . . 1222222214444444444444444444 + 630 22 A . . 12222222111111111111111111110 by A/4 * 19 631 23 B . . 122222221111111111111111111110 632 22 B . . 122222221111111111111111111111 633 21 A . . 122222221111111111111111111111 + 653 1 A . . 122222224444444444444444444411 by A/1 * 20 654 2 A . . 122222214444444444444444444411 + 674 22 A . . 122222211111111111111111111111 by A/4 * 20 + 696 0 A . . 122222244444444444444444444441 by A/1 * 22 697 1 A . . 122222144444444444444444444441 + 719 23 A . . 122222111111111111111111111111 by A/4 * 22 + 743 -1 A . . 122222444444444444444444444444 by A/1 * 24 744 0 A . . 122221444444444444444444444444 + 768 24 A . . 1222211111111111111111111111110 by A/4 * 24 769 25 B . . 12222111111111111111111111111110 770 24 B . . 12222111111111111111111111111111 771 23 A . . 12222111111111111111111111111111 + 796 -2 A . . 12222444444444444444444444444411 by A/1 * 25 797 -1 A . . 12221444444444444444444444444411 + 822 24 A . . 12221111111111111111111111111111 by A/4 * 25 + 849 -3 A . . 12224444444444444444444444444441 by A/1 * 27 850 -2 A . . 12214444444444444444444444444441 + 877 25 A . . 12211111111111111111111111111111 by A/4 * 27 + 906 -4 A . . 12244444444444444444444444444444 by A/1 * 29 907 -3 A . . 12144444444444444444444444444444 + 936 26 A . . 121111111111111111111111111111110 by A/4 * 29 937 27 B . . 1211111111111111111111111111111110 938 26 B . . 1211111111111111111111111111111111 939 25 A . . 1211111111111111111111111111111111 + 969 -5 A . . 1244444444444444444444444444444411 by A/1 * 30 970 -4 A . . 1144444444444444444444444444444411 + 1000 26 A . . 1111111111111111111111111111111111 by A/4 * 30 + 1033 -7 A . .04444444444444444444444444444444441 by A/1 * 33 1034 -6 B . .14444444444444444444444444444444441 + 1067 27 B . .12222222222222222222222222222222221 by B/4 * 33 1068 26 A . .12222222222222222222222222222222221 1069 27 A . .12222222222222222222222222222222211 + 1071 25 A . .12222222222222222222222222222222244 by A/1 * 2 1072 26 A . .12222222222222222222222222222222144 + 1074 28 A . .122222222222222222222222222222221110 by A/4 * 2 1075 29 B . .1222222222222222222222222222222211110 1076 28 B . .1222222222222222222222222222222211111 1077 27 A . .1222222222222222222222222222222211111 + 1080 24 A . .1222222222222222222222222222222244411 by A/1 * 3 1081 25 A . .1222222222222222222222222222222144411 + 1084 28 A . .1222222222222222222222222222222111111 by A/4 * 3 + 1089 23 A . .1222222222222222222222222222222444441 by A/1 * 5 1090 24 A . .1222222222222222222222222222221444441 + 1095 29 A . .1222222222222222222222222222221111111 by A/4 * 5 + 1102 22 A . .1222222222222222222222222222224444444 by A/1 * 7 1103 23 A . .1222222222222222222222222222214444444 + 1110 30 A . .12222222222222222222222222222111111110 by A/4 * 7 1111 31 B . .122222222222222222222222222221111111110 1112 30 B . .122222222222222222222222222221111111111 1113 29 A . .122222222222222222222222222221111111111 + 1121 21 A . .122222222222222222222222222224444444411 by A/1 * 8 1122 22 A . .122222222222222222222222222214444444411 + 1130 30 A . .122222222222222222222222222211111111111 by A/4 * 8 After 1130 steps (201 lines): state = A. Produced 39 nonzeros. Tape index 30, scanned [-7 .. 31].
State | Count | Execution count | First in step | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||
A | 1018 | 23 | 511 | 46 | 438 | 0 | 5 | 9 | 22 | ||||
B | 112 | 16 | 23 | 73 | 1 | 2 | 7 |