Comment: This TM produces 10249 nonzeros in 98364599 steps. Comment: The halting transition has been changed to produce a 1
| 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 | 4RB | 4RA | 4RA | 1LA | 1LA | 1LB | 4 | right | B | 4 | right | A | 4 | right | A | 1 | left | A | 1 | left | A | 1 | left | B |
| B | 4LB | 2RB | 5LB | 3RA | 3LA | 1RH | 4 | left | B | 2 | right | B | 5 | left | B | 3 | right | A | 3 | left | A | 1 | right | H |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-macro machine.
Simulation is done as 1-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 1 1 (4)B>
2 3 -1 <A(3) 4
3 5 1 4 (3)A> 4
4 7 -1 4 <A(1) 1
5 8 -2 <A(1) 12
6 10 0 4 (2)B> 12
7 12 2 4 22 (2)B>
8 14 0 4 22 <B(5) 4
9 16 -2 4 <B(5) 52 4
10 17 -3 <A(3) 53 4
11 19 -1 4 (3)A> 53 4
12 22 0 4 3 (4)A> 52 4
13 24 -2 4 3 <A(3) 1 5 4
14 25 -3 4 <A(1) 3 1 5 4
15 26 -4 <A(1) 1 3 1 5 4
16 28 -2 4 (2)B> 1 3 1 5 4
17 29 -1 4 2 (2)B> 3 1 5 4
18 30 0 4 22 (3)A> 1 5 4
19 31 1 4 22 3 (4)A> 5 4
20 33 -1 4 22 3 <A(3) 1 4
21 34 -2 4 22 <A(1) 3 1 4
22 36 0 4 2 4 (4)A> 3 1 4
23 38 -2 4 2 4 <A(1) 12 4
24 39 -3 4 2 <A(1) 13 4
25 41 -1 42 (4)A> 13 4
26 44 2 45 (4)A> 4
27 46 0 45 <A(1) 1
28 51 -5 <A(1) 16
29 53 -3 4 (2)B> 16
30 59 3 4 26 (2)B>
31 61 1 4 26 <B(5) 4
32 67 -5 4 <B(5) 56 4
33 68 -6 <A(3) 57 4
34 70 -4 4 (3)A> 57 4
35 73 -3 4 3 (4)A> 56 4
36 75 -5 4 3 <A(3) 1 55 4
37 76 -6 4 <A(1) 3 1 55 4
38 77 -7 <A(1) 1 3 1 55 4
39 79 -5 4 (2)B> 1 3 1 55 4
40 80 -4 4 2 (2)B> 3 1 55 4
41 81 -3 4 22 (3)A> 1 55 4
42 82 -2 4 22 3 (4)A> 55 4
43 84 -4 4 22 3 <A(3) 1 54 4
44 85 -5 4 22 <A(1) 3 1 54 4
45 87 -3 4 2 4 (4)A> 3 1 54 4
46 89 -5 4 2 4 <A(1) 12 54 4
47 90 -6 4 2 <A(1) 13 54 4
48 92 -4 42 (4)A> 13 54 4
49 95 -1 45 (4)A> 54 4
50 97 -3 45 <A(3) 1 53 4
51 98 -4 44 <A(1) 3 1 53 4
52 102 -8 <A(1) 14 3 1 53 4
53 104 -6 4 (2)B> 14 3 1 53 4
54 108 -2 4 24 (2)B> 3 1 53 4
55 109 -1 4 25 (3)A> 1 53 4
56 110 0 4 25 3 (4)A> 53 4
57 112 -2 4 25 3 <A(3) 1 52 4
58 113 -3 4 25 <A(1) 3 1 52 4
59 115 -1 4 24 4 (4)A> 3 1 52 4
60 117 -3 4 24 4 <A(1) 12 52 4
61 118 -4 4 24 <A(1) 13 52 4
62 120 -2 4 23 4 (4)A> 13 52 4
63 123 1 4 23 44 (4)A> 52 4
64 125 -1 4 23 44 <A(3) 1 5 4
65 126 -2 4 23 43 <A(1) 3 1 5 4
66 129 -5 4 23 <A(1) 13 3 1 5 4
67 131 -3 4 22 4 (4)A> 13 3 1 5 4
68 134 0 4 22 44 (4)A> 3 1 5 4
>> Try to prove a PA-CTR with 3 Vars...
0 0 0 [*]* 23+V(2) 41+V(1) (4)A> 3 1 52+V(3) [*]*
1 2 -2 [*]* 23+V(2) 41+V(1) <A(1) 12 52+V(3) [*]*
2 3+V(1) -3+-1*V(1) [*]* 23+V(2) <A(1) 13+V(1) 52+V(3) [*]*
3 5+V(1) -1+-1*V(1) [*]* 22+V(2) 4 (4)A> 13+V(1) 52+V(3) [*]*
4 8+2*V(1) 2 [*]* 22+V(2) 44+V(1) (4)A> 52+V(3) [*]*
5 10+2*V(1) 0 [*]* 22+V(2) 44+V(1) <A(3) 1 51+V(3) [*]*
6 11+2*V(1) -1 [*]* 22+V(2) 43+V(1) <A(1) 3 1 51+V(3) [*]*
7 14+3*V(1) -4+-1*V(1) [*]* 22+V(2) <A(1) 13+V(1) 3 1 51+V(3) [*]*
8 16+3*V(1) -2+-1*V(1) [*]* 21+V(2) 4 (4)A> 13+V(1) 3 1 51+V(3) [*]*
9 19+4*V(1) 1 [*]* 21+V(2) 44+V(1) (4)A> 3 1 51+V(3) [*]*
<< Success! ==> defined new CTR 1 (PA)
69 136 -2 4 22 44 <A(1) 12 5 4
70 140 -6 4 22 <A(1) 16 5 4
71 142 -4 4 2 4 (4)A> 16 5 4
72 148 2 4 2 47 (4)A> 5 4
73 150 0 4 2 47 <A(3) 1 4
74 151 -1 4 2 46 <A(1) 3 1 4
75 157 -7 4 2 <A(1) 16 3 1 4
76 159 -5 42 (4)A> 16 3 1 4
77 165 1 48 (4)A> 3 1 4
78 167 -1 48 <A(1) 12 4
79 175 -9 <A(1) 110 4
80 177 -7 4 (2)B> 110 4
81 187 3 4 210 (2)B> 4
82 191 1 4 210 <A(1) 1
83 193 3 4 29 4 (4)A> 1
84 194 4 4 29 42 (4)A>
85 195 5 4 29 43 (4)B>
86 197 3 4 29 43 <A(3) 4
87 198 2 4 29 42 <A(1) 3 4
88 200 0 4 29 <A(1) 12 3 4
89 202 2 4 28 4 (4)A> 12 3 4
90 204 4 4 28 43 (4)A> 3 4
91 206 2 4 28 43 <A(1) 1 4
92 209 -1 4 28 <A(1) 14 4
93 211 1 4 27 4 (4)A> 14 4
94 215 5 4 27 45 (4)A> 4
95 217 3 4 27 45 <A(1) 1
96 222 -2 4 27 <A(1) 16
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 24+V(1) <A(1) 11+V(2)
1 2 2 [*]* 23+V(1) 4 (4)A> 11+V(2)
2 3+V(2) 3+V(2) [*]* 23+V(1) 42+V(2) (4)A>
3 4+V(2) 4+V(2) [*]* 23+V(1) 43+V(2) (4)B>
4 6+V(2) 2+V(2) [*]* 23+V(1) 43+V(2) <A(3) 4
5 7+V(2) 1+V(2) [*]* 23+V(1) 42+V(2) <A(1) 3 4
6 9+2*V(2) -1 [*]* 23+V(1) <A(1) 12+V(2) 3 4
7 11+2*V(2) 1 [*]* 22+V(1) 4 (4)A> 12+V(2) 3 4
8 13+3*V(2) 3+V(2) [*]* 22+V(1) 43+V(2) (4)A> 3 4
9 15+3*V(2) 1+V(2) [*]* 22+V(1) 43+V(2) <A(1) 1 4
10 18+4*V(2) -2 [*]* 22+V(1) <A(1) 14+V(2) 4
11 20+4*V(2) 0 [*]* 21+V(1) 4 (4)A> 14+V(2) 4
12 24+5*V(2) 4+V(2) [*]* 21+V(1) 45+V(2) (4)A> 4
13 26+5*V(2) 2+V(2) [*]* 21+V(1) 45+V(2) <A(1) 1
14 31+6*V(2) -3 [*]* 21+V(1) <A(1) 16+V(2)
<< Success! ==> defined new CTR 2 (PA)
96 222 -2 4 27 <A(1) 16
== Executing PA-CTR 2, V(1)=3, V(2)=5, repcount=2, factor=5/3
124 374 -8 4 2 <A(1) 116
125 376 -6 42 (4)A> 116
126 392 10 418 (4)A>
127 393 11 419 (4)B>
128 395 9 419 <A(3) 4
129 396 8 418 <A(1) 3 4
130 414 -10 <A(1) 118 3 4
131 416 -8 4 (2)B> 118 3 4
132 434 10 4 218 (2)B> 3 4
133 435 11 4 219 (3)A> 4
134 437 9 4 219 <A(1) 1
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 41+V(1) 2 <A(1) 11+V(2)
1 2 2 42+V(1) (4)A> 11+V(2)
2 3+V(2) 3+V(2) 43+V(1)+V(2) (4)A>
3 4+V(2) 4+V(2) 44+V(1)+V(2) (4)B>
4 6+V(2) 2+V(2) 44+V(1)+V(2) <A(3) 4
5 7+V(2) 1+V(2) 43+V(1)+V(2) <A(1) 3 4
6 10+V(1)+2*V(2) -2+-1*V(1) <A(1) 13+V(1)+V(2) 3 4
7 12+V(1)+2*V(2) 0+-1*V(1) 4 (2)B> 13+V(1)+V(2) 3 4
8 15+2*V(1)+3*V(2) 3+V(2) 4 23+V(1)+V(2) (2)B> 3 4
9 16+2*V(1)+3*V(2) 4+V(2) 4 24+V(1)+V(2) (3)A> 4
10 18+2*V(1)+3*V(2) 2+V(2) 4 24+V(1)+V(2) <A(1) 1
<< Success! ==> defined new CTR 3 (PPA)
134 437 9 4 219 <A(1) 1
== Executing PA-CTR 2, V(1)=15, V(2)=0, repcount=6, factor=5/3
218 1073 -9 4 2 <A(1) 131
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=30
228 1181 23 4 234 <A(1) 1
== Executing PA-CTR 2, V(1)=30, V(2)=0, repcount=11, factor=5/3
382 3172 -10 4 2 <A(1) 156
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=55
392 3355 47 4 259 <A(1) 1
== Executing PA-CTR 2, V(1)=55, V(2)=0, repcount=19, factor=5/3
658 9074 -10 4 22 <A(1) 196
659 9076 -8 4 2 4 (4)A> 196
660 9172 88 4 2 497 (4)A>
661 9173 89 4 2 498 (4)B>
662 9175 87 4 2 498 <A(3) 4
663 9176 86 4 2 497 <A(1) 3 4
664 9273 -11 4 2 <A(1) 197 3 4
665 9275 -9 42 (4)A> 197 3 4
666 9372 88 499 (4)A> 3 4
667 9374 86 499 <A(1) 1 4
668 9473 -13 <A(1) 1100 4
669 9475 -11 4 (2)B> 1100 4
670 9575 89 4 2100 (2)B> 4
671 9579 87 4 2100 <A(1) 1
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 41+V(1) 22 <A(1) 11+V(2)
1 2 2 41+V(1) 2 4 (4)A> 11+V(2)
2 3+V(2) 3+V(2) 41+V(1) 2 42+V(2) (4)A>
3 4+V(2) 4+V(2) 41+V(1) 2 43+V(2) (4)B>
4 6+V(2) 2+V(2) 41+V(1) 2 43+V(2) <A(3) 4
5 7+V(2) 1+V(2) 41+V(1) 2 42+V(2) <A(1) 3 4
6 9+2*V(2) -1 41+V(1) 2 <A(1) 12+V(2) 3 4
7 11+2*V(2) 1 42+V(1) (4)A> 12+V(2) 3 4
8 13+3*V(2) 3+V(2) 44+V(1)+V(2) (4)A> 3 4
9 15+3*V(2) 1+V(2) 44+V(1)+V(2) <A(1) 1 4
10 19+V(1)+4*V(2) -3+-1*V(1) <A(1) 15+V(1)+V(2) 4
11 21+V(1)+4*V(2) -1+-1*V(1) 4 (2)B> 15+V(1)+V(2) 4
12 26+2*V(1)+5*V(2) 4+V(2) 4 25+V(1)+V(2) (2)B> 4
13 30+2*V(1)+5*V(2) 2+V(2) 4 25+V(1)+V(2) <A(1) 1
<< Success! ==> defined new CTR 4 (PPA)
671 9579 87 4 2100 <A(1) 1
== Executing PA-CTR 2, V(1)=96, V(2)=0, repcount=33, factor=5/3
1133 26442 -12 4 2 <A(1) 1166
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=165
1143 26955 155 4 2169 <A(1) 1
== Executing PA-CTR 2, V(1)=165, V(2)=0, repcount=56, factor=5/3
1927 74891 -13 4 2 <A(1) 1281
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=280
1937 75749 269 4 2284 <A(1) 1
== Executing PA-CTR 2, V(1)=280, V(2)=0, repcount=94, factor=5/3
3253 209793 -13 4 22 <A(1) 1471
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=470
3266 212173 459 4 2475 <A(1) 1
== Executing PA-CTR 2, V(1)=471, V(2)=0, repcount=158, factor=5/3
5478 589161 -15 4 2 <A(1) 1791
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=790
5488 591549 777 4 2794 <A(1) 1
== Executing PA-CTR 2, V(1)=790, V(2)=0, repcount=264, factor=5/3
9184 1641213 -15 4 22 <A(1) 11321
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=1320
9197 1647843 1307 4 21325 <A(1) 1
== Executing PA-CTR 2, V(1)=1321, V(2)=0, repcount=441, factor=5/3
15371 4572114 -16 4 22 <A(1) 12206
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=2205
15384 4583169 2191 4 22210 <A(1) 1
== Executing PA-CTR 2, V(1)=2206, V(2)=0, repcount=736, factor=5/3
25688 12720385 -17 4 22 <A(1) 13681
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=3680
25701 12738815 3665 4 23685 <A(1) 1
== Executing PA-CTR 2, V(1)=3681, V(2)=0, repcount=1228, factor=5/3
42893 35378223 -19 4 2 <A(1) 16141
== Executing PPA-CTR 3 (once), V(1)=0, V(2)=6140
42903 35396661 6123 4 26144 <A(1) 1
== Executing PA-CTR 2, V(1)=6140, V(2)=0, repcount=2047, factor=5/3
71561 98282548 -18 4 23 <A(1) 110236
71562 98282550 -16 4 22 4 (4)A> 110236
71563 98292786 10220 4 22 410237 (4)A>
71564 98292787 10221 4 22 410238 (4)B>
71565 98292789 10219 4 22 410238 <A(3) 4
71566 98292790 10218 4 22 410237 <A(1) 3 4
71567 98303027 -19 4 22 <A(1) 110237 3 4
71568 98303029 -17 4 2 4 (4)A> 110237 3 4
71569 98313266 10220 4 2 410238 (4)A> 3 4
71570 98313268 10218 4 2 410238 <A(1) 1 4
71571 98323506 -20 4 2 <A(1) 110239 4
71572 98323508 -18 42 (4)A> 110239 4
71573 98333747 10221 410241 (4)A> 4
71574 98333749 10219 410241 <A(1) 1
71575 98343990 -22 <A(1) 110242
71576 98343992 -20 4 (2)B> 110242
71577 98354234 10222 4 210242 (2)B>
71578 98354236 10220 4 210242 <B(5) 4
71579 98364478 -22 4 <B(5) 510242 4
71580 98364479 -23 <A(3) 510243 4
71581 98364481 -21 4 (3)A> 510243 4
71582 98364484 -20 4 3 (4)A> 510242 4
71583 98364486 -22 4 3 <A(3) 1 510241 4
71584 98364487 -23 4 <A(1) 3 1 510241 4
71585 98364488 -24 <A(1) 1 3 1 510241 4
71586 98364490 -22 4 (2)B> 1 3 1 510241 4
71587 98364491 -21 4 2 (2)B> 3 1 510241 4
71588 98364492 -20 4 22 (3)A> 1 510241 4
71589 98364493 -19 4 22 3 (4)A> 510241 4
71590 98364495 -21 4 22 3 <A(3) 1 510240 4
71591 98364496 -22 4 22 <A(1) 3 1 510240 4
71592 98364498 -20 4 2 4 (4)A> 3 1 510240 4
71593 98364500 -22 4 2 4 <A(1) 12 510240 4
71594 98364501 -23 4 2 <A(1) 13 510240 4
71595 98364503 -21 42 (4)A> 13 510240 4
71596 98364506 -18 45 (4)A> 510240 4
71597 98364508 -20 45 <A(3) 1 510239 4
71598 98364509 -21 44 <A(1) 3 1 510239 4
71599 98364513 -25 <A(1) 14 3 1 510239 4
71600 98364515 -23 4 (2)B> 14 3 1 510239 4
71601 98364519 -19 4 24 (2)B> 3 1 510239 4
71602 98364520 -18 4 25 (3)A> 1 510239 4
71603 98364521 -17 4 25 3 (4)A> 510239 4
71604 98364523 -19 4 25 3 <A(3) 1 510238 4
71605 98364524 -20 4 25 <A(1) 3 1 510238 4
71606 98364526 -18 4 24 4 (4)A> 3 1 510238 4
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 41+V(1) 23 <A(1) 11+V(2)
1 2 2 41+V(1) 22 4 (4)A> 11+V(2)
2 3+V(2) 3+V(2) 41+V(1) 22 42+V(2) (4)A>
3 4+V(2) 4+V(2) 41+V(1) 22 43+V(2) (4)B>
4 6+V(2) 2+V(2) 41+V(1) 22 43+V(2) <A(3) 4
5 7+V(2) 1+V(2) 41+V(1) 22 42+V(2) <A(1) 3 4
6 9+2*V(2) -1 41+V(1) 22 <A(1) 12+V(2) 3 4
7 11+2*V(2) 1 41+V(1) 2 4 (4)A> 12+V(2) 3 4
8 13+3*V(2) 3+V(2) 41+V(1) 2 43+V(2) (4)A> 3 4
9 15+3*V(2) 1+V(2) 41+V(1) 2 43+V(2) <A(1) 1 4
10 18+4*V(2) -2 41+V(1) 2 <A(1) 14+V(2) 4
11 20+4*V(2) 0 42+V(1) (4)A> 14+V(2) 4
12 24+5*V(2) 4+V(2) 46+V(1)+V(2) (4)A> 4
13 26+5*V(2) 2+V(2) 46+V(1)+V(2) <A(1) 1
14 32+V(1)+6*V(2) -4+-1*V(1) <A(1) 17+V(1)+V(2)
15 34+V(1)+6*V(2) -2+-1*V(1) 4 (2)B> 17+V(1)+V(2)
16 41+2*V(1)+7*V(2) 5+V(2) 4 27+V(1)+V(2) (2)B>
17 43+2*V(1)+7*V(2) 3+V(2) 4 27+V(1)+V(2) <B(5) 4
18 50+3*V(1)+8*V(2) -4+-1*V(1) 4 <B(5) 57+V(1)+V(2) 4
19 51+3*V(1)+8*V(2) -5+-1*V(1) <A(3) 58+V(1)+V(2) 4
20 53+3*V(1)+8*V(2) -3+-1*V(1) 4 (3)A> 58+V(1)+V(2) 4
21 56+3*V(1)+8*V(2) -2+-1*V(1) 4 3 (4)A> 57+V(1)+V(2) 4
22 58+3*V(1)+8*V(2) -4+-1*V(1) 4 3 <A(3) 1 56+V(1)+V(2) 4
23 59+3*V(1)+8*V(2) -5+-1*V(1) 4 <A(1) 3 1 56+V(1)+V(2) 4
24 60+3*V(1)+8*V(2) -6+-1*V(1) <A(1) 1 3 1 56+V(1)+V(2) 4
25 62+3*V(1)+8*V(2) -4+-1*V(1) 4 (2)B> 1 3 1 56+V(1)+V(2) 4
26 63+3*V(1)+8*V(2) -3+-1*V(1) 4 2 (2)B> 3 1 56+V(1)+V(2) 4
27 64+3*V(1)+8*V(2) -2+-1*V(1) 4 22 (3)A> 1 56+V(1)+V(2) 4
28 65+3*V(1)+8*V(2) -1+-1*V(1) 4 22 3 (4)A> 56+V(1)+V(2) 4
29 67+3*V(1)+8*V(2) -3+-1*V(1) 4 22 3 <A(3) 1 55+V(1)+V(2) 4
30 68+3*V(1)+8*V(2) -4+-1*V(1) 4 22 <A(1) 3 1 55+V(1)+V(2) 4
31 70+3*V(1)+8*V(2) -2+-1*V(1) 4 2 4 (4)A> 3 1 55+V(1)+V(2) 4
32 72+3*V(1)+8*V(2) -4+-1*V(1) 4 2 4 <A(1) 12 55+V(1)+V(2) 4
33 73+3*V(1)+8*V(2) -5+-1*V(1) 4 2 <A(1) 13 55+V(1)+V(2) 4
34 75+3*V(1)+8*V(2) -3+-1*V(1) 42 (4)A> 13 55+V(1)+V(2) 4
35 78+3*V(1)+8*V(2) 0+-1*V(1) 45 (4)A> 55+V(1)+V(2) 4
36 80+3*V(1)+8*V(2) -2+-1*V(1) 45 <A(3) 1 54+V(1)+V(2) 4
37 81+3*V(1)+8*V(2) -3+-1*V(1) 44 <A(1) 3 1 54+V(1)+V(2) 4
38 85+3*V(1)+8*V(2) -7+-1*V(1) <A(1) 14 3 1 54+V(1)+V(2) 4
39 87+3*V(1)+8*V(2) -5+-1*V(1) 4 (2)B> 14 3 1 54+V(1)+V(2) 4
40 91+3*V(1)+8*V(2) -1+-1*V(1) 4 24 (2)B> 3 1 54+V(1)+V(2) 4
41 92+3*V(1)+8*V(2) 0+-1*V(1) 4 25 (3)A> 1 54+V(1)+V(2) 4
42 93+3*V(1)+8*V(2) 1+-1*V(1) 4 25 3 (4)A> 54+V(1)+V(2) 4
43 95+3*V(1)+8*V(2) -1+-1*V(1) 4 25 3 <A(3) 1 53+V(1)+V(2) 4
44 96+3*V(1)+8*V(2) -2+-1*V(1) 4 25 <A(1) 3 1 53+V(1)+V(2) 4
45 98+3*V(1)+8*V(2) 0+-1*V(1) 4 24 4 (4)A> 3 1 53+V(1)+V(2) 4
<< Success! ==> defined new CTR 5 (PPA)
71606 98364526 -18 4 24 4 (4)A> 3 1 510238 4
== Executing PA-CTR 1, V(1)=0, V(2)=1, V(3)=10236, repcount=1, factor=3/2
71615 98364545 -17 4 22 44 (4)A> 3 1 510237 4
71616 98364547 -19 4 22 44 <A(1) 12 510237 4
71617 98364551 -23 4 22 <A(1) 16 510237 4
71618 98364553 -21 4 2 4 (4)A> 16 510237 4
71619 98364559 -15 4 2 47 (4)A> 510237 4
71620 98364561 -17 4 2 47 <A(3) 1 510236 4
71621 98364562 -18 4 2 46 <A(1) 3 1 510236 4
71622 98364568 -24 4 2 <A(1) 16 3 1 510236 4
71623 98364570 -22 42 (4)A> 16 3 1 510236 4
71624 98364576 -16 48 (4)A> 3 1 510236 4
71625 98364578 -18 48 <A(1) 12 510236 4
71626 98364586 -26 <A(1) 110 510236 4
71627 98364588 -24 4 (2)B> 110 510236 4
71628 98364598 -14 4 210 (2)B> 510236 4
71629 98364599 -13 4 211 (1)H> 510235 4
71629 98364599 -13 4 211 (1)H> 510235 4 [stop]
Lines: 204
Top steps: 202
Macro steps: 71629
Basic steps: 98364599
Tape index: -13
nonzeros: 10249
log10(nonzeros): 4.011
log10(steps ): 7.993
Run state: stop
Input to awk program:
gohalt 1
nbs 6
T 2-state 6-symbol #b (T.J. & S. Ligocki)
: 10249 98364599
C The halting transition has been changed to produce a 1
5T 4RB 4RA 4RA 1LA 1LA 1LB 4LB 2RB 5LB 3RA 3LA 1RH
L 10
M 250
pref sim
machv Lig26_b just simple
machv Lig26_b-r with repetitions reduced
machv Lig26_b-1 with tape symbol exponents
machv Lig26_b-m as 1-bck-macro machine
machv Lig26_b-a as 1-bck-macro machine with pure additive config-TRs
iam Lig26_b-a
mtype 1 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:12 CEST 2010
edate Tue Jul 6 22:13:13 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:13:12 CEST 2010