Comment: This TM produces 90'604 nonzeros in 8'619'024'596 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 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | B1R | A3L | B1L | A1R | A3R | 1 | right | B | 3 | left | A | 1 | left | B | 1 | right | A | 3 | right | A |
| B | B2L | A3L | A3R | B4R | Z1R | 2 | left | B | 3 | left | A | 3 | right | A | 4 | right | B | 1 | right | Z |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . 0
1 1 B . . 10
2 0 B . . 12
3 -1 A . .032
4 0 B . .132
5 1 B . .142
6 2 A . .1430
7 3 B . .14310
8 2 B . .14312
9 1 A . .14332
+ 11 3 A . .14112 by A/3 * 2
12 2 B . .14111
13 1 A . .14131
14 0 A . .14331
15 1 A . .13331
+ 17 3 A . .13111 by A/3 * 2
+ 20 0 A . .13333 by A/1 * 3
+ 24 4 A . .111110 by A/3 * 4
25 5 B . .1111110
26 4 B . .1111112
27 3 A . .1111132
+ 32 -2 A . 03333332 by A/1 * 5
33 -1 B . 13333332
+ 39 5 B . 14444442 by B/3 * 6
40 6 A . 144444430
41 7 B . 1444444310
42 6 B . 1444444312
43 5 A . 1444444332
+ 45 7 A . 1444444112 by A/3 * 2
46 6 B . 1444444111
47 5 A . 1444444131
48 4 A . 1444444331
49 5 A . 1444443331
+ 51 7 A . 1444443111 by A/3 * 2
+ 54 4 A . 1444443333 by A/1 * 3
+ 58 8 A . 14444411110 by A/3 * 4
59 9 B . 144444111110
60 8 B . 144444111112
61 7 A . 144444111132
+ 65 3 A . 144444333332 by A/1 * 4
66 4 A . 144443333332
+ 71 9 A . 144443111112 by A/3 * 5
72 8 B . 144443111111
73 7 A . 144443111131
+ 77 3 A . 144443333331 by A/1 * 4
+ 83 9 A . 144441111111 by A/3 * 6
+ 90 2 A . 144443333333 by A/1 * 7
91 3 A . 144433333333
+ 98 10 A . 1444311111110 by A/3 * 7
99 11 B . 14443111111110
100 10 B . 14443111111112
101 9 A . 14443111111132
+ 108 2 A . 14443333333332 by A/1 * 7
+ 117 11 A . 14441111111112 by A/3 * 9
118 10 B . 14441111111111
119 9 A . 14441111111131
+ 127 1 A . 14443333333331 by A/1 * 8
128 2 A . 14433333333331
+ 137 11 A . 14431111111111 by A/3 * 9
+ 147 1 A . 14433333333333 by A/1 * 10
+ 158 12 A . 144111111111110 by A/3 * 11
159 13 B . 1441111111111110
160 12 B . 1441111111111112
161 11 A . 1441111111111132
+ 172 0 A . 1443333333333332 by A/1 * 11
173 1 A . 1433333333333332
+ 185 13 A . 1431111111111112 by A/3 * 12
186 12 B . 1431111111111111
187 11 A . 1431111111111131
+ 198 0 A . 1433333333333331 by A/1 * 11
+ 211 13 A . 1411111111111111 by A/3 * 13
+ 225 -1 A . 1433333333333333 by A/1 * 14
226 0 A . 1333333333333333
+ 240 14 A . 13111111111111110 by A/3 * 14
241 15 B . 131111111111111110
242 14 B . 131111111111111112
243 13 A . 131111111111111132
+ 257 -1 A . 133333333333333332 by A/1 * 14
+ 273 15 A . 111111111111111112 by A/3 * 16
274 14 B . 111111111111111111
275 13 A . 111111111111111131
+ 291 -3 A .0333333333333333331 by A/1 * 16
292 -2 B .1333333333333333331
+ 309 15 B .1444444444444444441 by B/3 * 17
310 14 A .1444444444444444443
311 15 A .1444444444444444433
312 16 A .14444444444444444310
313 17 B .144444444444444443110
314 16 B .144444444444444443112
315 15 A .144444444444444443132
316 14 A .144444444444444443332
+ 319 17 A .144444444444444441112 by A/3 * 3
320 16 B .144444444444444441111
321 15 A .144444444444444441131
+ 323 13 A .144444444444444443331 by A/1 * 2
324 14 A .144444444444444433331
+ 327 17 A .144444444444444431111 by A/3 * 3
+ 331 13 A .144444444444444433333 by A/1 * 4
+ 336 18 A .1444444444444444111110 by A/3 * 5
337 19 B .14444444444444441111110
338 18 B .14444444444444441111112
339 17 A .14444444444444441111132
+ 344 12 A .14444444444444443333332 by A/1 * 5
345 13 A .14444444444444433333332
+ 351 19 A .14444444444444431111112 by A/3 * 6
352 18 B .14444444444444431111111
353 17 A .14444444444444431111131
+ 358 12 A .14444444444444433333331 by A/1 * 5
+ 365 19 A .14444444444444411111111 by A/3 * 7
+ 373 11 A .14444444444444433333333 by A/1 * 8
374 12 A .14444444444444333333333
+ 382 20 A .144444444444443111111110 by A/3 * 8
383 21 B .1444444444444431111111110
384 20 B .1444444444444431111111112
385 19 A .1444444444444431111111132
+ 393 11 A .1444444444444433333333332 by A/1 * 8
+ 403 21 A .1444444444444411111111112 by A/3 * 10
404 20 B .1444444444444411111111111
405 19 A .1444444444444411111111131
+ 414 10 A .1444444444444433333333331 by A/1 * 9
415 11 A .1444444444444333333333331
+ 425 21 A .1444444444444311111111111 by A/3 * 10
+ 436 10 A .1444444444444333333333333 by A/1 * 11
+ 448 22 A .14444444444441111111111110 by A/3 * 12
449 23 B .144444444444411111111111110
450 22 B .144444444444411111111111112
451 21 A .144444444444411111111111132
+ 463 9 A .144444444444433333333333332 by A/1 * 12
464 10 A .144444444444333333333333332
+ 477 23 A .144444444444311111111111112 by A/3 * 13
478 22 B .144444444444311111111111111
479 21 A .144444444444311111111111131
+ 491 9 A .144444444444333333333333331 by A/1 * 12
+ 505 23 A .144444444444111111111111111 by A/3 * 14
+ 520 8 A .144444444444333333333333333 by A/1 * 15
521 9 A .144444444443333333333333333
+ 536 24 A .1444444444431111111111111110 by A/3 * 15
537 25 B .14444444444311111111111111110
538 24 B .14444444444311111111111111112
539 23 A .14444444444311111111111111132
+ 554 8 A .14444444444333333333333333332 by A/1 * 15
+ 571 25 A .14444444444111111111111111112 by A/3 * 17
572 24 B .14444444444111111111111111111
573 23 A .14444444444111111111111111131
+ 589 7 A .14444444444333333333333333331 by A/1 * 16
590 8 A .14444444443333333333333333331
+ 607 25 A .14444444443111111111111111111 by A/3 * 17
+ 625 7 A .14444444443333333333333333333 by A/1 * 18
+ 644 26 A .144444444411111111111111111110 by A/3 * 19
645 27 B .1444444444111111111111111111110
646 26 B .1444444444111111111111111111112
647 25 A .1444444444111111111111111111132
+ 666 6 A .1444444444333333333333333333332 by A/1 * 19
667 7 A .1444444443333333333333333333332
+ 687 27 A .1444444443111111111111111111112 by A/3 * 20
688 26 B .1444444443111111111111111111111
689 25 A .1444444443111111111111111111131
+ 708 6 A .1444444443333333333333333333331 by A/1 * 19
+ 729 27 A .1444444441111111111111111111111 by A/3 * 21
+ 751 5 A .1444444443333333333333333333333 by A/1 * 22
752 6 A .1444444433333333333333333333333
+ 774 28 A .14444444311111111111111111111110 by A/3 * 22
775 29 B .144444443111111111111111111111110
776 28 B .144444443111111111111111111111112
777 27 A .144444443111111111111111111111132
+ 799 5 A .144444443333333333333333333333332 by A/1 * 22
+ 823 29 A .144444441111111111111111111111112 by A/3 * 24
824 28 B .144444441111111111111111111111111
825 27 A .144444441111111111111111111111131
+ 848 4 A .144444443333333333333333333333331 by A/1 * 23
849 5 A .144444433333333333333333333333331
+ 873 29 A .144444431111111111111111111111111 by A/3 * 24
+ 898 4 A .144444433333333333333333333333333 by A/1 * 25
+ 924 30 A .1444444111111111111111111111111110 by A/3 * 26
925 31 B .14444441111111111111111111111111110
926 30 B .14444441111111111111111111111111112
927 29 A .14444441111111111111111111111111132
+ 953 3 A .14444443333333333333333333333333332 by A/1 * 26
954 4 A .14444433333333333333333333333333332
+ 981 31 A .14444431111111111111111111111111112 by A/3 * 27
982 30 B .14444431111111111111111111111111111
983 29 A .14444431111111111111111111111111131
+ 1009 3 A .14444433333333333333333333333333331 by A/1 * 26
+ 1037 31 A .14444411111111111111111111111111111 by A/3 * 28
+ 1066 2 A .14444433333333333333333333333333333 by A/1 * 29
1067 3 A .14444333333333333333333333333333333
+ 1096 32 A .144443111111111111111111111111111110 by A/3 * 29
1097 33 B .1444431111111111111111111111111111110
1098 32 B .1444431111111111111111111111111111112
1099 31 A .1444431111111111111111111111111111132
+ 1128 2 A .1444433333333333333333333333333333332 by A/1 * 29
+ 1159 33 A .1444411111111111111111111111111111112 by A/3 * 31
1160 32 B .1444411111111111111111111111111111111
1161 31 A .1444411111111111111111111111111111131
+ 1191 1 A .1444433333333333333333333333333333331 by A/1 * 30
1192 2 A .1444333333333333333333333333333333331
+ 1223 33 A .1444311111111111111111111111111111111 by A/3 * 31
+ 1255 1 A .1444333333333333333333333333333333333 by A/1 * 32
+ 1288 34 A .14441111111111111111111111111111111110 by A/3 * 33
1289 35 B .144411111111111111111111111111111111110
1290 34 B .144411111111111111111111111111111111112
After 1290 steps (201 lines): state = B.
Produced 39 nonzeros.
Tape index 34, scanned [-3 .. 35].
| State | Count | Execution count | First in step | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 4 | on 0 | on 1 | on 2 | on 3 | on 4 | ||
| A | 1213 | 21 | 562 | 15 | 594 | 21 | 0 | 13 | 11 | 9 | 14 |
| B | 77 | 18 | 33 | 2 | 24 | 1 | 2 | 5 | 4 | ||