Comment: Taken (cited) from P.Michel Comment: This TM produces 90 nonzeros in 7195 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 2LA | 1RA | 1LA | 1 | right | B | 2 | left | A | 1 | right | A | 1 | left | A |
| B | 3LA | 1RH | 2RB | 2RA | 3 | left | A | 1 | right | H | 2 | right | B | 2 | right | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
Simulation is done as 1-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 1 1 B>
2 2 0 1 <A 3
3 3 -1 <A 2 3
4 4 0 1 B> 2 3
5 5 1 1 2 B> 3
6 6 2 1 22 A>
7 7 3 1 22 1 B>
8 8 2 1 22 1 <A 3
9 9 1 1 22 <A 2 3
10 10 2 1 2 1 A> 2 3
11 11 3 1 2 12 A> 3
12 12 2 1 2 12 <A 1
13 14 0 1 2 <A 22 1
14 15 1 12 A> 22 1
15 17 3 14 A> 1
16 18 2 14 <A 2
17 22 -2 <A 25
18 23 -1 1 B> 25
19 28 4 1 25 B>
20 29 3 1 25 <A 3
21 30 4 1 24 1 A> 3
22 31 3 1 24 1 <A 1
23 32 2 1 24 <A 2 1
24 33 3 1 23 1 A> 2 1
25 34 4 1 23 12 A> 1
26 35 3 1 23 12 <A 2
27 37 1 1 23 <A 23
28 38 2 1 22 1 A> 23
29 41 5 1 22 14 A>
30 42 6 1 22 15 B>
31 43 5 1 22 15 <A 3
32 48 0 1 22 <A 25 3
33 49 1 1 2 1 A> 25 3
34 54 6 1 2 16 A> 3
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 24+V(2) 11+V(1) A> 3
1 1 -1 [*]* 24+V(2) 11+V(1) <A 1
2 2+V(1) -2+-1*V(1) [*]* 24+V(2) <A 21+V(1) 1
3 3+V(1) -1+-1*V(1) [*]* 23+V(2) 1 A> 21+V(1) 1
4 4+2*V(1) 0 [*]* 23+V(2) 12+V(1) A> 1
5 5+2*V(1) -1 [*]* 23+V(2) 12+V(1) <A 2
6 7+3*V(1) -3+-1*V(1) [*]* 23+V(2) <A 23+V(1)
7 8+3*V(1) -2+-1*V(1) [*]* 22+V(2) 1 A> 23+V(1)
8 11+4*V(1) 1 [*]* 22+V(2) 14+V(1) A>
9 12+4*V(1) 2 [*]* 22+V(2) 15+V(1) B>
10 13+4*V(1) 1 [*]* 22+V(2) 15+V(1) <A 3
11 18+5*V(1) -4+-1*V(1) [*]* 22+V(2) <A 25+V(1) 3
12 19+5*V(1) -3+-1*V(1) [*]* 21+V(2) 1 A> 25+V(1) 3
13 24+6*V(1) 2 [*]* 21+V(2) 16+V(1) A> 3
<< Success! ==> defined new CTR 1 (PA)
35 55 5 1 2 16 <A 1
36 61 -1 1 2 <A 26 1
37 62 0 12 A> 26 1
38 68 6 18 A> 1
39 69 5 18 <A 2
40 77 -3 <A 29
41 78 -2 1 B> 29
42 87 7 1 29 B>
43 88 6 1 29 <A 3
44 89 7 1 28 1 A> 3
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(2) 2 12+V(1) A> 3
1 1 -1 11+V(2) 2 12+V(1) <A 1
2 3+V(1) -3+-1*V(1) 11+V(2) 2 <A 22+V(1) 1
3 4+V(1) -2+-1*V(1) 12+V(2) A> 22+V(1) 1
4 6+2*V(1) 0 14+V(1)+V(2) A> 1
5 7+2*V(1) -1 14+V(1)+V(2) <A 2
6 11+3*V(1)+V(2) -5+-1*V(1)+-1*V(2) <A 25+V(1)+V(2)
7 12+3*V(1)+V(2) -4+-1*V(1)+-1*V(2) 1 B> 25+V(1)+V(2)
8 17+4*V(1)+2*V(2) 1 1 25+V(1)+V(2) B>
9 18+4*V(1)+2*V(2) 0 1 25+V(1)+V(2) <A 3
10 19+4*V(1)+2*V(2) 1 1 24+V(1)+V(2) 1 A> 3
<< Success! ==> defined new CTR 2 (PPA)
44 89 7 1 28 1 A> 3
== Executing PA-CTR 1, V(1)=0, V(2)=4, repcount=2, factor=5/3
70 167 11 1 22 111 A> 3
71 168 10 1 22 111 <A 1
72 179 -1 1 22 <A 211 1
73 180 0 1 2 1 A> 211 1
74 191 11 1 2 112 A> 1
75 192 10 1 2 112 <A 2
76 204 -2 1 2 <A 213
77 205 -1 12 A> 213
78 218 12 115 A>
79 219 13 116 B>
80 220 12 116 <A 3
81 236 -4 <A 216 3
82 237 -3 1 B> 216 3
83 253 13 1 216 B> 3
84 254 14 1 217 A>
85 255 15 1 217 1 B>
86 256 14 1 217 1 <A 3
87 257 13 1 217 <A 2 3
88 258 14 1 216 1 A> 2 3
89 259 15 1 216 12 A> 3
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(2) 22 11+V(1) A> 3
1 1 -1 11+V(2) 22 11+V(1) <A 1
2 2+V(1) -2+-1*V(1) 11+V(2) 22 <A 21+V(1) 1
3 3+V(1) -1+-1*V(1) 11+V(2) 2 1 A> 21+V(1) 1
4 4+2*V(1) 0 11+V(2) 2 12+V(1) A> 1
5 5+2*V(1) -1 11+V(2) 2 12+V(1) <A 2
6 7+3*V(1) -3+-1*V(1) 11+V(2) 2 <A 23+V(1)
7 8+3*V(1) -2+-1*V(1) 12+V(2) A> 23+V(1)
8 11+4*V(1) 1 15+V(1)+V(2) A>
9 12+4*V(1) 2 16+V(1)+V(2) B>
10 13+4*V(1) 1 16+V(1)+V(2) <A 3
11 19+5*V(1)+V(2) -5+-1*V(1)+-1*V(2) <A 26+V(1)+V(2) 3
12 20+5*V(1)+V(2) -4+-1*V(1)+-1*V(2) 1 B> 26+V(1)+V(2) 3
13 26+6*V(1)+2*V(2) 2 1 26+V(1)+V(2) B> 3
14 27+6*V(1)+2*V(2) 3 1 27+V(1)+V(2) A>
15 28+6*V(1)+2*V(2) 4 1 27+V(1)+V(2) 1 B>
16 29+6*V(1)+2*V(2) 3 1 27+V(1)+V(2) 1 <A 3
17 30+6*V(1)+2*V(2) 2 1 27+V(1)+V(2) <A 2 3
18 31+6*V(1)+2*V(2) 3 1 26+V(1)+V(2) 1 A> 2 3
19 32+6*V(1)+2*V(2) 4 1 26+V(1)+V(2) 12 A> 3
<< Success! ==> defined new CTR 3 (PPA)
89 259 15 1 216 12 A> 3
== Executing PA-CTR 1, V(1)=1, V(2)=12, repcount=5, factor=5/3
154 709 25 1 2 127 A> 3
== Executing PPA-CTR 2 (once), V(1)=25, V(2)=0
164 828 26 1 229 1 A> 3
== Executing PA-CTR 1, V(1)=0, V(2)=25, repcount=9, factor=5/3
281 2124 44 1 22 146 A> 3
== Executing PPA-CTR 3 (once), V(1)=45, V(2)=0
300 2426 48 1 251 12 A> 3
== Executing PA-CTR 1, V(1)=1, V(2)=47, repcount=16, factor=5/3
508 6506 80 1 23 182 A> 3
509 6507 79 1 23 182 <A 1
510 6589 -3 1 23 <A 282 1
511 6590 -2 1 22 1 A> 282 1
512 6672 80 1 22 183 A> 1
513 6673 79 1 22 183 <A 2
514 6756 -4 1 22 <A 284
515 6757 -3 1 2 1 A> 284
516 6841 81 1 2 185 A>
517 6842 82 1 2 186 B>
518 6843 81 1 2 186 <A 3
519 6929 -5 1 2 <A 286 3
520 6930 -4 12 A> 286 3
521 7016 82 188 A> 3
522 7017 81 188 <A 1
523 7105 -7 <A 288 1
524 7106 -6 1 B> 288 1
525 7194 82 1 288 B> 1
526 7195 83 1 288 1 H>
526 7195 83 1 288 1 H> [stop]
Lines: 89
Top steps: 87
Macro steps: 526
Basic steps: 7195
Tape index: 83
nonzeros: 90
log10(nonzeros): 1.954
log10(steps ): 3.857
Run state: stop
Input to awk program:
gohalt 1
nbs 4
T 2-state 4-symbol formerly best (by Brady / Michel)
C Taken (cited) from P.Michel
: 90 7195
5T 1RB 2LA 1RA 1LA 3LA 1RH 2RB 2RA
L 6
M 201
pref sim
machv TM24_c just simple
machv TM24_c-r with repetitions reduced
machv TM24_c-1 with tape symbol exponents
machv TM24_c-m as 1-macro machine
machv TM24_c-a as 1-macro machine with pure additive config-TRs
iam TM24_c-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:37 CEST 2010
edate Tue Jul 6 22:12:37 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:12:37 CEST 2010