Comment: This TM produces >1.9x10^4933 nonzeros in >2.4x10^9866 steps. Comment: This is the currently best known 2x6 TM 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 | 2LA | 1RH | 5LB | 5LA | 4LB | 1 | right | B | 2 | left | A | 1 | right | H | 5 | left | B | 5 | left | A | 4 | left | B |
| B | 1LA | 4RB | 3RB | 5LB | 1LB | 4RA | 1 | left | A | 4 | right | B | 3 | right | B | 5 | left | B | 1 | left | B | 4 | right | A |
The same TM just simple.
Simulation is done 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 A . . . . . . . . . . . . . . . . . . . . . . 11
3 -1 A . . . . . . . . . . . . . . . . . . . . . .021
4 0 B . . . . . . . . . . . . . . . . . . . . . .121
5 1 B . . . . . . . . . . . . . . . . . . . . . .131
6 2 B . . . . . . . . . . . . . . . . . . . . . .1340
7 1 A . . . . . . . . . . . . . . . . . . . . . .1341
8 0 A . . . . . . . . . . . . . . . . . . . . . .1351
9 -1 B . . . . . . . . . . . . . . . . . . . . . .1551
10 0 B . . . . . . . . . . . . . . . . . . . . . .4551
11 1 A . . . . . . . . . . . . . . . . . . . . . .4451
12 0 B . . . . . . . . . . . . . . . . . . . . . .4441
+ 14 -2 B . . . . . . . . . . . . . . . . . . . . . 01141 by B/4 * 2
15 -3 A . . . . . . . . . . . . . . . . . . . . .011141
16 -2 B . . . . . . . . . . . . . . . . . . . . .111141
+ 19 1 B . . . . . . . . . . . . . . . . . . . . .144441 by B/1 * 3
+ 23 -3 B . . . . . . . . . . . . . . . . . . . . .111111 by B/4 * 4
+ 29 3 B . . . . . . . . . . . . . . . . . . . . .4444440 by B/1 * 6
30 2 A . . . . . . . . . . . . . . . . . . . . .4444441
+ 36 -4 A . . . . . . . . . . . . . . . . . . . . 05555551 by A/4 * 6
37 -3 B . . . . . . . . . . . . . . . . . . . . 15555551
38 -2 A . . . . . . . . . . . . . . . . . . . . 14555551
39 -3 B . . . . . . . . . . . . . . . . . . . . 14455551
40 -4 B . . . . . . . . . . . . . . . . . . . . 11455551
+ 42 -2 B . . . . . . . . . . . . . . . . . . . . 44455551 by B/1 * 2
+ 45 -5 B . . . . . . . . . . . . . . . . . . . .011155551 by B/4 * 3
46 -6 A . . . . . . . . . . . . . . . . . . . 0111155551
47 -5 B . . . . . . . . . . . . . . . . . . . 1111155551
+ 51 -1 B . . . . . . . . . . . . . . . . . . . 1444455551 by B/1 * 4
52 0 A . . . . . . . . . . . . . . . . . . . 1444445551
53 -1 B . . . . . . . . . . . . . . . . . . . 1444444551
+ 58 -6 B . . . . . . . . . . . . . . . . . . . 1111114551 by B/4 * 5
+ 64 0 B . . . . . . . . . . . . . . . . . . . 4444444551 by B/1 * 6
+ 71 -7 B . . . . . . . . . . . . . . . . . . .01111111551 by B/4 * 7
72 -8 A . . . . . . . . . . . . . . . . . . 011111111551
73 -7 B . . . . . . . . . . . . . . . . . . 111111111551
+ 81 1 B . . . . . . . . . . . . . . . . . . 144444444551 by B/1 * 8
82 2 A . . . . . . . . . . . . . . . . . . 144444444451
83 1 B . . . . . . . . . . . . . . . . . . 144444444441
+ 92 -8 B . . . . . . . . . . . . . . . . . . 111111111141 by B/4 * 9
+ 102 2 B . . . . . . . . . . . . . . . . . . 444444444441 by B/1 * 10
+ 113 -9 B . . . . . . . . . . . . . . . . . .0111111111111 by B/4 * 11
114 -10 A . . . . . . . . . . . . . . . . . 01111111111111
115 -9 B . . . . . . . . . . . . . . . . . 11111111111111
+ 128 4 B . . . . . . . . . . . . . . . . . 144444444444440 by B/1 * 13
129 3 A . . . . . . . . . . . . . . . . . 144444444444441
+ 142 -10 A . . . . . . . . . . . . . . . . . 155555555555551 by A/4 * 13
143 -11 A . . . . . . . . . . . . . . . . .0255555555555551
144 -10 B . . . . . . . . . . . . . . . . .1255555555555551
145 -9 B . . . . . . . . . . . . . . . . .1355555555555551
146 -8 A . . . . . . . . . . . . . . . . .1345555555555551
147 -9 B . . . . . . . . . . . . . . . . .1344555555555551
148 -10 B . . . . . . . . . . . . . . . . .1314555555555551
149 -11 B . . . . . . . . . . . . . . . . .1514555555555551
150 -10 B . . . . . . . . . . . . . . . . .4514555555555551
151 -9 A . . . . . . . . . . . . . . . . .4414555555555551
152 -10 A . . . . . . . . . . . . . . . . .4424555555555551
+ 154 -12 A . . . . . . . . . . . . . . . . 05524555555555551 by A/4 * 2
155 -11 B . . . . . . . . . . . . . . . . 15524555555555551
156 -10 A . . . . . . . . . . . . . . . . 14524555555555551
157 -11 B . . . . . . . . . . . . . . . . 14424555555555551
158 -12 B . . . . . . . . . . . . . . . . 11424555555555551
+ 160 -10 B . . . . . . . . . . . . . . . . 44424555555555551 by B/1 * 2
+ 163 -13 B . . . . . . . . . . . . . . . .011124555555555551 by B/4 * 3
164 -14 A . . . . . . . . . . . . . . . 0111124555555555551
165 -13 B . . . . . . . . . . . . . . . 1111124555555555551
+ 169 -9 B . . . . . . . . . . . . . . . 1444424555555555551 by B/1 * 4
170 -8 B . . . . . . . . . . . . . . . 1444434555555555551
171 -9 B . . . . . . . . . . . . . . . 1444431555555555551
172 -10 B . . . . . . . . . . . . . . . 1444451555555555551
+ 176 -14 B . . . . . . . . . . . . . . . 1111151555555555551 by B/4 * 4
+ 181 -9 B . . . . . . . . . . . . . . . 4444451555555555551 by B/1 * 5
182 -8 A . . . . . . . . . . . . . . . 4444441555555555551
183 -9 A . . . . . . . . . . . . . . . 4444442555555555551
+ 189 -15 A . . . . . . . . . . . . . . .05555552555555555551 by A/4 * 6
190 -14 B . . . . . . . . . . . . . . .15555552555555555551
191 -13 A . . . . . . . . . . . . . . .14555552555555555551
192 -14 B . . . . . . . . . . . . . . .14455552555555555551
193 -15 B . . . . . . . . . . . . . . .11455552555555555551
+ 195 -13 B . . . . . . . . . . . . . . .44455552555555555551 by B/1 * 2
+ 198 -16 B . . . . . . . . . . . . . . 011155552555555555551 by B/4 * 3
199 -17 A . . . . . . . . . . . . . .0111155552555555555551
200 -16 B . . . . . . . . . . . . . .1111155552555555555551
+ 204 -12 B . . . . . . . . . . . . . .1444455552555555555551 by B/1 * 4
205 -11 A . . . . . . . . . . . . . .1444445552555555555551
206 -12 B . . . . . . . . . . . . . .1444444552555555555551
+ 211 -17 B . . . . . . . . . . . . . .1111114552555555555551 by B/4 * 5
+ 217 -11 B . . . . . . . . . . . . . .4444444552555555555551 by B/1 * 6
+ 224 -18 B . . . . . . . . . . . . . 01111111552555555555551 by B/4 * 7
225 -19 A . . . . . . . . . . . . .011111111552555555555551
226 -18 B . . . . . . . . . . . . .111111111552555555555551
+ 234 -10 B . . . . . . . . . . . . .144444444552555555555551 by B/1 * 8
235 -9 A . . . . . . . . . . . . .144444444452555555555551
236 -10 B . . . . . . . . . . . . .144444444442555555555551
+ 245 -19 B . . . . . . . . . . . . .111111111142555555555551 by B/4 * 9
+ 255 -9 B . . . . . . . . . . . . .444444444442555555555551 by B/1 * 10
+ 266 -20 B . . . . . . . . . . . . 0111111111112555555555551 by B/4 * 11
267 -21 A . . . . . . . . . . . .01111111111112555555555551
268 -20 B . . . . . . . . . . . .11111111111112555555555551
+ 280 -8 B . . . . . . . . . . . .14444444444442555555555551 by B/1 * 12
281 -7 B . . . . . . . . . . . .14444444444443555555555551
282 -6 A . . . . . . . . . . . .14444444444443455555555551
283 -7 B . . . . . . . . . . . .14444444444443445555555551
284 -8 B . . . . . . . . . . . .14444444444443145555555551
285 -9 B . . . . . . . . . . . .14444444444445145555555551
+ 297 -21 B . . . . . . . . . . . .11111111111115145555555551 by B/4 * 12
+ 310 -8 B . . . . . . . . . . . .44444444444445145555555551 by B/1 * 13
311 -7 A . . . . . . . . . . . .44444444444444145555555551
312 -8 A . . . . . . . . . . . .44444444444444245555555551
+ 326 -22 A . . . . . . . . . . . 055555555555555245555555551 by A/4 * 14
327 -21 B . . . . . . . . . . . 155555555555555245555555551
328 -20 A . . . . . . . . . . . 145555555555555245555555551
329 -21 B . . . . . . . . . . . 144555555555555245555555551
330 -22 B . . . . . . . . . . . 114555555555555245555555551
+ 332 -20 B . . . . . . . . . . . 444555555555555245555555551 by B/1 * 2
+ 335 -23 B . . . . . . . . . . .0111555555555555245555555551 by B/4 * 3
336 -24 A . . . . . . . . . . 01111555555555555245555555551
337 -23 B . . . . . . . . . . 11111555555555555245555555551
+ 341 -19 B . . . . . . . . . . 14444555555555555245555555551 by B/1 * 4
342 -18 A . . . . . . . . . . 14444455555555555245555555551
343 -19 B . . . . . . . . . . 14444445555555555245555555551
+ 348 -24 B . . . . . . . . . . 11111145555555555245555555551 by B/4 * 5
+ 354 -18 B . . . . . . . . . . 44444445555555555245555555551 by B/1 * 6
+ 361 -25 B . . . . . . . . . .011111115555555555245555555551 by B/4 * 7
362 -26 A . . . . . . . . . 0111111115555555555245555555551
363 -25 B . . . . . . . . . 1111111115555555555245555555551
+ 371 -17 B . . . . . . . . . 1444444445555555555245555555551 by B/1 * 8
372 -16 A . . . . . . . . . 1444444444555555555245555555551
373 -17 B . . . . . . . . . 1444444444455555555245555555551
+ 382 -26 B . . . . . . . . . 1111111111455555555245555555551 by B/4 * 9
+ 392 -16 B . . . . . . . . . 4444444444455555555245555555551 by B/1 * 10
+ 403 -27 B . . . . . . . . .01111111111155555555245555555551 by B/4 * 11
404 -28 A . . . . . . . . 011111111111155555555245555555551
405 -27 B . . . . . . . . 111111111111155555555245555555551
+ 417 -15 B . . . . . . . . 144444444444455555555245555555551 by B/1 * 12
418 -14 A . . . . . . . . 144444444444445555555245555555551
419 -15 B . . . . . . . . 144444444444444555555245555555551
+ 432 -28 B . . . . . . . . 111111111111114555555245555555551 by B/4 * 13
+ 446 -14 B . . . . . . . . 444444444444444555555245555555551 by B/1 * 14
+ 461 -29 B . . . . . . . .0111111111111111555555245555555551 by B/4 * 15
462 -30 A . . . . . . . 01111111111111111555555245555555551
463 -29 B . . . . . . . 11111111111111111555555245555555551
+ 479 -13 B . . . . . . . 14444444444444444555555245555555551 by B/1 * 16
480 -12 A . . . . . . . 14444444444444444455555245555555551
481 -13 B . . . . . . . 14444444444444444445555245555555551
+ 498 -30 B . . . . . . . 11111111111111111145555245555555551 by B/4 * 17
+ 516 -12 B . . . . . . . 44444444444444444445555245555555551 by B/1 * 18
+ 535 -31 B . . . . . . .011111111111111111115555245555555551 by B/4 * 19
536 -32 A . . . . . . 0111111111111111111115555245555555551
537 -31 B . . . . . . 1111111111111111111115555245555555551
+ 557 -11 B . . . . . . 1444444444444444444445555245555555551 by B/1 * 20
558 -10 A . . . . . . 1444444444444444444444555245555555551
559 -11 B . . . . . . 1444444444444444444444455245555555551
+ 580 -32 B . . . . . . 1111111111111111111111455245555555551 by B/4 * 21
+ 602 -10 B . . . . . . 4444444444444444444444455245555555551 by B/1 * 22
+ 625 -33 B . . . . . .01111111111111111111111155245555555551 by B/4 * 23
626 -34 A . . . . . 011111111111111111111111155245555555551
627 -33 B . . . . . 111111111111111111111111155245555555551
+ 651 -9 B . . . . . 144444444444444444444444455245555555551 by B/1 * 24
652 -8 A . . . . . 144444444444444444444444445245555555551
653 -9 B . . . . . 144444444444444444444444444245555555551
+ 678 -34 B . . . . . 111111111111111111111111114245555555551 by B/4 * 25
+ 704 -8 B . . . . . 444444444444444444444444444245555555551 by B/1 * 26
+ 731 -35 B . . . . .0111111111111111111111111111245555555551 by B/4 * 27
732 -36 A . . . . 01111111111111111111111111111245555555551
733 -35 B . . . . 11111111111111111111111111111245555555551
+ 761 -7 B . . . . 14444444444444444444444444444245555555551 by B/1 * 28
762 -6 B . . . . 14444444444444444444444444444345555555551
763 -7 B . . . . 14444444444444444444444444444315555555551
764 -8 B . . . . 14444444444444444444444444444515555555551
+ 792 -36 B . . . . 11111111111111111111111111111515555555551 by B/4 * 28
+ 821 -7 B . . . . 44444444444444444444444444444515555555551 by B/1 * 29
822 -6 A . . . . 44444444444444444444444444444415555555551
823 -7 A . . . . 44444444444444444444444444444425555555551
+ 853 -37 A . . . .055555555555555555555555555555525555555551 by A/4 * 30
854 -36 B . . . .155555555555555555555555555555525555555551
855 -35 A . . . .145555555555555555555555555555525555555551
856 -36 B . . . .144555555555555555555555555555525555555551
857 -37 B . . . .114555555555555555555555555555525555555551
+ 859 -35 B . . . .444555555555555555555555555555525555555551 by B/1 * 2
+ 862 -38 B . . . 0111555555555555555555555555555525555555551 by B/4 * 3
863 -39 A . . .01111555555555555555555555555555525555555551
864 -38 B . . .11111555555555555555555555555555525555555551
+ 868 -34 B . . .14444555555555555555555555555555525555555551 by B/1 * 4
869 -33 A . . .14444455555555555555555555555555525555555551
870 -34 B . . .14444445555555555555555555555555525555555551
+ 875 -39 B . . .11111145555555555555555555555555525555555551 by B/4 * 5
+ 881 -33 B . . .44444445555555555555555555555555525555555551 by B/1 * 6
+ 888 -40 B . . 011111115555555555555555555555555525555555551 by B/4 * 7
889 -41 A . .0111111115555555555555555555555555525555555551
890 -40 B . .1111111115555555555555555555555555525555555551
+ 898 -32 B . .1444444445555555555555555555555555525555555551 by B/1 * 8
899 -31 A . .1444444444555555555555555555555555525555555551
900 -32 B . .1444444444455555555555555555555555525555555551
+ 909 -41 B . .1111111111455555555555555555555555525555555551 by B/4 * 9
+ 919 -31 B . .4444444444455555555555555555555555525555555551 by B/1 * 10
+ 930 -42 B . 01111111111155555555555555555555555525555555551 by B/4 * 11
931 -43 A .011111111111155555555555555555555555525555555551
932 -42 B .111111111111155555555555555555555555525555555551
+ 944 -30 B .144444444444455555555555555555555555525555555551 by B/1 * 12
After 944 steps (201 lines): state = B.
Produced 48 nonzeros.
Tape index -30, scanned [-43 .. 4].
| 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 | 125 | 26 | 6 | 1 | 72 | 20 | 0 | 2 | 8 | 7 | 11 | ||
| B | 819 | 22 | 402 | 5 | 4 | 362 | 24 | 1 | 5 | 4 | 148 | 12 | 10 |