Comment: This TM produces 4096 ones in 11804910 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 | D0L | 1 | right | C | 0 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E1L | 1 | left | H | 1 | left | E |
| E | E0R | B1L | 0 | right | E | 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 101
4 10 0 011 C> 101
5 15 -1 011 <A 111
6 18 -4 <B 1112
7 19 -3 001 C> 1112
8 25 3 001 1112 C>
9 28 2 001 1112 <D 010
10 34 -4 001 <D 0112 010
11 39 -3 011 C> 0112 010
12 42 -4 011 <A 111 011 010
13 45 -7 <B 1112 011 010
14 46 -6 001 C> 1112 011 010
15 52 0 001 1112 C> 011 010
16 55 -1 001 1112 <A 111 010
17 61 -7 001 <A 1113 010
18 66 -6 111 C> 1113 010
19 75 3 1114 C> 010
20 78 2 1114 <A 110
21 90 -10 <A 1114 110
22 93 -9 011 C> 1114 110
23 105 3 011 1114 C> 110
24 108 6 011 1115 A>
25 109 5 011 1115 <B 100
26 124 -10 011 <B 1105 100
27 131 -9 111 A> 1105 100
28 132 -10 111 <A 1105 100
29 135 -13 <A 111 1105 100
30 138 -12 011 C> 111 1105 100
31 141 -9 011 111 C> 1105 100
32 144 -6 011 1112 A> 1104 100
33 145 -7 011 1112 <A 1104 100
34 151 -13 011 <A 1112 1104 100
35 154 -16 <B 1113 1104 100
36 155 -15 001 C> 1113 1104 100
37 164 -6 001 1113 C> 1104 100
38 167 -3 001 1114 A> 1103 100
39 168 -4 001 1114 <A 1103 100
40 180 -16 001 <A 1114 1103 100
41 185 -15 111 C> 1114 1103 100
42 197 -3 1115 C> 1103 100
43 200 0 1116 A> 1102 100
>> 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 1 (PA)
44 201 -1 1116 <A 1102 100
45 219 -19 <A 1116 1102 100
46 222 -18 011 C> 1116 1102 100
47 240 0 011 1116 C> 1102 100
48 243 3 011 1117 A> 110 100
49 244 2 011 1117 <A 110 100
50 265 -19 011 <A 1117 110 100
51 268 -22 <B 1118 110 100
52 269 -21 001 C> 1118 110 100
53 293 3 001 1118 C> 110 100
54 296 6 001 1119 A> 100
55 297 5 001 1119 <A 100
56 324 -22 001 <A 1119 100
57 329 -21 111 C> 1119 100
58 356 6 11110 C> 100
59 361 5 11110 <E 101
60 391 -25 <E 10111
61 392 -24 E> 10111
62 393 -25 <B 10111
63 394 -24 001 C> 10111
64 399 -25 001 <A 111 10110
65 404 -24 111 C> 111 10110
66 407 -21 1112 C> 10110
67 412 -22 1112 <A 111 1019
68 418 -28 <A 1113 1019
69 421 -27 011 C> 1113 1019
70 430 -18 011 1113 C> 1019
71 435 -19 011 1113 <A 111 1018
72 444 -28 011 <A 1114 1018
73 447 -31 <B 1115 1018
74 448 -30 001 C> 1115 1018
75 463 -15 001 1115 C> 1018
76 468 -16 001 1115 <A 111 1017
77 483 -31 001 <A 1116 1017
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 001 <A 1111+V(2) 1014+V(1)
1 5 1 111 C> 1111+V(2) 1014+V(1)
2 8+3*V(2) 4+3*V(2) 1112+V(2) C> 1014+V(1)
3 13+3*V(2) 3+3*V(2) 1112+V(2) <A 111 1013+V(1)
4 19+6*V(2) -3 <A 1113+V(2) 1013+V(1)
5 22+6*V(2) -2 011 C> 1113+V(2) 1013+V(1)
6 31+9*V(2) 7+3*V(2) 011 1113+V(2) C> 1013+V(1)
7 36+9*V(2) 6+3*V(2) 011 1113+V(2) <A 111 1012+V(1)
8 45+12*V(2) -3 011 <A 1114+V(2) 1012+V(1)
9 48+12*V(2) -6 <B 1115+V(2) 1012+V(1)
10 49+12*V(2) -5 001 C> 1115+V(2) 1012+V(1)
11 64+15*V(2) 10+3*V(2) 001 1115+V(2) C> 1012+V(1)
12 69+15*V(2) 9+3*V(2) 001 1115+V(2) <A 111 1011+V(1)
13 84+18*V(2) -6 001 <A 1116+V(2) 1011+V(1)
<< Success! ==> defined new CTR 2 (PA)
77 483 -31 001 <A 1116 1017
== Executing PA-CTR 2, V(1)=3, V(2)=5, repcount=2, factor=5/3
103 921 -43 001 <A 11116 101
104 926 -42 111 C> 11116 101
105 974 6 11117 C> 101
106 979 5 11117 <A 111
107 1030 -46 <A 11118
108 1033 -45 011 C> 11118
109 1087 9 011 11118 C>
110 1090 8 011 11118 <D 010
111 1144 -46 011 <D 01118 010
112 1149 -45 111 C> 01118 010
113 1152 -46 111 <A 111 01117 010
114 1155 -49 <A 1112 01117 010
115 1158 -48 011 C> 1112 01117 010
116 1164 -42 011 1112 C> 01117 010
117 1167 -43 011 1112 <A 111 01116 010
118 1173 -49 011 <A 1113 01116 010
119 1176 -52 <B 1114 01116 010
120 1177 -51 001 C> 1114 01116 010
121 1189 -39 001 1114 C> 01116 010
122 1192 -40 001 1114 <A 111 01115 010
123 1204 -52 001 <A 1115 01115 010
124 1209 -51 111 C> 1115 01115 010
125 1224 -36 1116 C> 01115 010
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1111+V(1) C> 0114+V(2) [*]*
1 3 -1 1111+V(1) <A 111 0113+V(2) [*]*
2 6+3*V(1) -4+-3*V(1) <A 1112+V(1) 0113+V(2) [*]*
3 9+3*V(1) -3+-3*V(1) 011 C> 1112+V(1) 0113+V(2) [*]*
4 15+6*V(1) 3 011 1112+V(1) C> 0113+V(2) [*]*
5 18+6*V(1) 2 011 1112+V(1) <A 111 0112+V(2) [*]*
6 24+9*V(1) -4+-3*V(1) 011 <A 1113+V(1) 0112+V(2) [*]*
7 27+9*V(1) -7+-3*V(1) <B 1114+V(1) 0112+V(2) [*]*
8 28+9*V(1) -6+-3*V(1) 001 C> 1114+V(1) 0112+V(2) [*]*
9 40+12*V(1) 6 001 1114+V(1) C> 0112+V(2) [*]*
10 43+12*V(1) 5 001 1114+V(1) <A 111 0111+V(2) [*]*
11 55+15*V(1) -7+-3*V(1) 001 <A 1115+V(1) 0111+V(2) [*]*
12 60+15*V(1) -6+-3*V(1) 111 C> 1115+V(1) 0111+V(2) [*]*
13 75+18*V(1) 9 1116+V(1) C> 0111+V(2) [*]*
<< Success! ==> defined new CTR 3 (PA)
125 1224 -36 1116 C> 01115 010
== Executing PA-CTR 3, V(1)=5, V(2)=11, repcount=4, factor=5/3
177 2424 0 11126 C> 0113 010
178 2427 -1 11126 <A 111 0112 010
179 2505 -79 <A 11127 0112 010
180 2508 -78 011 C> 11127 0112 010
181 2589 3 011 11127 C> 0112 010
182 2592 2 011 11127 <A 111 011 010
183 2673 -79 011 <A 11128 011 010
184 2676 -82 <B 11129 011 010
185 2677 -81 001 C> 11129 011 010
186 2764 6 001 11129 C> 011 010
187 2767 5 001 11129 <A 111 010
188 2854 -82 001 <A 11130 010
189 2859 -81 111 C> 11130 010
190 2949 9 11131 C> 010
191 2952 8 11131 <A 110
192 3045 -85 <A 11131 110
193 3048 -84 011 C> 11131 110
194 3141 9 011 11131 C> 110
195 3144 12 011 11132 A>
196 3145 11 011 11132 <B 100
197 3241 -85 011 <B 11032 100
198 3248 -84 111 A> 11032 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1111+V(1) C> 0113 010
1 3 -1 1111+V(1) <A 111 0112 010
2 6+3*V(1) -4+-3*V(1) <A 1112+V(1) 0112 010
3 9+3*V(1) -3+-3*V(1) 011 C> 1112+V(1) 0112 010
4 15+6*V(1) 3 011 1112+V(1) C> 0112 010
5 18+6*V(1) 2 011 1112+V(1) <A 111 011 010
6 24+9*V(1) -4+-3*V(1) 011 <A 1113+V(1) 011 010
7 27+9*V(1) -7+-3*V(1) <B 1114+V(1) 011 010
8 28+9*V(1) -6+-3*V(1) 001 C> 1114+V(1) 011 010
9 40+12*V(1) 6 001 1114+V(1) C> 011 010
10 43+12*V(1) 5 001 1114+V(1) <A 111 010
11 55+15*V(1) -7+-3*V(1) 001 <A 1115+V(1) 010
12 60+15*V(1) -6+-3*V(1) 111 C> 1115+V(1) 010
13 75+18*V(1) 9 1116+V(1) C> 010
14 78+18*V(1) 8 1116+V(1) <A 110
15 96+21*V(1) -10+-3*V(1) <A 1116+V(1) 110
16 99+21*V(1) -9+-3*V(1) 011 C> 1116+V(1) 110
17 117+24*V(1) 9 011 1116+V(1) C> 110
18 120+24*V(1) 12 011 1117+V(1) A>
19 121+24*V(1) 11 011 1117+V(1) <B 100
20 142+27*V(1) -10+-3*V(1) 011 <B 1107+V(1) 100
21 149+27*V(1) -9+-3*V(1) 111 A> 1107+V(1) 100
<< Success! ==> defined new CTR 4 (PPA)
198 3248 -84 111 A> 11032 100
== Executing PA-CTR 1, V(1)=0, V(2)=28, repcount=10, factor=5/3
358 7988 6 11151 A> 1102 100
359 7989 5 11151 <A 1102 100
360 8142 -148 <A 11151 1102 100
361 8145 -147 011 C> 11151 1102 100
362 8298 6 011 11151 C> 1102 100
363 8301 9 011 11152 A> 110 100
364 8302 8 011 11152 <A 110 100
365 8458 -148 011 <A 11152 110 100
366 8461 -151 <B 11153 110 100
367 8462 -150 001 C> 11153 110 100
368 8621 9 001 11153 C> 110 100
369 8624 12 001 11154 A> 100
370 8625 11 001 11154 <A 100
371 8787 -151 001 <A 11154 100
372 8792 -150 111 C> 11154 100
373 8954 12 11155 C> 100
374 8959 11 11155 <E 101
375 9124 -154 <E 10156
376 9125 -153 E> 10156
377 9126 -154 <B 10156
378 9127 -153 001 C> 10156
379 9132 -154 001 <A 111 10155
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1111+V(1) A> 1102 100
1 1 -1 1111+V(1) <A 1102 100
2 4+3*V(1) -4+-3*V(1) <A 1111+V(1) 1102 100
3 7+3*V(1) -3+-3*V(1) 011 C> 1111+V(1) 1102 100
4 10+6*V(1) 0 011 1111+V(1) C> 1102 100
5 13+6*V(1) 3 011 1112+V(1) A> 110 100
6 14+6*V(1) 2 011 1112+V(1) <A 110 100
7 20+9*V(1) -4+-3*V(1) 011 <A 1112+V(1) 110 100
8 23+9*V(1) -7+-3*V(1) <B 1113+V(1) 110 100
9 24+9*V(1) -6+-3*V(1) 001 C> 1113+V(1) 110 100
10 33+12*V(1) 3 001 1113+V(1) C> 110 100
11 36+12*V(1) 6 001 1114+V(1) A> 100
12 37+12*V(1) 5 001 1114+V(1) <A 100
13 49+15*V(1) -7+-3*V(1) 001 <A 1114+V(1) 100
14 54+15*V(1) -6+-3*V(1) 111 C> 1114+V(1) 100
15 66+18*V(1) 6 1115+V(1) C> 100
16 71+18*V(1) 5 1115+V(1) <E 101
17 86+21*V(1) -10+-3*V(1) <E 1016+V(1)
18 87+21*V(1) -9+-3*V(1) E> 1016+V(1)
19 88+21*V(1) -10+-3*V(1) <B 1016+V(1)
20 89+21*V(1) -9+-3*V(1) 001 C> 1016+V(1)
21 94+21*V(1) -10+-3*V(1) 001 <A 111 1015+V(1)
<< Success! ==> defined new CTR 5 (PPA)
379 9132 -154 001 <A 111 10155
== Executing PA-CTR 2, V(1)=51, V(2)=0, repcount=18, factor=5/3
613 24414 -262 001 <A 11191 101
614 24419 -261 111 C> 11191 101
615 24692 12 11192 C> 101
616 24697 11 11192 <A 111
617 24973 -265 <A 11193
618 24976 -264 011 C> 11193
619 25255 15 011 11193 C>
620 25258 14 011 11193 <D 010
621 25537 -265 011 <D 01193 010
622 25542 -264 111 C> 01193 010
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 001 <A 1112+V(1) 101
1 5 1 111 C> 1112+V(1) 101
2 11+3*V(1) 7+3*V(1) 1113+V(1) C> 101
3 16+3*V(1) 6+3*V(1) 1113+V(1) <A 111
4 25+6*V(1) -3 <A 1114+V(1)
5 28+6*V(1) -2 011 C> 1114+V(1)
6 40+9*V(1) 10+3*V(1) 011 1114+V(1) C>
7 43+9*V(1) 9+3*V(1) 011 1114+V(1) <D 010
8 55+12*V(1) -3 011 <D 0114+V(1) 010
9 60+12*V(1) -2 111 C> 0114+V(1) 010
<< Success! ==> defined new CTR 6 (PPA)
622 25542 -264 111 C> 01193 010
== Executing PA-CTR 3, V(1)=0, V(2)=89, repcount=30, factor=5/3
1012 66942 6 111151 C> 0113 010
== Executing PPA-CTR 4 (once), V(1)=150
1033 71141 -453 111 A> 110157 100
== Executing PA-CTR 1, V(1)=0, V(2)=153, repcount=52, factor=5/3
1865 194069 15 111261 A> 110 100
1866 194070 14 111261 <A 110 100
1867 194853 -769 <A 111261 110 100
1868 194856 -768 011 C> 111261 110 100
1869 195639 15 011 111261 C> 110 100
1870 195642 18 011 111262 A> 100
1871 195643 17 011 111262 <A 100
1872 196429 -769 011 <A 111262 100
1873 196432 -772 <B 111263 100
1874 196433 -771 001 C> 111263 100
1875 197222 18 001 111263 C> 100
1876 197227 17 001 111263 <E 101
1877 198016 -772 001 <E 101264
1878 198019 -771 011 C> 101264
1879 198024 -772 011 <A 111 101263
1880 198027 -775 <B 1112 101263
1881 198028 -774 001 C> 1112 101263
1882 198034 -768 001 1112 C> 101263
1883 198039 -769 001 1112 <A 111 101262
1884 198045 -775 001 <A 1113 101262
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1113+V(1) A> 110 100
1 1 -1 1113+V(1) <A 110 100
2 10+3*V(1) -10+-3*V(1) <A 1113+V(1) 110 100
3 13+3*V(1) -9+-3*V(1) 011 C> 1113+V(1) 110 100
4 22+6*V(1) 0 011 1113+V(1) C> 110 100
5 25+6*V(1) 3 011 1114+V(1) A> 100
6 26+6*V(1) 2 011 1114+V(1) <A 100
7 38+9*V(1) -10+-3*V(1) 011 <A 1114+V(1) 100
8 41+9*V(1) -13+-3*V(1) <B 1115+V(1) 100
9 42+9*V(1) -12+-3*V(1) 001 C> 1115+V(1) 100
10 57+12*V(1) 3 001 1115+V(1) C> 100
11 62+12*V(1) 2 001 1115+V(1) <E 101
12 77+15*V(1) -13+-3*V(1) 001 <E 1016+V(1)
13 80+15*V(1) -12+-3*V(1) 011 C> 1016+V(1)
14 85+15*V(1) -13+-3*V(1) 011 <A 111 1015+V(1)
15 88+15*V(1) -16+-3*V(1) <B 1112 1015+V(1)
16 89+15*V(1) -15+-3*V(1) 001 C> 1112 1015+V(1)
17 95+15*V(1) -9+-3*V(1) 001 1112 C> 1015+V(1)
18 100+15*V(1) -10+-3*V(1) 001 1112 <A 111 1014+V(1)
19 106+15*V(1) -16+-3*V(1) 001 <A 1113 1014+V(1)
<< Success! ==> defined new CTR 7 (PPA)
1884 198045 -775 001 <A 1113 101262
== Executing PA-CTR 2, V(1)=258, V(2)=2, repcount=87, factor=5/3
3015 545175 -1297 001 <A 111438 101
== Executing PPA-CTR 6 (once), V(1)=436
3024 550467 -1299 111 C> 011440 010
== Executing PA-CTR 3, V(1)=0, V(2)=436, repcount=146, factor=5/3
4922 1514067 15 111731 C> 0112 010
4923 1514070 14 111731 <A 111 011 010
4924 1516263 -2179 <A 111732 011 010
4925 1516266 -2178 011 C> 111732 011 010
4926 1518462 18 011 111732 C> 011 010
4927 1518465 17 011 111732 <A 111 010
4928 1520661 -2179 011 <A 111733 010
4929 1520664 -2182 <B 111734 010
4930 1520665 -2181 001 C> 111734 010
4931 1522867 21 001 111734 C> 010
4932 1522870 20 001 111734 <A 110
4933 1525072 -2182 001 <A 111734 110
4934 1525077 -2181 111 C> 111734 110
4935 1527279 21 111735 C> 110
4936 1527282 24 111736 A>
4937 1527283 23 111736 <B 100
4938 1529491 -2185 <B 110736 100
4939 1529492 -2184 001 C> 110736 100
4940 1529495 -2181 001 111 A> 110735 100
4941 1529496 -2182 001 111 <A 110735 100
4942 1529499 -2185 001 <A 111 110735 100
4943 1529504 -2184 111 C> 111 110735 100
4944 1529507 -2181 1112 C> 110735 100
4945 1529510 -2178 1113 A> 110734 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1111+V(1) C> 0112 010
1 3 -1 1111+V(1) <A 111 011 010
2 6+3*V(1) -4+-3*V(1) <A 1112+V(1) 011 010
3 9+3*V(1) -3+-3*V(1) 011 C> 1112+V(1) 011 010
4 15+6*V(1) 3 011 1112+V(1) C> 011 010
5 18+6*V(1) 2 011 1112+V(1) <A 111 010
6 24+9*V(1) -4+-3*V(1) 011 <A 1113+V(1) 010
7 27+9*V(1) -7+-3*V(1) <B 1114+V(1) 010
8 28+9*V(1) -6+-3*V(1) 001 C> 1114+V(1) 010
9 40+12*V(1) 6 001 1114+V(1) C> 010
10 43+12*V(1) 5 001 1114+V(1) <A 110
11 55+15*V(1) -7+-3*V(1) 001 <A 1114+V(1) 110
12 60+15*V(1) -6+-3*V(1) 111 C> 1114+V(1) 110
13 72+18*V(1) 6 1115+V(1) C> 110
14 75+18*V(1) 9 1116+V(1) A>
15 76+18*V(1) 8 1116+V(1) <B 100
16 94+21*V(1) -10+-3*V(1) <B 1106+V(1) 100
17 95+21*V(1) -9+-3*V(1) 001 C> 1106+V(1) 100
18 98+21*V(1) -6+-3*V(1) 001 111 A> 1105+V(1) 100
19 99+21*V(1) -7+-3*V(1) 001 111 <A 1105+V(1) 100
20 102+21*V(1) -10+-3*V(1) 001 <A 111 1105+V(1) 100
21 107+21*V(1) -9+-3*V(1) 111 C> 111 1105+V(1) 100
22 110+21*V(1) -6+-3*V(1) 1112 C> 1105+V(1) 100
23 113+21*V(1) -3+-3*V(1) 1113 A> 1104+V(1) 100
<< Success! ==> defined new CTR 8 (PPA)
4945 1529510 -2178 1113 A> 110734 100
== Executing PA-CTR 1, V(1)=2, V(2)=730, repcount=244, factor=5/3
8849 4223270 18 1111223 A> 1102 100
== Executing PPA-CTR 5 (once), V(1)=1222
8870 4249026 -3658 001 <A 111 1011227
== Executing PA-CTR 2, V(1)=1223, V(2)=0, repcount=408, factor=5/3
14174 11755818 -6106 001 <A 1112041 1013
14175 11755823 -6105 111 C> 1112041 1013
14176 11761946 18 1112042 C> 1013
14177 11761951 17 1112042 <A 111 1012
14178 11768077 -6109 <A 1112043 1012
14179 11768080 -6108 011 C> 1112043 1012
14180 11774209 21 011 1112043 C> 1012
14181 11774214 20 011 1112043 <A 111 101
14182 11780343 -6109 011 <A 1112044 101
14183 11780346 -6112 <B 1112045 101
14184 11780347 -6111 001 C> 1112045 101
14185 11786482 24 001 1112045 C> 101
14186 11786487 23 001 1112045 <A 111
14187 11792622 -6112 001 <A 1112046
14188 11792627 -6111 111 C> 1112046
14189 11798765 27 1112047 C>
14190 11798768 26 1112047 <D 010
14191 11804909 -6115 <D 0112047 010
14192 11804910 -6116 0 H> 01 0112047 010 [stop]
Lines: 224
Top steps: 223
Macro steps: 14192
Basic steps: 11804910
Tape index: -6116
ones: 4096
log10(ones ): 3.612
log10(steps ): 7.072
Run state: stop
Input to awk program:
gohalt 1
L 48
5T B1L A1L C1R D0L A1R C1R H1L E1L E0R B1L : 4096 11804910
T 5-state TM #5 from MaBu-List
M 300
pref sim
machv mbL5_5 just simple
machv mbL5_5-r with repetitions reduced
machv mbL5_5-1 with tape symbol exponents
machv mbL5_5-m as 3-macro machine
machv mbL5_5-a as 3-macro machine with pure additive config-TRs
iam mbL5_5-a
mtype 3
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:21 CEST 2010
edate Tue Jul 6 22:10:22 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:21 CEST 2010