Comment: This TM produces 4098 ones in 47176870 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | C1R | 1 | left | B | 1 | right | C |
| B | C1L | B1L | 1 | left | C | 1 | left | B |
| C | D1L | E0R | 1 | left | D | 0 | right | E |
| D | A1R | D1R | 1 | right | A | 1 | right | D |
| E | H1L | A0R | 1 | left | H | 0 | right | A |
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 6 0 110 E> 100
3 9 -1 110 <C 110
4 12 0 111 D> 110
5 15 3 1112 A>
6 16 2 1112 <B 100
7 22 -4 <B 1112 100
8 27 -3 110 E> 1112 100
9 33 3 110 0102 E> 100
10 36 2 110 0102 <C 110
11 39 3 110 010 011 D> 110
12 42 6 110 010 011 111 A>
13 43 5 110 010 011 111 <B 100
14 46 2 110 010 011 <B 111 100
15 49 -1 110 010 <C 1112 100
16 52 0 110 011 D> 1112 100
17 58 6 110 011 1112 D> 100
18 63 5 110 011 1112 <B 111
19 69 -1 110 011 <B 1113
20 72 -4 110 <C 1114
21 75 -3 111 D> 1114
22 87 9 1115 D>
23 90 8 1115 <B 110
24 105 -7 <B 1115 110
25 110 -6 110 E> 1115 110
26 125 9 110 0105 E> 110
27 130 12 110 0105 011 D>
28 133 11 110 0105 011 <B 110
29 136 8 110 0105 <C 111 110
30 139 9 110 0104 011 D> 111 110
31 142 12 110 0104 011 111 D> 110
32 145 15 110 0104 011 1112 A>
33 146 14 110 0104 011 1112 <B 100
34 152 8 110 0104 011 <B 1112 100
35 155 5 110 0104 <C 1113 100
36 158 6 110 0103 011 D> 1113 100
37 167 15 110 0103 011 1113 D> 100
38 172 14 110 0103 011 1113 <B 111
39 181 5 110 0103 011 <B 1114
40 184 2 110 0103 <C 1115
41 187 3 110 0102 011 D> 1115
42 202 18 110 0102 011 1115 D>
43 205 17 110 0102 011 1115 <B 110
44 220 2 110 0102 011 <B 1115 110
45 223 -1 110 0102 <C 1116 110
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 0104+V(1) <C 1111+V(2) 110
1 3 1 [*]* 0103+V(1) 011 D> 1111+V(2) 110
2 6+3*V(2) 4+3*V(2) [*]* 0103+V(1) 011 1111+V(2) D> 110
3 9+3*V(2) 7+3*V(2) [*]* 0103+V(1) 011 1112+V(2) A>
4 10+3*V(2) 6+3*V(2) [*]* 0103+V(1) 011 1112+V(2) <B 100
5 16+6*V(2) 0 [*]* 0103+V(1) 011 <B 1112+V(2) 100
6 19+6*V(2) -3 [*]* 0103+V(1) <C 1113+V(2) 100
7 22+6*V(2) -2 [*]* 0102+V(1) 011 D> 1113+V(2) 100
8 31+9*V(2) 7+3*V(2) [*]* 0102+V(1) 011 1113+V(2) D> 100
9 36+9*V(2) 6+3*V(2) [*]* 0102+V(1) 011 1113+V(2) <B 111
10 45+12*V(2) -3 [*]* 0102+V(1) 011 <B 1114+V(2)
11 48+12*V(2) -6 [*]* 0102+V(1) <C 1115+V(2)
12 51+12*V(2) -5 [*]* 0101+V(1) 011 D> 1115+V(2)
13 66+15*V(2) 10+3*V(2) [*]* 0101+V(1) 011 1115+V(2) D>
14 69+15*V(2) 9+3*V(2) [*]* 0101+V(1) 011 1115+V(2) <B 110
15 84+18*V(2) -6 [*]* 0101+V(1) 011 <B 1115+V(2) 110
16 87+18*V(2) -9 [*]* 0101+V(1) <C 1116+V(2) 110
<< Success! ==> defined new CTR 1 (PA)
46 226 0 110 010 011 D> 1116 110
47 244 18 110 010 011 1116 D> 110
48 247 21 110 010 011 1117 A>
49 248 20 110 010 011 1117 <B 100
50 269 -1 110 010 011 <B 1117 100
51 272 -4 110 010 <C 1118 100
52 275 -3 110 011 D> 1118 100
53 299 21 110 011 1118 D> 100
54 304 20 110 011 1118 <B 111
55 328 -4 110 011 <B 1119
56 331 -7 110 <C 11110
57 334 -6 111 D> 11110
58 364 24 11111 D>
59 367 23 11111 <B 110
60 400 -10 <B 11111 110
61 405 -9 110 E> 11111 110
62 438 24 110 01011 E> 110
63 443 27 110 01011 011 D>
64 446 26 110 01011 011 <B 110
65 449 23 110 01011 <C 111 110
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 110 0102 <C 1111+V(1) 110
1 3 1 110 010 011 D> 1111+V(1) 110
2 6+3*V(1) 4+3*V(1) 110 010 011 1111+V(1) D> 110
3 9+3*V(1) 7+3*V(1) 110 010 011 1112+V(1) A>
4 10+3*V(1) 6+3*V(1) 110 010 011 1112+V(1) <B 100
5 16+6*V(1) 0 110 010 011 <B 1112+V(1) 100
6 19+6*V(1) -3 110 010 <C 1113+V(1) 100
7 22+6*V(1) -2 110 011 D> 1113+V(1) 100
8 31+9*V(1) 7+3*V(1) 110 011 1113+V(1) D> 100
9 36+9*V(1) 6+3*V(1) 110 011 1113+V(1) <B 111
10 45+12*V(1) -3 110 011 <B 1114+V(1)
11 48+12*V(1) -6 110 <C 1115+V(1)
12 51+12*V(1) -5 111 D> 1115+V(1)
13 66+15*V(1) 10+3*V(1) 1116+V(1) D>
14 69+15*V(1) 9+3*V(1) 1116+V(1) <B 110
15 87+18*V(1) -9 <B 1116+V(1) 110
16 92+18*V(1) -8 110 E> 1116+V(1) 110
17 110+21*V(1) 10+3*V(1) 110 0106+V(1) E> 110
18 115+21*V(1) 13+3*V(1) 110 0106+V(1) 011 D>
19 118+21*V(1) 12+3*V(1) 110 0106+V(1) 011 <B 110
20 121+21*V(1) 9+3*V(1) 110 0106+V(1) <C 111 110
<< Success! ==> defined new CTR 2 (PPA)
65 449 23 110 01011 <C 111 110
== Executing PA-CTR 1, V(1)=7, V(2)=0, repcount=3, factor=5/3
113 980 -4 110 0102 <C 11116 110
== Executing PPA-CTR 2 (once), V(1)=15
133 1416 50 110 01021 <C 111 110
== Executing PA-CTR 1, V(1)=17, V(2)=0, repcount=6, factor=5/3
229 3288 -4 110 0103 <C 11131 110
230 3291 -3 110 0102 011 D> 11131 110
231 3384 90 110 0102 011 11131 D> 110
232 3387 93 110 0102 011 11132 A>
233 3388 92 110 0102 011 11132 <B 100
234 3484 -4 110 0102 011 <B 11132 100
235 3487 -7 110 0102 <C 11133 100
236 3490 -6 110 010 011 D> 11133 100
237 3589 93 110 010 011 11133 D> 100
238 3594 92 110 010 011 11133 <B 111
239 3693 -7 110 010 011 <B 11134
240 3696 -10 110 010 <C 11135
241 3699 -9 110 011 D> 11135
242 3804 96 110 011 11135 D>
243 3807 95 110 011 11135 <B 110
244 3912 -10 110 011 <B 11135 110
245 3915 -13 110 <C 11136 110
246 3918 -12 111 D> 11136 110
247 4026 96 11137 D> 110
248 4029 99 11138 A>
249 4030 98 11138 <B 100
250 4144 -16 <B 11138 100
251 4149 -15 110 E> 11138 100
252 4263 99 110 01038 E> 100
253 4266 98 110 01038 <C 110
254 4269 99 110 01037 011 D> 110
255 4272 102 110 01037 011 111 A>
256 4273 101 110 01037 011 111 <B 100
257 4276 98 110 01037 011 <B 111 100
258 4279 95 110 01037 <C 1112 100
259 4282 96 110 01036 011 D> 1112 100
260 4288 102 110 01036 011 1112 D> 100
261 4293 101 110 01036 011 1112 <B 111
262 4299 95 110 01036 011 <B 1113
263 4302 92 110 01036 <C 1114
264 4305 93 110 01035 011 D> 1114
265 4317 105 110 01035 011 1114 D>
266 4320 104 110 01035 011 1114 <B 110
267 4332 92 110 01035 011 <B 1114 110
268 4335 89 110 01035 <C 1115 110
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 110 0103 <C 1111+V(1) 110
1 3 1 110 0102 011 D> 1111+V(1) 110
2 6+3*V(1) 4+3*V(1) 110 0102 011 1111+V(1) D> 110
3 9+3*V(1) 7+3*V(1) 110 0102 011 1112+V(1) A>
4 10+3*V(1) 6+3*V(1) 110 0102 011 1112+V(1) <B 100
5 16+6*V(1) 0 110 0102 011 <B 1112+V(1) 100
6 19+6*V(1) -3 110 0102 <C 1113+V(1) 100
7 22+6*V(1) -2 110 010 011 D> 1113+V(1) 100
8 31+9*V(1) 7+3*V(1) 110 010 011 1113+V(1) D> 100
9 36+9*V(1) 6+3*V(1) 110 010 011 1113+V(1) <B 111
10 45+12*V(1) -3 110 010 011 <B 1114+V(1)
11 48+12*V(1) -6 110 010 <C 1115+V(1)
12 51+12*V(1) -5 110 011 D> 1115+V(1)
13 66+15*V(1) 10+3*V(1) 110 011 1115+V(1) D>
14 69+15*V(1) 9+3*V(1) 110 011 1115+V(1) <B 110
15 84+18*V(1) -6 110 011 <B 1115+V(1) 110
16 87+18*V(1) -9 110 <C 1116+V(1) 110
17 90+18*V(1) -8 111 D> 1116+V(1) 110
18 108+21*V(1) 10+3*V(1) 1117+V(1) D> 110
19 111+21*V(1) 13+3*V(1) 1118+V(1) A>
20 112+21*V(1) 12+3*V(1) 1118+V(1) <B 100
21 136+24*V(1) -12 <B 1118+V(1) 100
22 141+24*V(1) -11 110 E> 1118+V(1) 100
23 165+27*V(1) 13+3*V(1) 110 0108+V(1) E> 100
24 168+27*V(1) 12+3*V(1) 110 0108+V(1) <C 110
25 171+27*V(1) 13+3*V(1) 110 0107+V(1) 011 D> 110
26 174+27*V(1) 16+3*V(1) 110 0107+V(1) 011 111 A>
27 175+27*V(1) 15+3*V(1) 110 0107+V(1) 011 111 <B 100
28 178+27*V(1) 12+3*V(1) 110 0107+V(1) 011 <B 111 100
29 181+27*V(1) 9+3*V(1) 110 0107+V(1) <C 1112 100
30 184+27*V(1) 10+3*V(1) 110 0106+V(1) 011 D> 1112 100
31 190+27*V(1) 16+3*V(1) 110 0106+V(1) 011 1112 D> 100
32 195+27*V(1) 15+3*V(1) 110 0106+V(1) 011 1112 <B 111
33 201+27*V(1) 9+3*V(1) 110 0106+V(1) 011 <B 1113
34 204+27*V(1) 6+3*V(1) 110 0106+V(1) <C 1114
35 207+27*V(1) 7+3*V(1) 110 0105+V(1) 011 D> 1114
36 219+27*V(1) 19+3*V(1) 110 0105+V(1) 011 1114 D>
37 222+27*V(1) 18+3*V(1) 110 0105+V(1) 011 1114 <B 110
38 234+27*V(1) 6+3*V(1) 110 0105+V(1) 011 <B 1114 110
39 237+27*V(1) 3+3*V(1) 110 0105+V(1) <C 1115 110
<< Success! ==> defined new CTR 3 (PPA)
268 4335 89 110 01035 <C 1115 110
== Executing PA-CTR 1, V(1)=31, V(2)=4, repcount=11, factor=5/3
444 11034 -10 110 0102 <C 11160 110
== Executing PPA-CTR 2 (once), V(1)=59
464 12394 176 110 01065 <C 111 110
== Executing PA-CTR 1, V(1)=61, V(2)=0, repcount=21, factor=5/3
800 33121 -13 110 0102 <C 111106 110
== Executing PPA-CTR 2 (once), V(1)=105
820 35447 311 110 010111 <C 111 110
== Executing PA-CTR 1, V(1)=107, V(2)=0, repcount=36, factor=5/3
1396 95279 -13 110 0103 <C 111181 110
== Executing PPA-CTR 3 (once), V(1)=180
1435 100376 530 110 010185 <C 1115 110
== Executing PA-CTR 1, V(1)=181, V(2)=4, repcount=61, factor=5/3
2411 274775 -19 110 0102 <C 111310 110
== Executing PPA-CTR 2 (once), V(1)=309
2431 281385 917 110 010315 <C 111 110
== Executing PA-CTR 1, V(1)=311, V(2)=0, repcount=104, factor=5/3
4095 772473 -19 110 0103 <C 111521 110
== Executing PPA-CTR 3 (once), V(1)=520
4134 786750 1544 110 010525 <C 1115 110
== Executing PA-CTR 1, V(1)=521, V(2)=4, repcount=174, factor=5/3
6918 2169006 -22 110 0103 <C 111875 110
== Executing PPA-CTR 3 (once), V(1)=874
6957 2192841 2603 110 010879 <C 1115 110
== Executing PA-CTR 1, V(1)=875, V(2)=4, repcount=292, factor=5/3
11629 6063009 -25 110 0103 <C 1111465 110
== Executing PPA-CTR 3 (once), V(1)=1464
11668 6102774 4370 110 0101469 <C 1115 110
== Executing PA-CTR 1, V(1)=1465, V(2)=4, repcount=489, factor=5/3
19492 16918965 -31 110 0102 <C 1112450 110
== Executing PPA-CTR 2 (once), V(1)=2449
19512 16970515 7325 110 0102455 <C 111 110
== Executing PA-CTR 1, V(1)=2451, V(2)=0, repcount=818, factor=5/3
32600 47115451 -37 110 010 <C 1114091 110
32601 47115454 -36 110 011 D> 1114091 110
32602 47127727 12237 110 011 1114091 D> 110
32603 47127730 12240 110 011 1114092 A>
32604 47127731 12239 110 011 1114092 <B 100
32605 47140007 -37 110 011 <B 1114092 100
32606 47140010 -40 110 <C 1114093 100
32607 47140013 -39 111 D> 1114093 100
32608 47152292 12240 1114094 D> 100
32609 47152297 12239 1114094 <B 111
32610 47164579 -43 <B 1114095
32611 47164584 -42 110 E> 1114095
32612 47176869 12243 110 0104095 E>
32613 47176870 12242 110 0104095 <H 100
32613 47176870 12242 110 0104095 <H 100 [stop]
Lines: 139
Top steps: 137
Macro steps: 32613
Basic steps: 47176870
Tape index: 12242
ones: 4098
log10(ones ): 3.613
log10(steps ): 7.674
Run state: stop
Input to awk program:
gohalt 1
5T B1L C1R C1L B1L D1L E0R A1R D1R H1L A0R : 4098 47176870
T 5-state TM #1 from MaBu-List
M 400
pref sim
machv mbL5_1 just simple
machv mbL5_1-r with repetitions reduced
machv mbL5_1-1 with tape symbol exponents
machv mbL5_1-m as 3-macro machine
machv mbL5_1-a as 3-macro machine with pure additive config-TRs
iam mbL5_1-a
mtype 3
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:15 CEST 2010
edate Tue Jul 6 22:10:16 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:15 CEST 2010