Comment: This TM produces 107'900 nonzeros in 4'939'345'068 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | Z1R | B2R | 1 | right | B | 1 | right | Z | 2 | right | B |
| B | C1L | B0L | A1R | 1 | left | C | 0 | left | B | 1 | right | A |
| C | A1R | C2L | C1R | 1 | right | A | 2 | left | C | 1 | right | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
Simulation is done as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <C 21
2 4 0 01 A> 21
3 8 2 01 11 B>
4 9 1 01 11 <C 10
5 11 -1 01 <C 22 10
6 14 0 12 B> 22 10
7 16 2 122 B> 10
8 17 1 122 <B
9 18 2 12 11 A>
10 21 1 12 11 <C 21
11 23 -1 12 <C 22 21
12 24 0 11 C> 22 21
13 26 2 112 C> 21
14 29 1 112 <C 22
15 33 -3 <C 223
16 34 -2 01 A> 223
17 40 4 01 213 A>
18 43 3 01 213 <C 21
19 46 4 01 212 11 C> 21
20 49 3 01 212 11 <C 22
21 51 1 01 212 <C 222
22 54 2 01 21 11 C> 222
23 58 6 01 21 113 C>
24 60 8 01 21 114 B>
25 61 7 01 21 114 <C 10
26 69 -1 01 21 <C 224 10
27 72 0 01 11 C> 224 10
28 80 8 01 115 C> 10
29 81 7 01 115 <C 20
30 91 -3 01 <C 225 20
31 94 -2 12 B> 225 20
32 104 8 126 B> 20
33 106 10 126 11 B>
34 107 9 126 11 <C 10
35 109 7 126 <C 22 10
36 110 8 125 11 C> 22 10
37 112 10 125 112 C> 10
38 113 9 125 112 <C 20
39 117 5 125 <C 222 20
40 118 6 124 11 C> 222 20
41 122 10 124 113 C> 20
42 124 12 124 114 A>
43 127 11 124 114 <C 21
44 135 3 124 <C 224 21
45 136 4 123 11 C> 224 21
46 144 12 123 115 C> 21
47 147 11 123 115 <C 22
48 157 1 123 <C 226
49 158 2 122 11 C> 226
50 170 14 122 117 C>
51 172 16 122 118 B>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 125+V(2) 111+V(1) B>
1 1 -1 125+V(2) 111+V(1) <C 10
2 3+2*V(1) -3+-2*V(1) 125+V(2) <C 221+V(1) 10
3 4+2*V(1) -2+-2*V(1) 124+V(2) 11 C> 221+V(1) 10
4 6+4*V(1) 0 124+V(2) 112+V(1) C> 10
5 7+4*V(1) -1 124+V(2) 112+V(1) <C 20
6 11+6*V(1) -5+-2*V(1) 124+V(2) <C 222+V(1) 20
7 12+6*V(1) -4+-2*V(1) 123+V(2) 11 C> 222+V(1) 20
8 16+8*V(1) 0 123+V(2) 113+V(1) C> 20
9 18+8*V(1) 2 123+V(2) 114+V(1) A>
10 21+8*V(1) 1 123+V(2) 114+V(1) <C 21
11 29+10*V(1) -7+-2*V(1) 123+V(2) <C 224+V(1) 21
12 30+10*V(1) -6+-2*V(1) 122+V(2) 11 C> 224+V(1) 21
13 38+12*V(1) 2 122+V(2) 115+V(1) C> 21
14 41+12*V(1) 1 122+V(2) 115+V(1) <C 22
15 51+14*V(1) -9+-2*V(1) 122+V(2) <C 226+V(1)
16 52+14*V(1) -8+-2*V(1) 121+V(2) 11 C> 226+V(1)
17 64+16*V(1) 4 121+V(2) 117+V(1) C>
18 66+16*V(1) 6 121+V(2) 118+V(1) B>
<< Success! ==> defined new CTR 1 (PA)
52 173 15 122 118 <C 10
53 189 -1 122 <C 228 10
54 190 0 12 11 C> 228 10
55 206 16 12 119 C> 10
56 207 15 12 119 <C 20
57 225 -3 12 <C 229 20
58 226 -2 11 C> 229 20
59 244 16 1110 C> 20
60 246 18 1111 A>
61 249 17 1111 <C 21
62 271 -5 <C 2211 21
63 272 -4 01 A> 2211 21
64 294 18 01 2111 A> 21
65 298 20 01 2111 11 B>
66 299 19 01 2111 11 <C 10
67 301 17 01 2111 <C 22 10
68 304 18 01 2110 11 C> 22 10
69 306 20 01 2110 112 C> 10
70 307 19 01 2110 112 <C 20
71 311 15 01 2110 <C 222 20
72 314 16 01 219 11 C> 222 20
73 318 20 01 219 113 C> 20
74 320 22 01 219 114 A>
75 323 21 01 219 114 <C 21
76 331 13 01 219 <C 224 21
77 334 14 01 218 11 C> 224 21
78 342 22 01 218 115 C> 21
79 345 21 01 218 115 <C 22
80 355 11 01 218 <C 226
81 358 12 01 217 11 C> 226
82 370 24 01 217 117 C>
83 372 26 01 217 118 B>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 215+V(2) 111+V(1) B>
1 1 -1 [*]* 215+V(2) 111+V(1) <C 10
2 3+2*V(1) -3+-2*V(1) [*]* 215+V(2) <C 221+V(1) 10
3 6+2*V(1) -2+-2*V(1) [*]* 214+V(2) 11 C> 221+V(1) 10
4 8+4*V(1) 0 [*]* 214+V(2) 112+V(1) C> 10
5 9+4*V(1) -1 [*]* 214+V(2) 112+V(1) <C 20
6 13+6*V(1) -5+-2*V(1) [*]* 214+V(2) <C 222+V(1) 20
7 16+6*V(1) -4+-2*V(1) [*]* 213+V(2) 11 C> 222+V(1) 20
8 20+8*V(1) 0 [*]* 213+V(2) 113+V(1) C> 20
9 22+8*V(1) 2 [*]* 213+V(2) 114+V(1) A>
10 25+8*V(1) 1 [*]* 213+V(2) 114+V(1) <C 21
11 33+10*V(1) -7+-2*V(1) [*]* 213+V(2) <C 224+V(1) 21
12 36+10*V(1) -6+-2*V(1) [*]* 212+V(2) 11 C> 224+V(1) 21
13 44+12*V(1) 2 [*]* 212+V(2) 115+V(1) C> 21
14 47+12*V(1) 1 [*]* 212+V(2) 115+V(1) <C 22
15 57+14*V(1) -9+-2*V(1) [*]* 212+V(2) <C 226+V(1)
16 60+14*V(1) -8+-2*V(1) [*]* 211+V(2) 11 C> 226+V(1)
17 72+16*V(1) 4 [*]* 211+V(2) 117+V(1) C>
18 74+16*V(1) 6 [*]* 211+V(2) 118+V(1) B>
<< Success! ==> defined new CTR 2 (PA)
83 372 26 01 217 118 B>
== Executing PA-CTR 2, V(1)=7, V(2)=2, repcount=1, factor=7/4
101 558 32 01 213 1115 B>
102 559 31 01 213 1115 <C 10
103 589 1 01 213 <C 2215 10
104 592 2 01 212 11 C> 2215 10
105 622 32 01 212 1116 C> 10
106 623 31 01 212 1116 <C 20
107 655 -1 01 212 <C 2216 20
108 658 0 01 21 11 C> 2216 20
109 690 32 01 21 1117 C> 20
110 692 34 01 21 1118 A>
111 695 33 01 21 1118 <C 21
112 731 -3 01 21 <C 2218 21
113 734 -2 01 11 C> 2218 21
114 770 34 01 1119 C> 21
115 773 33 01 1119 <C 22
116 811 -5 01 <C 2220
117 814 -4 12 B> 2220
118 854 36 1221 B>
119 855 35 1221 <C 10
120 856 36 1220 11 C> 10
121 857 35 1220 11 <C 20
122 859 33 1220 <C 22 20
123 860 34 1219 11 C> 22 20
124 862 36 1219 112 C> 20
125 864 38 1219 113 A>
126 867 37 1219 113 <C 21
127 873 31 1219 <C 223 21
128 874 32 1218 11 C> 223 21
129 880 38 1218 114 C> 21
130 883 37 1218 114 <C 22
131 891 29 1218 <C 225
132 892 30 1217 11 C> 225
133 902 40 1217 116 C>
134 904 42 1217 117 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 213 113+V(1) B>
1 1 -1 01 213 113+V(1) <C 10
2 7+2*V(1) -7+-2*V(1) 01 213 <C 223+V(1) 10
3 10+2*V(1) -6+-2*V(1) 01 212 11 C> 223+V(1) 10
4 16+4*V(1) 0 01 212 114+V(1) C> 10
5 17+4*V(1) -1 01 212 114+V(1) <C 20
6 25+6*V(1) -9+-2*V(1) 01 212 <C 224+V(1) 20
7 28+6*V(1) -8+-2*V(1) 01 21 11 C> 224+V(1) 20
8 36+8*V(1) 0 01 21 115+V(1) C> 20
9 38+8*V(1) 2 01 21 116+V(1) A>
10 41+8*V(1) 1 01 21 116+V(1) <C 21
11 53+10*V(1) -11+-2*V(1) 01 21 <C 226+V(1) 21
12 56+10*V(1) -10+-2*V(1) 01 11 C> 226+V(1) 21
13 68+12*V(1) 2 01 117+V(1) C> 21
14 71+12*V(1) 1 01 117+V(1) <C 22
15 85+14*V(1) -13+-2*V(1) 01 <C 228+V(1)
16 88+14*V(1) -12+-2*V(1) 12 B> 228+V(1)
17 104+16*V(1) 4 129+V(1) B>
18 105+16*V(1) 3 129+V(1) <C 10
19 106+16*V(1) 4 128+V(1) 11 C> 10
20 107+16*V(1) 3 128+V(1) 11 <C 20
21 109+16*V(1) 1 128+V(1) <C 22 20
22 110+16*V(1) 2 127+V(1) 11 C> 22 20
23 112+16*V(1) 4 127+V(1) 112 C> 20
24 114+16*V(1) 6 127+V(1) 113 A>
25 117+16*V(1) 5 127+V(1) 113 <C 21
26 123+16*V(1) -1 127+V(1) <C 223 21
27 124+16*V(1) 0 126+V(1) 11 C> 223 21
28 130+16*V(1) 6 126+V(1) 114 C> 21
29 133+16*V(1) 5 126+V(1) 114 <C 22
30 141+16*V(1) -3 126+V(1) <C 225
31 142+16*V(1) -2 125+V(1) 11 C> 225
32 152+16*V(1) 8 125+V(1) 116 C>
33 154+16*V(1) 10 125+V(1) 117 B>
<< Success! ==> defined new CTR 3 (PPA)
134 904 42 1217 117 B>
== Executing PA-CTR 1, V(1)=6, V(2)=12, repcount=4, factor=7/4
206 2224 66 12 1135 B>
207 2225 65 12 1135 <C 10
208 2295 -5 12 <C 2235 10
209 2296 -4 11 C> 2235 10
210 2366 66 1136 C> 10
211 2367 65 1136 <C 20
212 2439 -7 <C 2236 20
213 2440 -6 01 A> 2236 20
214 2512 66 01 2136 A> 20
215 2517 65 01 2136 <C 22
216 2520 66 01 2135 11 C> 22
217 2522 68 01 2135 112 C>
218 2524 70 01 2135 113 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 12 115+V(1) B>
1 1 -1 12 115+V(1) <C 10
2 11+2*V(1) -11+-2*V(1) 12 <C 225+V(1) 10
3 12+2*V(1) -10+-2*V(1) 11 C> 225+V(1) 10
4 22+4*V(1) 0 116+V(1) C> 10
5 23+4*V(1) -1 116+V(1) <C 20
6 35+6*V(1) -13+-2*V(1) <C 226+V(1) 20
7 36+6*V(1) -12+-2*V(1) 01 A> 226+V(1) 20
8 48+8*V(1) 0 01 216+V(1) A> 20
9 53+8*V(1) -1 01 216+V(1) <C 22
10 56+8*V(1) 0 01 215+V(1) 11 C> 22
11 58+8*V(1) 2 01 215+V(1) 112 C>
12 60+8*V(1) 4 01 215+V(1) 113 B>
<< Success! ==> defined new CTR 4 (PPA)
218 2524 70 01 2135 113 B>
== Executing PA-CTR 2, V(1)=2, V(2)=30, repcount=8, factor=7/4
362 6508 118 01 213 1159 B>
== Executing PPA-CTR 3 (once), V(1)=56
395 7558 128 1261 117 B>
== Executing PA-CTR 1, V(1)=6, V(2)=56, repcount=15, factor=7/4
665 21748 218 12 11112 B>
== Executing PPA-CTR 4 (once), V(1)=107
677 22664 222 01 21112 113 B>
== Executing PA-CTR 2, V(1)=2, V(2)=107, repcount=27, factor=7/4
1163 64838 384 01 214 11192 B>
1164 64839 383 01 214 11192 <C 10
1165 65223 -1 01 214 <C 22192 10
1166 65226 0 01 213 11 C> 22192 10
1167 65610 384 01 213 11193 C> 10
1168 65611 383 01 213 11193 <C 20
1169 65997 -3 01 213 <C 22193 20
1170 66000 -2 01 212 11 C> 22193 20
1171 66386 384 01 212 11194 C> 20
1172 66388 386 01 212 11195 A>
1173 66391 385 01 212 11195 <C 21
1174 66781 -5 01 212 <C 22195 21
1175 66784 -4 01 21 11 C> 22195 21
1176 67174 386 01 21 11196 C> 21
1177 67177 385 01 21 11196 <C 22
1178 67569 -7 01 21 <C 22197
1179 67572 -6 01 11 C> 22197
1180 67966 388 01 11198 C>
1181 67968 390 01 11199 B>
1182 67969 389 01 11199 <C 10
1183 68367 -9 01 <C 22199 10
1184 68370 -8 12 B> 22199 10
1185 68768 390 12200 B> 10
1186 68769 389 12200 <B
1187 68770 390 12199 11 A>
1188 68773 389 12199 11 <C 21
1189 68775 387 12199 <C 22 21
1190 68776 388 12198 11 C> 22 21
1191 68778 390 12198 112 C> 21
1192 68781 389 12198 112 <C 22
1193 68785 385 12198 <C 223
1194 68786 386 12197 11 C> 223
1195 68792 392 12197 114 C>
1196 68794 394 12197 115 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 214 111+V(1) B>
1 1 -1 01 214 111+V(1) <C 10
2 3+2*V(1) -3+-2*V(1) 01 214 <C 221+V(1) 10
3 6+2*V(1) -2+-2*V(1) 01 213 11 C> 221+V(1) 10
4 8+4*V(1) 0 01 213 112+V(1) C> 10
5 9+4*V(1) -1 01 213 112+V(1) <C 20
6 13+6*V(1) -5+-2*V(1) 01 213 <C 222+V(1) 20
7 16+6*V(1) -4+-2*V(1) 01 212 11 C> 222+V(1) 20
8 20+8*V(1) 0 01 212 113+V(1) C> 20
9 22+8*V(1) 2 01 212 114+V(1) A>
10 25+8*V(1) 1 01 212 114+V(1) <C 21
11 33+10*V(1) -7+-2*V(1) 01 212 <C 224+V(1) 21
12 36+10*V(1) -6+-2*V(1) 01 21 11 C> 224+V(1) 21
13 44+12*V(1) 2 01 21 115+V(1) C> 21
14 47+12*V(1) 1 01 21 115+V(1) <C 22
15 57+14*V(1) -9+-2*V(1) 01 21 <C 226+V(1)
16 60+14*V(1) -8+-2*V(1) 01 11 C> 226+V(1)
17 72+16*V(1) 4 01 117+V(1) C>
18 74+16*V(1) 6 01 118+V(1) B>
19 75+16*V(1) 5 01 118+V(1) <C 10
20 91+18*V(1) -11+-2*V(1) 01 <C 228+V(1) 10
21 94+18*V(1) -10+-2*V(1) 12 B> 228+V(1) 10
22 110+20*V(1) 6 129+V(1) B> 10
23 111+20*V(1) 5 129+V(1) <B
24 112+20*V(1) 6 128+V(1) 11 A>
25 115+20*V(1) 5 128+V(1) 11 <C 21
26 117+20*V(1) 3 128+V(1) <C 22 21
27 118+20*V(1) 4 127+V(1) 11 C> 22 21
28 120+20*V(1) 6 127+V(1) 112 C> 21
29 123+20*V(1) 5 127+V(1) 112 <C 22
30 127+20*V(1) 1 127+V(1) <C 223
31 128+20*V(1) 2 126+V(1) 11 C> 223
32 134+20*V(1) 8 126+V(1) 114 C>
33 136+20*V(1) 10 126+V(1) 115 B>
<< Success! ==> defined new CTR 5 (PPA)
1196 68794 394 12197 115 B>
== Executing PA-CTR 1, V(1)=4, V(2)=192, repcount=49, factor=7/4
2078 206876 688 12 11348 B>
== Executing PPA-CTR 4 (once), V(1)=343
2090 209680 692 01 21348 113 B>
== Executing PA-CTR 2, V(1)=2, V(2)=343, repcount=86, factor=7/4
3638 628156 1208 01 214 11605 B>
== Executing PPA-CTR 5 (once), V(1)=604
3671 640372 1218 12610 115 B>
== Executing PA-CTR 1, V(1)=4, V(2)=605, repcount=152, factor=7/4
6407 1945444 2130 122 111069 B>
6408 1945445 2129 122 111069 <C 10
6409 1947583 -9 122 <C 221069 10
6410 1947584 -8 12 11 C> 221069 10
6411 1949722 2130 12 111070 C> 10
6412 1949723 2129 12 111070 <C 20
6413 1951863 -11 12 <C 221070 20
6414 1951864 -10 11 C> 221070 20
6415 1954004 2130 111071 C> 20
6416 1954006 2132 111072 A>
6417 1954009 2131 111072 <C 21
6418 1956153 -13 <C 221072 21
6419 1956154 -12 01 A> 221072 21
6420 1958298 2132 01 211072 A> 21
6421 1958302 2134 01 211072 11 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 122 112+V(1) B>
1 1 -1 122 112+V(1) <C 10
2 5+2*V(1) -5+-2*V(1) 122 <C 222+V(1) 10
3 6+2*V(1) -4+-2*V(1) 12 11 C> 222+V(1) 10
4 10+4*V(1) 0 12 113+V(1) C> 10
5 11+4*V(1) -1 12 113+V(1) <C 20
6 17+6*V(1) -7+-2*V(1) 12 <C 223+V(1) 20
7 18+6*V(1) -6+-2*V(1) 11 C> 223+V(1) 20
8 24+8*V(1) 0 114+V(1) C> 20
9 26+8*V(1) 2 115+V(1) A>
10 29+8*V(1) 1 115+V(1) <C 21
11 39+10*V(1) -9+-2*V(1) <C 225+V(1) 21
12 40+10*V(1) -8+-2*V(1) 01 A> 225+V(1) 21
13 50+12*V(1) 2 01 215+V(1) A> 21
14 54+12*V(1) 4 01 215+V(1) 11 B>
<< Success! ==> defined new CTR 6 (PPA)
6421 1958302 2134 01 211072 11 B>
== Executing PA-CTR 2, V(1)=0, V(2)=1067, repcount=267, factor=7/4
11227 5955292 3736 01 214 111870 B>
== Executing PPA-CTR 5 (once), V(1)=1869
11260 5992808 3746 121875 115 B>
== Executing PA-CTR 1, V(1)=4, V(2)=1870, repcount=468, factor=7/4
19684 18292784 6554 123 113281 B>
19685 18292785 6553 123 113281 <C 10
19686 18299347 -9 123 <C 223281 10
19687 18299348 -8 122 11 C> 223281 10
19688 18305910 6554 122 113282 C> 10
19689 18305911 6553 122 113282 <C 20
19690 18312475 -11 122 <C 223282 20
19691 18312476 -10 12 11 C> 223282 20
19692 18319040 6554 12 113283 C> 20
19693 18319042 6556 12 113284 A>
19694 18319045 6555 12 113284 <C 21
19695 18325613 -13 12 <C 223284 21
19696 18325614 -12 11 C> 223284 21
19697 18332182 6556 113285 C> 21
19698 18332185 6555 113285 <C 22
19699 18338755 -15 <C 223286
19700 18338756 -14 01 A> 223286
19701 18345328 6558 01 213286 A>
19702 18345331 6557 01 213286 <C 21
19703 18345334 6558 01 213285 11 C> 21
19704 18345337 6557 01 213285 11 <C 22
19705 18345339 6555 01 213285 <C 222
19706 18345342 6556 01 213284 11 C> 222
19707 18345346 6560 01 213284 113 C>
19708 18345348 6562 01 213284 114 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 123 112+V(1) B>
1 1 -1 123 112+V(1) <C 10
2 5+2*V(1) -5+-2*V(1) 123 <C 222+V(1) 10
3 6+2*V(1) -4+-2*V(1) 122 11 C> 222+V(1) 10
4 10+4*V(1) 0 122 113+V(1) C> 10
5 11+4*V(1) -1 122 113+V(1) <C 20
6 17+6*V(1) -7+-2*V(1) 122 <C 223+V(1) 20
7 18+6*V(1) -6+-2*V(1) 12 11 C> 223+V(1) 20
8 24+8*V(1) 0 12 114+V(1) C> 20
9 26+8*V(1) 2 12 115+V(1) A>
10 29+8*V(1) 1 12 115+V(1) <C 21
11 39+10*V(1) -9+-2*V(1) 12 <C 225+V(1) 21
12 40+10*V(1) -8+-2*V(1) 11 C> 225+V(1) 21
13 50+12*V(1) 2 116+V(1) C> 21
14 53+12*V(1) 1 116+V(1) <C 22
15 65+14*V(1) -11+-2*V(1) <C 227+V(1)
16 66+14*V(1) -10+-2*V(1) 01 A> 227+V(1)
17 80+16*V(1) 4 01 217+V(1) A>
18 83+16*V(1) 3 01 217+V(1) <C 21
19 86+16*V(1) 4 01 216+V(1) 11 C> 21
20 89+16*V(1) 3 01 216+V(1) 11 <C 22
21 91+16*V(1) 1 01 216+V(1) <C 222
22 94+16*V(1) 2 01 215+V(1) 11 C> 222
23 98+16*V(1) 6 01 215+V(1) 113 C>
24 100+16*V(1) 8 01 215+V(1) 114 B>
<< Success! ==> defined new CTR 7 (PPA)
19708 18345348 6562 01 213284 114 B>
== Executing PA-CTR 2, V(1)=3, V(2)=3279, repcount=820, factor=7/4
34468 56053868 11482 01 214 115744 B>
== Executing PPA-CTR 5 (once), V(1)=5743
34501 56168864 11492 125749 115 B>
== Executing PA-CTR 1, V(1)=4, V(2)=5744, repcount=1437, factor=7/4
60367 171913466 20114 12 1110064 B>
== Executing PPA-CTR 4 (once), V(1)=10059
60379 171993998 20118 01 2110064 113 B>
== Executing PA-CTR 2, V(1)=2, V(2)=10059, repcount=2515, factor=7/4
105649 526332348 35208 01 214 1117608 B>
== Executing PPA-CTR 5 (once), V(1)=17607
105682 526684624 35218 1217613 115 B>
== Executing PA-CTR 1, V(1)=4, V(2)=17608, repcount=4403, factor=7/4
184936 1612649350 61636 12 1130826 B>
== Executing PPA-CTR 4 (once), V(1)=30821
184948 1612895978 61640 01 2130826 113 B>
== Executing PA-CTR 2, V(1)=2, V(2)=30821, repcount=7706, factor=7/4
323656 4938697694 107876 01 212 1153945 B>
323657 4938697695 107875 01 212 1153945 <C 10
323658 4938805585 -15 01 212 <C 2253945 10
323659 4938805588 -14 01 21 11 C> 2253945 10
323660 4938913478 107876 01 21 1153946 C> 10
323661 4938913479 107875 01 21 1153946 <C 20
323662 4939021371 -17 01 21 <C 2253946 20
323663 4939021374 -16 01 11 C> 2253946 20
323664 4939129266 107876 01 1153947 C> 20
323665 4939129268 107878 01 1153948 A>
323666 4939129271 107877 01 1153948 <C 21
323667 4939237167 -19 01 <C 2253948 21
323668 4939237170 -18 12 B> 2253948 21
323669 4939345066 107878 1253949 B> 21
323670 4939345068 107880 1253949 11 Z>
323670 4939345068 107880 1253949 11 Z> [stop]
Lines: 239
Top steps: 237
Macro steps: 323670
Basic steps: 4939345068
Tape index: 107880
nonzeros: 107900
log10(nonzeros): 5.033
log10(steps ): 9.694
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol TM #b of G. Lafitte & C. Papazian
5T B1R Z1R B2R C1L B0L A1R A1R C2L C1R
: 107'900 4'939'345'068
L 6
M 250
pref sim
machv Laf33_b just simple
machv Laf33_b-r with repetitions reduced
machv Laf33_b-1 with tape symbol exponents
machv Laf33_b-m as 2-macro machine
machv Laf33_b-a as 2-macro machine with pure additive config-TRs
iam Laf33_b-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:46 CEST 2010
edate Tue Jul 6 22:11:47 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:11:46 CEST 2010