Comment: This TM produces 36,543,045 nonzeros in 417,310,842,648,366 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | 1RB | 2RA | 1LA | 1LB | 3LB | 1 | right | B | 2 | right | A | 1 | left | A | 1 | left | B | 3 | left | B |
| B | 2LA | 3RB | 1RH | 4RA | 1LA | 2 | left | A | 3 | right | B | 1 | right | H | 4 | right | A | 1 | left | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-bck-macro machine.
Simulation is done as 1-bck-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)(0)A>
1 1 1 (0)(1)B>
2 8 2 1 (3)(3)B>
3 15 -1 1 <B(3)(1) 1
4 18 2 3 (4)(2)A> 1
5 19 3 3 4 (2)(2)A>
6 20 4 3 4 2 (2)(1)B>
7 25 1 3 4 2 <A(1)(1) 1
8 26 0 3 4 <A(1)(1) 12
9 27 -1 3 <B(3)(1) 13
10 30 -2 <A(1)(1) 14
11 33 1 1 (3)(3)B> 14
12 37 5 1 34 (3)(3)B>
13 44 2 1 34 <B(3)(1) 1
14 47 1 1 33 <A(1)(1) 12
15 48 0 1 32 <B(1)(1) 13
16 51 3 1 3 4 (2)(2)A> 13
17 54 6 1 3 4 23 (2)(2)A>
18 55 7 1 3 4 24 (2)(1)B>
19 60 4 1 3 4 24 <A(1)(1) 1
20 64 0 1 3 4 <A(1)(1) 15
21 65 -1 1 3 <B(3)(1) 16
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 34+V(1) <B(3)(1) 11+V(2)
1 3 -1 [*]* 33+V(1) <A(1)(1) 12+V(2)
2 4 -2 [*]* 32+V(1) <B(1)(1) 13+V(2)
3 7 1 [*]* 31+V(1) 4 (2)(2)A> 13+V(2)
4 10+V(2) 4+V(2) [*]* 31+V(1) 4 23+V(2) (2)(2)A>
5 11+V(2) 5+V(2) [*]* 31+V(1) 4 24+V(2) (2)(1)B>
6 16+V(2) 2+V(2) [*]* 31+V(1) 4 24+V(2) <A(1)(1) 1
7 20+2*V(2) -2 [*]* 31+V(1) 4 <A(1)(1) 15+V(2)
8 21+2*V(2) -3 [*]* 31+V(1) <B(3)(1) 16+V(2)
<< Success! ==> defined new CTR 1 (PA)
22 68 -2 1 <A(1)(1) 17
23 71 1 2 (2)(2)A> 17
24 78 8 28 (2)(2)A>
25 79 9 29 (2)(1)B>
26 84 6 29 <A(1)(1) 1
27 93 -3 <A(1)(1) 110
28 96 0 1 (3)(3)B> 110
29 106 10 1 310 (3)(3)B>
30 113 7 1 310 <B(3)(1) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 3 <B(3)(1) 11+V(1)
1 3 -1 1 <A(1)(1) 12+V(1)
2 6 2 2 (2)(2)A> 12+V(1)
3 8+V(1) 4+V(1) 23+V(1) (2)(2)A>
4 9+V(1) 5+V(1) 24+V(1) (2)(1)B>
5 14+V(1) 2+V(1) 24+V(1) <A(1)(1) 1
6 18+2*V(1) -2 <A(1)(1) 15+V(1)
7 21+2*V(1) 1 1 (3)(3)B> 15+V(1)
8 26+3*V(1) 6+V(1) 1 35+V(1) (3)(3)B>
9 33+3*V(1) 3+V(1) 1 35+V(1) <B(3)(1) 1
<< Success! ==> defined new CTR 2 (PPA)
30 113 7 1 310 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=6, V(2)=0, repcount=3, factor=5/3
54 206 -2 1 3 <B(3)(1) 116
== Executing PPA-CTR 2 (once), V(1)=15
63 284 16 1 320 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=16, V(2)=0, repcount=6, factor=5/3
111 560 -2 1 32 <B(3)(1) 131
112 563 -3 1 3 <A(1)(1) 132
113 564 -4 1 <B(1)(1) 133
114 567 -1 3 (3)(3)B> 133
115 600 32 334 (3)(3)B>
116 607 29 334 <B(3)(1) 1
117 610 28 333 <A(1)(1) 12
118 611 27 332 <B(1)(1) 13
119 614 30 331 4 (2)(2)A> 13
120 617 33 331 4 23 (2)(2)A>
121 618 34 331 4 24 (2)(1)B>
122 623 31 331 4 24 <A(1)(1) 1
123 627 27 331 4 <A(1)(1) 15
124 628 26 331 <B(3)(1) 16
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 34+V(1) <B(3)(1) 11+V(2)
1 3 -1 33+V(1) <A(1)(1) 12+V(2)
2 4 -2 32+V(1) <B(1)(1) 13+V(2)
3 7 1 31+V(1) 4 (2)(2)A> 13+V(2)
4 10+V(2) 4+V(2) 31+V(1) 4 23+V(2) (2)(2)A>
5 11+V(2) 5+V(2) 31+V(1) 4 24+V(2) (2)(1)B>
6 16+V(2) 2+V(2) 31+V(1) 4 24+V(2) <A(1)(1) 1
7 20+2*V(2) -2 31+V(1) 4 <A(1)(1) 15+V(2)
8 21+2*V(2) -3 31+V(1) <B(3)(1) 16+V(2)
<< Success! ==> defined new CTR 3 (PA)
124 628 26 331 <B(3)(1) 16
== Executing PA-CTR 3, V(1)=27, V(2)=5, repcount=10, factor=5/3
204 1388 -4 3 <B(3)(1) 156
205 1391 -5 <A(1)(1) 157
206 1394 -2 1 (3)(3)B> 157
207 1451 55 1 357 (3)(3)B>
208 1458 52 1 357 <B(3)(1) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 3 <B(3)(1) 13+V(1)
1 3 -1 <A(1)(1) 14+V(1)
2 6 2 1 (3)(3)B> 14+V(1)
3 10+V(1) 6+V(1) 1 34+V(1) (3)(3)B>
4 17+V(1) 3+V(1) 1 34+V(1) <B(3)(1) 1
<< Success! ==> defined new CTR 4 (PPA)
208 1458 52 1 357 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=53, V(2)=0, repcount=18, factor=5/3
352 3366 -2 1 33 <B(3)(1) 191
353 3369 -3 1 32 <A(1)(1) 192
354 3370 -4 1 3 <B(1)(1) 193
355 3373 -1 1 4 (2)(2)A> 193
356 3466 92 1 4 293 (2)(2)A>
357 3467 93 1 4 294 (2)(1)B>
358 3472 90 1 4 294 <A(1)(1) 1
359 3566 -4 1 4 <A(1)(1) 195
360 3567 -5 1 <B(3)(1) 196
361 3570 -2 3 (4)(2)A> 196
362 3571 -1 3 4 (2)(2)A> 195
363 3666 94 3 4 295 (2)(2)A>
364 3667 95 3 4 296 (2)(1)B>
365 3672 92 3 4 296 <A(1)(1) 1
366 3768 -4 3 4 <A(1)(1) 197
367 3769 -5 3 <B(3)(1) 198
368 3772 -6 <A(1)(1) 199
369 3775 -3 1 (3)(3)B> 199
370 3874 96 1 399 (3)(3)B>
371 3881 93 1 399 <B(3)(1) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 33 <B(3)(1) 11+V(1)
1 3 -1 1 32 <A(1)(1) 12+V(1)
2 4 -2 1 3 <B(1)(1) 13+V(1)
3 7 1 1 4 (2)(2)A> 13+V(1)
4 10+V(1) 4+V(1) 1 4 23+V(1) (2)(2)A>
5 11+V(1) 5+V(1) 1 4 24+V(1) (2)(1)B>
6 16+V(1) 2+V(1) 1 4 24+V(1) <A(1)(1) 1
7 20+2*V(1) -2 1 4 <A(1)(1) 15+V(1)
8 21+2*V(1) -3 1 <B(3)(1) 16+V(1)
9 24+2*V(1) 0 3 (4)(2)A> 16+V(1)
10 25+2*V(1) 1 3 4 (2)(2)A> 15+V(1)
11 30+3*V(1) 6+V(1) 3 4 25+V(1) (2)(2)A>
12 31+3*V(1) 7+V(1) 3 4 26+V(1) (2)(1)B>
13 36+3*V(1) 4+V(1) 3 4 26+V(1) <A(1)(1) 1
14 42+4*V(1) -2 3 4 <A(1)(1) 17+V(1)
15 43+4*V(1) -3 3 <B(3)(1) 18+V(1)
16 46+4*V(1) -4 <A(1)(1) 19+V(1)
17 49+4*V(1) -1 1 (3)(3)B> 19+V(1)
18 58+5*V(1) 8+V(1) 1 39+V(1) (3)(3)B>
19 65+5*V(1) 5+V(1) 1 39+V(1) <B(3)(1) 1
<< Success! ==> defined new CTR 5 (PPA)
371 3881 93 1 399 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=95, V(2)=0, repcount=32, factor=5/3
627 9513 -3 1 33 <B(3)(1) 1161
== Executing PPA-CTR 5 (once), V(1)=160
646 10378 162 1 3169 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=165, V(2)=0, repcount=56, factor=5/3
1094 26954 -6 1 3 <B(3)(1) 1281
== Executing PPA-CTR 2 (once), V(1)=280
1103 27827 277 1 3285 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=281, V(2)=0, repcount=94, factor=5/3
1855 73511 -5 1 33 <B(3)(1) 1471
== Executing PPA-CTR 5 (once), V(1)=470
1874 75926 470 1 3479 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=475, V(2)=0, repcount=159, factor=5/3
3146 204875 -7 1 32 <B(3)(1) 1796
3147 204878 -8 1 3 <A(1)(1) 1797
3148 204879 -9 1 <B(1)(1) 1798
3149 204882 -6 3 (3)(3)B> 1798
3150 205680 792 3799 (3)(3)B>
3151 205687 789 3799 <B(3)(1) 1
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 32 <B(3)(1) 11+V(1)
1 3 -1 1 3 <A(1)(1) 12+V(1)
2 4 -2 1 <B(1)(1) 13+V(1)
3 7 1 3 (3)(3)B> 13+V(1)
4 10+V(1) 4+V(1) 34+V(1) (3)(3)B>
5 17+V(1) 1+V(1) 34+V(1) <B(3)(1) 1
<< Success! ==> defined new CTR 6 (PPA)
3151 205687 789 3799 <B(3)(1) 1
== Executing PA-CTR 3, V(1)=795, V(2)=0, repcount=266, factor=5/3
5279 563723 -9 3 <B(3)(1) 11331
== Executing PPA-CTR 4 (once), V(1)=1328
5283 565068 1322 1 31332 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=1328, V(2)=0, repcount=443, factor=5/3
8827 1553401 -7 1 33 <B(3)(1) 12216
== Executing PPA-CTR 5 (once), V(1)=2215
8846 1564541 2213 1 32224 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=2220, V(2)=0, repcount=741, factor=5/3
14774 4321802 -10 1 3 <B(3)(1) 13706
== Executing PPA-CTR 2 (once), V(1)=3705
14783 4332950 3698 1 33710 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=3706, V(2)=0, repcount=1236, factor=5/3
24671 11991206 -10 1 32 <B(3)(1) 16181
== Executing PPA-CTR 6 (once), V(1)=6180
24676 11997403 6171 36184 <B(3)(1) 1
== Executing PA-CTR 3, V(1)=6180, V(2)=0, repcount=2061, factor=5/3
41164 33268984 -12 3 <B(3)(1) 110306
== Executing PPA-CTR 4 (once), V(1)=10303
41168 33279304 10294 1 310307 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=10303, V(2)=0, repcount=3435, factor=5/3
68648 92330389 -11 1 32 <B(3)(1) 117176
== Executing PPA-CTR 6 (once), V(1)=17175
68653 92347581 17165 317179 <B(3)(1) 1
== Executing PA-CTR 3, V(1)=17175, V(2)=0, repcount=5726, factor=5/3
114461 256374577 -13 3 <B(3)(1) 128631
== Executing PPA-CTR 4 (once), V(1)=28628
114465 256403222 28618 1 328632 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=28628, V(2)=0, repcount=9543, factor=5/3
190809 711900155 -11 1 33 <B(3)(1) 147716
== Executing PPA-CTR 5 (once), V(1)=47715
190828 712138795 47709 1 347724 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=47720, V(2)=0, repcount=15907, factor=5/3
318084 1977556552 -12 1 33 <B(3)(1) 179536
== Executing PPA-CTR 5 (once), V(1)=79535
318103 1977954292 79528 1 379544 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=79540, V(2)=0, repcount=26514, factor=5/3
530215 5493339496 -14 1 32 <B(3)(1) 1132571
== Executing PPA-CTR 6 (once), V(1)=132570
530220 5493472083 132557 3132574 <B(3)(1) 1
== Executing PA-CTR 3, V(1)=132570, V(2)=0, repcount=44191, factor=5/3
883748 15258401544 -16 3 <B(3)(1) 1220956
== Executing PPA-CTR 4 (once), V(1)=220953
883752 15258622514 220940 1 3220957 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=220953, V(2)=0, repcount=73652, factor=5/3
1472968 42382886466 -16 1 3 <B(3)(1) 1368261
== Executing PPA-CTR 2 (once), V(1)=368260
1472977 42383991279 368247 1 3368265 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=368261, V(2)=0, repcount=122754, factor=5/3
2455009 117728677923 -15 1 33 <B(3)(1) 1613771
== Executing PPA-CTR 5 (once), V(1)=613770
2455028 117731746838 613760 1 3613779 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=613775, V(2)=0, repcount=204592, factor=5/3
4091764 327024452630 -16 1 33 <B(3)(1) 11022961
== Executing PPA-CTR 5 (once), V(1)=1022960
4091783 327029567495 1022949 1 31022969 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=1022965, V(2)=0, repcount=340989, factor=5/3
6819695 908402513924 -18 1 32 <B(3)(1) 11704946
== Executing PPA-CTR 6 (once), V(1)=1704945
6819700 908404218886 1704928 31704949 <B(3)(1) 1
== Executing PA-CTR 3, V(1)=1704945, V(2)=0, repcount=568316, factor=5/3
11366228 2523328691222 -20 3 <B(3)(1) 12841581
== Executing PPA-CTR 4 (once), V(1)=2841578
11366232 2523331532817 2841561 1 32841582 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=2841578, V(2)=0, repcount=947193, factor=5/3
18943776 7009219584150 -18 1 33 <B(3)(1) 14735966
== Executing PPA-CTR 5 (once), V(1)=4735965
18943795 7009243264040 4735952 1 34735974 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=4735970, V(2)=0, repcount=1578657, factor=5/3
31573051 19470058140797 -19 1 33 <B(3)(1) 17893286
== Executing PPA-CTR 5 (once), V(1)=7893285
31573070 19470097607287 7893271 1 37893294 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=7893290, V(2)=0, repcount=2631097, factor=5/3
52621846 54083496821884 -20 1 33 <B(3)(1) 113155486
== Executing PPA-CTR 5 (once), V(1)=13155485
52621865 54083562599374 13155470 1 313155494 <B(3)(1) 1
== Executing PA-CTR 1, V(1)=13155490, V(2)=0, repcount=4385164, factor=5/3
87703177 150231949296478 -22 1 32 <B(3)(1) 121925821
== Executing PPA-CTR 6 (once), V(1)=21925820
87703182 150231971222315 21925799 321925824 <B(3)(1) 1
== Executing PA-CTR 3, V(1)=21925820, V(2)=0, repcount=7308607, factor=5/3
146172038 417310769562272 -22 33 <B(3)(1) 136543036
146172039 417310769562275 -23 32 <A(1)(1) 136543037
146172040 417310769562276 -24 3 <B(1)(1) 136543038
146172041 417310769562279 -21 4 (2)(2)A> 136543038
146172042 417310806105317 36543017 4 236543038 (2)(2)A>
146172043 417310806105318 36543018 4 236543039 (2)(1)B>
146172044 417310806105323 36543015 4 236543039 <A(1)(1) 1
146172045 417310842648362 -24 4 <A(1)(1) 136543040
146172046 417310842648363 -25 <B(3)(1) 136543041
146172047 417310842648364 -26 <A(2)(3) 136543042
146172048 417310842648366 -24 11 H> 3 136543042 [stop]
Lines: 135
Top steps: 134
Macro steps: 146172048
Basic steps: 417310842648366
Tape index: -24
nonzeros: 36543045
log10(nonzeros): 7.563
log10(steps ): 14.620
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #d from T.J. & S. Ligocki
5T 1RB 2RA 1LA 1LB 3LB 2LA 3RB 1RH 4RA 1LA
: 36,543,045 417,310,842,648,366
L 6
M 201
pref sim
machv Lig25_d just simple
machv Lig25_d-r with repetitions reduced
machv Lig25_d-1 with tape symbol exponents
machv Lig25_d-m as 1-bck-bck-macro machine
machv Lig25_d-a as 1-bck-bck-macro machine with pure additive config-TRs
iam Lig25_d-a
mtype 1 0 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:43 CEST 2010
edate Tue Jul 6 22:12:43 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:43 CEST 2010