Comment: This TM produces 4097 ones in 11798796 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | A1L | 1 | left | B | 1 | left | A |
| B | C1R | D1L | 1 | right | C | 1 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E0L | 1 | left | H | 0 | left | E |
| E | C1R | B1L | 1 | right | C | 1 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-macro machine.
Simulation is done as 3-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 -1 <B 100
2 2 0 001 C> 100
3 7 -1 001 <E 011
4 10 0 011 C> 011
5 13 -1 011 <A 111
6 16 -4 <B 1112
7 17 -3 001 C> 1112
8 23 3 001 1112 C>
9 26 2 001 1112 <D 110
10 32 -4 001 <D 1103
11 35 -3 011 A> 1103
12 36 -4 011 <A 1103
13 39 -7 <B 111 1103
14 40 -6 001 C> 111 1103
15 43 -3 001 111 C> 1103
16 46 0 001 1112 A> 1102
17 47 -1 001 1112 <A 1102
18 53 -7 001 <A 1112 1102
19 58 -6 111 C> 1112 1102
20 64 0 1113 C> 1102
21 67 3 1114 A> 110
22 68 2 1114 <A 110
23 80 -10 <A 1114 110
24 83 -9 011 C> 1114 110
25 95 3 011 1114 C> 110
26 98 6 011 1115 A>
27 99 5 011 1115 <B 100
28 114 -10 011 <B 1015 100
29 121 -13 <A 111 1015 100
30 124 -12 011 C> 111 1015 100
31 127 -9 011 111 C> 1015 100
32 132 -10 011 111 <A 111 1014 100
33 135 -13 011 <A 1112 1014 100
34 138 -16 <B 1113 1014 100
35 139 -15 001 C> 1113 1014 100
36 148 -6 001 1113 C> 1014 100
37 153 -7 001 1113 <A 111 1013 100
38 162 -16 001 <A 1114 1013 100
39 167 -15 111 C> 1114 1013 100
40 179 -3 1115 C> 1013 100
41 184 -4 1115 <A 111 1012 100
42 199 -19 <A 1116 1012 100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <A 1111+V(2) 1014+V(1) [*]*
1 3 1 011 C> 1111+V(2) 1014+V(1) [*]*
2 6+3*V(2) 4+3*V(2) 011 1111+V(2) C> 1014+V(1) [*]*
3 11+3*V(2) 3+3*V(2) 011 1111+V(2) <A 111 1013+V(1) [*]*
4 14+6*V(2) 0 011 <A 1112+V(2) 1013+V(1) [*]*
5 17+6*V(2) -3 <B 1113+V(2) 1013+V(1) [*]*
6 18+6*V(2) -2 001 C> 1113+V(2) 1013+V(1) [*]*
7 27+9*V(2) 7+3*V(2) 001 1113+V(2) C> 1013+V(1) [*]*
8 32+9*V(2) 6+3*V(2) 001 1113+V(2) <A 111 1012+V(1) [*]*
9 41+12*V(2) -3 001 <A 1114+V(2) 1012+V(1) [*]*
10 46+12*V(2) -2 111 C> 1114+V(2) 1012+V(1) [*]*
11 58+15*V(2) 10+3*V(2) 1115+V(2) C> 1012+V(1) [*]*
12 63+15*V(2) 9+3*V(2) 1115+V(2) <A 111 1011+V(1) [*]*
13 78+18*V(2) -6 <A 1116+V(2) 1011+V(1) [*]*
<< Success! ==> defined new CTR 1 (PA)
43 202 -18 011 C> 1116 1012 100
44 220 0 011 1116 C> 1012 100
45 225 -1 011 1116 <A 111 101 100
46 243 -19 011 <A 1117 101 100
47 246 -22 <B 1118 101 100
48 247 -21 001 C> 1118 101 100
49 271 3 001 1118 C> 101 100
50 276 2 001 1118 <A 111 100
51 300 -22 001 <A 1119 100
52 305 -21 111 C> 1119 100
53 332 6 11110 C> 100
54 337 5 11110 <E 011
55 367 -25 <E 01111
56 368 -24 001 C> 01111
57 371 -25 001 <A 111 01110
58 376 -24 111 C> 111 01110
59 379 -21 1112 C> 01110
60 382 -22 1112 <A 111 0119
61 388 -28 <A 1113 0119
62 391 -27 011 C> 1113 0119
63 400 -18 011 1113 C> 0119
64 403 -19 011 1113 <A 111 0118
65 412 -28 011 <A 1114 0118
66 415 -31 <B 1115 0118
67 416 -30 001 C> 1115 0118
68 431 -15 001 1115 C> 0118
69 434 -16 001 1115 <A 111 0117
70 449 -31 001 <A 1116 0117
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 001 <A 1111+V(2) 0114+V(1)
1 5 1 111 C> 1111+V(2) 0114+V(1)
2 8+3*V(2) 4+3*V(2) 1112+V(2) C> 0114+V(1)
3 11+3*V(2) 3+3*V(2) 1112+V(2) <A 111 0113+V(1)
4 17+6*V(2) -3 <A 1113+V(2) 0113+V(1)
5 20+6*V(2) -2 011 C> 1113+V(2) 0113+V(1)
6 29+9*V(2) 7+3*V(2) 011 1113+V(2) C> 0113+V(1)
7 32+9*V(2) 6+3*V(2) 011 1113+V(2) <A 111 0112+V(1)
8 41+12*V(2) -3 011 <A 1114+V(2) 0112+V(1)
9 44+12*V(2) -6 <B 1115+V(2) 0112+V(1)
10 45+12*V(2) -5 001 C> 1115+V(2) 0112+V(1)
11 60+15*V(2) 10+3*V(2) 001 1115+V(2) C> 0112+V(1)
12 63+15*V(2) 9+3*V(2) 001 1115+V(2) <A 111 0111+V(1)
13 78+18*V(2) -6 001 <A 1116+V(2) 0111+V(1)
<< Success! ==> defined new CTR 2 (PA)
70 449 -31 001 <A 1116 0117
== Executing PA-CTR 2, V(1)=3, V(2)=5, repcount=2, factor=5/3
96 875 -43 001 <A 11116 011
97 880 -42 111 C> 11116 011
98 928 6 11117 C> 011
99 931 5 11117 <A 111
100 982 -46 <A 11118
101 985 -45 011 C> 11118
102 1039 9 011 11118 C>
103 1042 8 011 11118 <D 110
104 1096 -46 011 <D 11019
105 1101 -45 111 A> 11019
106 1102 -46 111 <A 11019
107 1105 -49 <A 111 11019
108 1108 -48 011 C> 111 11019
109 1111 -45 011 111 C> 11019
110 1114 -42 011 1112 A> 11018
111 1115 -43 011 1112 <A 11018
112 1121 -49 011 <A 1112 11018
113 1124 -52 <B 1113 11018
114 1125 -51 001 C> 1113 11018
115 1134 -42 001 1113 C> 11018
116 1137 -39 001 1114 A> 11017
117 1138 -40 001 1114 <A 11017
118 1150 -52 001 <A 1114 11017
119 1155 -51 111 C> 1114 11017
120 1167 -39 1115 C> 11017
121 1170 -36 1116 A> 11016
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1111+V(1) A> 1104+V(2)
1 1 -1 1111+V(1) <A 1104+V(2)
2 4+3*V(1) -4+-3*V(1) <A 1111+V(1) 1104+V(2)
3 7+3*V(1) -3+-3*V(1) 011 C> 1111+V(1) 1104+V(2)
4 10+6*V(1) 0 011 1111+V(1) C> 1104+V(2)
5 13+6*V(1) 3 011 1112+V(1) A> 1103+V(2)
6 14+6*V(1) 2 011 1112+V(1) <A 1103+V(2)
7 20+9*V(1) -4+-3*V(1) 011 <A 1112+V(1) 1103+V(2)
8 23+9*V(1) -7+-3*V(1) <B 1113+V(1) 1103+V(2)
9 24+9*V(1) -6+-3*V(1) 001 C> 1113+V(1) 1103+V(2)
10 33+12*V(1) 3 001 1113+V(1) C> 1103+V(2)
11 36+12*V(1) 6 001 1114+V(1) A> 1102+V(2)
12 37+12*V(1) 5 001 1114+V(1) <A 1102+V(2)
13 49+15*V(1) -7+-3*V(1) 001 <A 1114+V(1) 1102+V(2)
14 54+15*V(1) -6+-3*V(1) 111 C> 1114+V(1) 1102+V(2)
15 66+18*V(1) 6 1115+V(1) C> 1102+V(2)
16 69+18*V(1) 9 1116+V(1) A> 1101+V(2)
<< Success! ==> defined new CTR 3 (PA)
121 1170 -36 1116 A> 11016
== Executing PA-CTR 3, V(1)=5, V(2)=12, repcount=5, factor=5/3
201 2865 9 11131 A> 110
202 2866 8 11131 <A 110
203 2959 -85 <A 11131 110
204 2962 -84 011 C> 11131 110
205 3055 9 011 11131 C> 110
206 3058 12 011 11132 A>
207 3059 11 011 11132 <B 100
208 3155 -85 011 <B 10132 100
209 3162 -88 <A 111 10132 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1113+V(1) A> 110
1 1 -1 1113+V(1) <A 110
2 10+3*V(1) -10+-3*V(1) <A 1113+V(1) 110
3 13+3*V(1) -9+-3*V(1) 011 C> 1113+V(1) 110
4 22+6*V(1) 0 011 1113+V(1) C> 110
5 25+6*V(1) 3 011 1114+V(1) A>
6 26+6*V(1) 2 011 1114+V(1) <B 100
7 38+9*V(1) -10+-3*V(1) 011 <B 1014+V(1) 100
8 45+9*V(1) -13+-3*V(1) <A 111 1014+V(1) 100
<< Success! ==> defined new CTR 4 (PPA)
209 3162 -88 <A 111 10132 100
== Executing PA-CTR 1, V(1)=28, V(2)=0, repcount=10, factor=5/3
339 7992 -148 <A 11151 1012 100
340 7995 -147 011 C> 11151 1012 100
341 8148 6 011 11151 C> 1012 100
342 8153 5 011 11151 <A 111 101 100
343 8306 -148 011 <A 11152 101 100
344 8309 -151 <B 11153 101 100
345 8310 -150 001 C> 11153 101 100
346 8469 9 001 11153 C> 101 100
347 8474 8 001 11153 <A 111 100
348 8633 -151 001 <A 11154 100
349 8638 -150 111 C> 11154 100
350 8800 12 11155 C> 100
351 8805 11 11155 <E 011
352 8970 -154 <E 01156
353 8971 -153 001 C> 01156
354 8974 -154 001 <A 111 01155
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <A 1111+V(1) 1012 100
1 3 1 011 C> 1111+V(1) 1012 100
2 6+3*V(1) 4+3*V(1) 011 1111+V(1) C> 1012 100
3 11+3*V(1) 3+3*V(1) 011 1111+V(1) <A 111 101 100
4 14+6*V(1) 0 011 <A 1112+V(1) 101 100
5 17+6*V(1) -3 <B 1113+V(1) 101 100
6 18+6*V(1) -2 001 C> 1113+V(1) 101 100
7 27+9*V(1) 7+3*V(1) 001 1113+V(1) C> 101 100
8 32+9*V(1) 6+3*V(1) 001 1113+V(1) <A 111 100
9 41+12*V(1) -3 001 <A 1114+V(1) 100
10 46+12*V(1) -2 111 C> 1114+V(1) 100
11 58+15*V(1) 10+3*V(1) 1115+V(1) C> 100
12 63+15*V(1) 9+3*V(1) 1115+V(1) <E 011
13 78+18*V(1) -6 <E 0116+V(1)
14 79+18*V(1) -5 001 C> 0116+V(1)
15 82+18*V(1) -6 001 <A 111 0115+V(1)
<< Success! ==> defined new CTR 5 (PPA)
354 8974 -154 001 <A 111 01155
== Executing PA-CTR 2, V(1)=51, V(2)=0, repcount=18, factor=5/3
588 24148 -262 001 <A 11191 011
589 24153 -261 111 C> 11191 011
590 24426 12 11192 C> 011
591 24429 11 11192 <A 111
592 24705 -265 <A 11193
593 24708 -264 011 C> 11193
594 24987 15 011 11193 C>
595 24990 14 011 11193 <D 110
596 25269 -265 011 <D 11094
597 25274 -264 111 A> 11094
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 001 <A 1111+V(1) 011
1 5 1 111 C> 1111+V(1) 011
2 8+3*V(1) 4+3*V(1) 1112+V(1) C> 011
3 11+3*V(1) 3+3*V(1) 1112+V(1) <A 111
4 17+6*V(1) -3 <A 1113+V(1)
5 20+6*V(1) -2 011 C> 1113+V(1)
6 29+9*V(1) 7+3*V(1) 011 1113+V(1) C>
7 32+9*V(1) 6+3*V(1) 011 1113+V(1) <D 110
8 41+12*V(1) -3 011 <D 1104+V(1)
9 46+12*V(1) -2 111 A> 1104+V(1)
<< Success! ==> defined new CTR 6 (PPA)
597 25274 -264 111 A> 11094
== Executing PA-CTR 3, V(1)=0, V(2)=90, repcount=31, factor=5/3
1093 69263 15 111156 A> 110
== Executing PPA-CTR 4 (once), V(1)=153
1101 70685 -457 <A 111 101157 100
== Executing PA-CTR 1, V(1)=153, V(2)=0, repcount=52, factor=5/3
1777 194081 -769 <A 111261 101 100
1778 194084 -768 011 C> 111261 101 100
1779 194867 15 011 111261 C> 101 100
1780 194872 14 011 111261 <A 111 100
1781 195655 -769 011 <A 111262 100
1782 195658 -772 <B 111263 100
1783 195659 -771 001 C> 111263 100
1784 196448 18 001 111263 C> 100
1785 196453 17 001 111263 <E 011
1786 197242 -772 001 <E 011264
1787 197245 -771 011 C> 011264
1788 197248 -772 011 <A 111 011263
1789 197251 -775 <B 1112 011263
1790 197252 -774 001 C> 1112 011263
1791 197258 -768 001 1112 C> 011263
1792 197261 -769 001 1112 <A 111 011262
1793 197267 -775 001 <A 1113 011262
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <A 1113+V(1) 101 100
1 3 1 011 C> 1113+V(1) 101 100
2 12+3*V(1) 10+3*V(1) 011 1113+V(1) C> 101 100
3 17+3*V(1) 9+3*V(1) 011 1113+V(1) <A 111 100
4 26+6*V(1) 0 011 <A 1114+V(1) 100
5 29+6*V(1) -3 <B 1115+V(1) 100
6 30+6*V(1) -2 001 C> 1115+V(1) 100
7 45+9*V(1) 13+3*V(1) 001 1115+V(1) C> 100
8 50+9*V(1) 12+3*V(1) 001 1115+V(1) <E 011
9 65+12*V(1) -3 001 <E 0116+V(1)
10 68+12*V(1) -2 011 C> 0116+V(1)
11 71+12*V(1) -3 011 <A 111 0115+V(1)
12 74+12*V(1) -6 <B 1112 0115+V(1)
13 75+12*V(1) -5 001 C> 1112 0115+V(1)
14 81+12*V(1) 1 001 1112 C> 0115+V(1)
15 84+12*V(1) 0 001 1112 <A 111 0114+V(1)
16 90+12*V(1) -6 001 <A 1113 0114+V(1)
<< Success! ==> defined new CTR 7 (PPA)
1793 197267 -775 001 <A 1113 011262
== Executing PA-CTR 2, V(1)=258, V(2)=2, repcount=87, factor=5/3
2924 543875 -1297 001 <A 111438 011
== Executing PPA-CTR 6 (once), V(1)=437
2933 549165 -1299 111 A> 110441
== Executing PA-CTR 3, V(1)=0, V(2)=437, repcount=146, factor=5/3
5269 1511889 15 111731 A> 1103
5270 1511890 14 111731 <A 1103
5271 1514083 -2179 <A 111731 1103
5272 1514086 -2178 011 C> 111731 1103
5273 1516279 15 011 111731 C> 1103
5274 1516282 18 011 111732 A> 1102
5275 1516283 17 011 111732 <A 1102
5276 1518479 -2179 011 <A 111732 1102
5277 1518482 -2182 <B 111733 1102
5278 1518483 -2181 001 C> 111733 1102
5279 1520682 18 001 111733 C> 1102
5280 1520685 21 001 111734 A> 110
5281 1520686 20 001 111734 <A 110
5282 1522888 -2182 001 <A 111734 110
5283 1522893 -2181 111 C> 111734 110
5284 1525095 21 111735 C> 110
5285 1525098 24 111736 A>
5286 1525099 23 111736 <B 100
5287 1527307 -2185 <B 101736 100
5288 1527308 -2184 001 C> 101736 100
5289 1527313 -2185 001 <A 111 101735 100
5290 1527318 -2184 111 C> 111 101735 100
5291 1527321 -2181 1112 C> 101735 100
5292 1527326 -2182 1112 <A 111 101734 100
5293 1527332 -2188 <A 1113 101734 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1111+V(1) A> 1103
1 1 -1 1111+V(1) <A 1103
2 4+3*V(1) -4+-3*V(1) <A 1111+V(1) 1103
3 7+3*V(1) -3+-3*V(1) 011 C> 1111+V(1) 1103
4 10+6*V(1) 0 011 1111+V(1) C> 1103
5 13+6*V(1) 3 011 1112+V(1) A> 1102
6 14+6*V(1) 2 011 1112+V(1) <A 1102
7 20+9*V(1) -4+-3*V(1) 011 <A 1112+V(1) 1102
8 23+9*V(1) -7+-3*V(1) <B 1113+V(1) 1102
9 24+9*V(1) -6+-3*V(1) 001 C> 1113+V(1) 1102
10 33+12*V(1) 3 001 1113+V(1) C> 1102
11 36+12*V(1) 6 001 1114+V(1) A> 110
12 37+12*V(1) 5 001 1114+V(1) <A 110
13 49+15*V(1) -7+-3*V(1) 001 <A 1114+V(1) 110
14 54+15*V(1) -6+-3*V(1) 111 C> 1114+V(1) 110
15 66+18*V(1) 6 1115+V(1) C> 110
16 69+18*V(1) 9 1116+V(1) A>
17 70+18*V(1) 8 1116+V(1) <B 100
18 88+21*V(1) -10+-3*V(1) <B 1016+V(1) 100
19 89+21*V(1) -9+-3*V(1) 001 C> 1016+V(1) 100
20 94+21*V(1) -10+-3*V(1) 001 <A 111 1015+V(1) 100
21 99+21*V(1) -9+-3*V(1) 111 C> 111 1015+V(1) 100
22 102+21*V(1) -6+-3*V(1) 1112 C> 1015+V(1) 100
23 107+21*V(1) -7+-3*V(1) 1112 <A 111 1014+V(1) 100
24 113+21*V(1) -13+-3*V(1) <A 1113 1014+V(1) 100
<< Success! ==> defined new CTR 8 (PPA)
5293 1527332 -2188 <A 1113 101734 100
== Executing PA-CTR 1, V(1)=730, V(2)=2, repcount=244, factor=5/3
8465 4223288 -3652 <A 1111223 1012 100
== Executing PPA-CTR 5 (once), V(1)=1222
8480 4245366 -3658 001 <A 111 0111227
== Executing PA-CTR 2, V(1)=1223, V(2)=0, repcount=408, factor=5/3
13784 11749710 -6106 001 <A 1112041 0113
13785 11749715 -6105 111 C> 1112041 0113
13786 11755838 18 1112042 C> 0113
13787 11755841 17 1112042 <A 111 0112
13788 11761967 -6109 <A 1112043 0112
13789 11761970 -6108 011 C> 1112043 0112
13790 11768099 21 011 1112043 C> 0112
13791 11768102 20 011 1112043 <A 111 011
13792 11774231 -6109 011 <A 1112044 011
13793 11774234 -6112 <B 1112045 011
13794 11774235 -6111 001 C> 1112045 011
13795 11780370 24 001 1112045 C> 011
13796 11780373 23 001 1112045 <A 111
13797 11786508 -6112 001 <A 1112046
13798 11786513 -6111 111 C> 1112046
13799 11792651 27 1112047 C>
13800 11792654 26 1112047 <D 110
13801 11798795 -6115 <D 1102048
13802 11798796 -6116 0 H> 01 1102048 [stop]
Lines: 199
Top steps: 198
Macro steps: 13802
Basic steps: 11798796
Tape index: -6116
ones: 4097
log10(ones ): 3.612
log10(steps ): 7.072
Run state: stop
Input to awk program:
gohalt 1
L 46
5T B1L A1L C1R D1L A1R C1R H1L E0L C1R B1L : 4097 11798796
T 5-state TM #4 from MaBu-List
M 300
pref sim
machv mbL5_4 just simple
machv mbL5_4-r with repetitions reduced
machv mbL5_4-1 with tape symbol exponents
machv mbL5_4-m as 3-macro machine
machv mbL5_4-a as 3-macro machine with pure additive config-TRs
iam mbL5_4-a
mtype 3
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:19 CEST 2010
edate Tue Jul 6 22:10:20 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:10:19 CEST 2010